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: