maxjhandsome
/
llvm-project
forked from OSchip/llvm-project
1
0
Fork 0
Code Issues Pull Requests Packages Releases Wiki Activity

NULL, unique pointers from malloc(0), and freed pointers are legal values for 

noalias attribute parameters/return values.

llvm-svn: 59955
This commit is contained in:
Torok Edwin 2008-11-24 08:02:24 +00:00
parent f1b4ff28a7
commit 9bc1a6554e
1 changed files with 3 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
llvm/docs/LangRef.html
View File

@ -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