diff options
author | Nick Lewycky <nicholas@mxc.ca> | 2012-02-29 08:26:44 +0000 |
---|---|---|
committer | Nick Lewycky <nicholas@mxc.ca> | 2012-02-29 08:26:44 +0000 |
commit | 84a1d2371c026490f8dc6de93fd63802bfc512eb (patch) | |
tree | 86c13df9cfacd00fc4908dc3a5b6d84c0c31e8bc | |
parent | 2c67727046234ad9702ab5acb72700b5ac99a676 (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.html | 7 |
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> |