[llvm-commits] [llvm] r59955 - /llvm/trunk/docs/LangRef.html

[Torok Edwin]

Author: edwin
Date: Mon Nov 24 02:02:24 2008
New Revision: 59955

URL: http://llvm.org/viewvc/llvm-project?rev=59955&view=rev
Log:
NULL, unique pointers from malloc(0), and freed pointers are legal values for
noalias attribute parameters/return values.

Modified:
    llvm/trunk/docs/LangRef.html

Modified: llvm/trunk/docs/LangRef.html
URL: http://llvm.org/viewvc/llvm-project/llvm/trunk/docs/LangRef.html?rev=59955&r1=59954&r2=59955&view=diff

==============================================================================
--- llvm/trunk/docs/LangRef.html (original)
+++ llvm/trunk/docs/LangRef.html Mon Nov 24 02:02:24 2008
@@ -894,7 +894,9 @@
     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