aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorNick Lewycky <nicholas@mxc.ca>2012-02-29 08:26:44 +0000
committerNick Lewycky <nicholas@mxc.ca>2012-02-29 08:26:44 +0000
commit84a1d2371c026490f8dc6de93fd63802bfc512eb (patch)
tree86c13df9cfacd00fc4908dc3a5b6d84c0c31e8bc
parent2c67727046234ad9702ab5acb72700b5ac99a676 (diff)
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
-rw-r--r--docs/LangRef.html7
1 files changed, 6 insertions, 1 deletions
diff --git a/docs/LangRef.html b/docs/LangRef.html
index 5d3c7458c2..29ac260fd0 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 <tt><a href="#i_ret">ret</a></tt>
or <tt><a href="#i_resume">resume</a></tt> instructions), the memory is
- reclaimed. Allocating zero bytes is legal, but the result is undefined.</p>
+ 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 '<tt>alloca</tt>'s are
+ undefined.</p>
+
+<p>
<h5>Example:</h5>
<pre>