From d3435f85b491180a0d219521d16689c058664016 Mon Sep 17 00:00:00 2001
From: Nick Lewycky
Date: Wed, 29 Feb 2012 08:26:44 +0000
Subject: [PATCH] Where the alloca'd space actually lives in ram is undefined,
and attempting to pin it down is undefined behaviour.
llvm-svn: 151710
---
docs/LangRef.html | 7 ++++++-
1 file changed, 6 insertions(+), 1 deletion(-)
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: