From: Owen Anderson Date: Mon, 18 Feb 2008 04:09:01 +0000 (+0000) Subject: Make the definition of the noalias attribute clearer. X-Git-Url: http://plrg.eecs.uci.edu/git/?a=commitdiff_plain;h=117bbd37b8cf4f58d8b7591ca97832d560ed2ee7;p=oota-llvm.git Make the definition of the noalias attribute clearer. git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@47255 91177308-0d34-0410-b5e6-96231b3b80d8 --- diff --git a/docs/LangRef.html b/docs/LangRef.html index 6267cf806cc..515f956ed00 100644 --- a/docs/LangRef.html +++ b/docs/LangRef.html @@ -827,8 +827,9 @@ declare i32 @atoi(i8*) nounwind readonly that is the return value of the function in the source program.
noalias
-
This indicates that the parameter not alias any other object or any - other "noalias" objects during the function call. +
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.
noreturn
This function attribute indicates that the function never returns. This