Make the definition of the noalias attribute clearer.
authorOwen Anderson <resistor@mac.com>
Mon, 18 Feb 2008 04:09:01 +0000 (04:09 +0000)
committerOwen Anderson <resistor@mac.com>
Mon, 18 Feb 2008 04:09:01 +0000 (04:09 +0000)
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@47255 91177308-0d34-0410-b5e6-96231b3b80d8

docs/LangRef.html

index 6267cf806cc5b9ca4f6b41a836b1bba5aeae8918..515f956ed00af196ed413edf7cd5af19bdf00840 100644 (file)
@@ -827,8 +827,9 @@ declare i32 @atoi(i8*) nounwind readonly
     that is the return value of the function in the source program.</dd>
 
     <dt><tt>noalias</tt></dt>
-    <dd>This indicates that the parameter not alias any other object or any 
-    other "noalias" objects during the function call.
+    <dd>This indicates that the parameter does not alias any global or any other
+    parameter.  The caller is responsible for ensuring that this is the case,
+    usually by placing the value in a stack allocation.</dd>
 
     <dt><tt>noreturn</tt></dt>
     <dd>This function attribute indicates that the function never returns. This