From: Nick Lewycky
Date: Wed, 29 Feb 2012 08:26:44 +0000 (+0000)
Subject: Where the alloca'd space actually lives in ram is undefined, and attempting to
X-Git-Url: http://demsky.eecs.uci.edu/git/?a=commitdiff_plain;h=84a1d2371c026490f8dc6de93fd63802bfc512eb;p=oota-llvm.git
Where the alloca'd space actually lives in ram is undefined, and attempting to
pin it down is undefined behaviour.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@151710 91177308-0d34-0410-b5e6-96231b3b80d8
---
diff --git a/docs/LangRef.html b/docs/LangRef.html
index 5d3c7458c2d..29ac260fd0e 100644
--- a/docs/LangRef.html
+++ b/docs/LangRef.html
@@ -4859,7 +4859,12 @@ IfUnequal:
variables that must have an address available. When the function returns
(either with the ret
or resume instructions), the memory is
- reclaimed. Allocating zero bytes is legal, but the result is undefined.
+ reclaimed. Allocating zero bytes is legal, but the result is undefined.
+ The order in which memory is allocated (ie., which way the stack grows) is
+ not specified, and relational comparisons involving 'alloca's are
+ undefined.
+
+
Example: