From: Torok Edwin <edwintorok@gmail.com>
Date: Mon, 24 Nov 2008 08:02:24 +0000 (+0000)
Subject: NULL, unique pointers from malloc(0), and freed pointers are legal values for
X-Git-Url: http://demsky.eecs.uci.edu/git/?a=commitdiff_plain;h=9682607ad63146d4b7291a9b5eb74a5f6196d80f;p=oota-llvm.git

NULL, unique pointers from malloc(0), and freed pointers are legal values for
noalias attribute parameters/return values.


git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@59955 91177308-0d34-0410-b5e6-96231b3b80d8
---

diff --git a/docs/LangRef.html b/docs/LangRef.html
index b469022b762..7c770cb4376 100644
--- a/docs/LangRef.html
+++ b/docs/LangRef.html
@@ -894,7 +894,9 @@ declare signext i8 @returns_signed_char()
     parameter.  The caller is responsible for ensuring that this is the
     case. On a function return value, <tt>noalias</tt> additionally indicates
     that the pointer does not alias any other pointers visible to the
-    caller.</dd>
+    caller. Note that this applies only to pointers that can be used to actually
+    load/store a value: NULL, unique pointers from malloc(0), and freed pointers
+    are considered to not alias anything.</dd>
 
     <dt><tt>nest</tt></dt>
     <dd>This indicates that the pointer parameter can be excised using the