diff options
| author | Nick Lewycky <nicholas@mxc.ca> | 2008-11-24 05:00:44 +0000 |
|---|---|---|
| committer | Nick Lewycky <nicholas@mxc.ca> | 2008-11-24 05:00:44 +0000 |
| commit | a604a9483daa222387af2833e546c2c90d8518cd (patch) | |
| tree | 33950b6436437290a059c9376feb1df77a73c395 /docs/LangRef.html | |
| parent | ff38447202a840ab00d5f0a277d9eea145b8b151 (diff) | |
| download | external_llvm-a604a9483daa222387af2833e546c2c90d8518cd.zip external_llvm-a604a9483daa222387af2833e546c2c90d8518cd.tar.gz external_llvm-a604a9483daa222387af2833e546c2c90d8518cd.tar.bz2 | |
Seriously strengthen the guarantee offered by noalias on a function's return
value. It must now be as if the pointer were allocated and has not escaped to
the caller. Thanks to Dan Gohman for pointing out the error in the original
and helping devise this definition.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@59940 91177308-0d34-0410-b5e6-96231b3b80d8
Diffstat (limited to 'docs/LangRef.html')
| -rw-r--r-- | docs/LangRef.html | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/docs/LangRef.html b/docs/LangRef.html index bc3b40b..b469022 100644 --- a/docs/LangRef.html +++ b/docs/LangRef.html @@ -892,9 +892,9 @@ declare signext i8 @returns_signed_char() <dt><tt>noalias</tt></dt> <dd>This indicates that the pointer does not alias any global or any other parameter. The caller is responsible for ensuring that this is the - case. Additionally, on a function return value <tt>noalias</tt> indicates - that the pointer does not alias the return value from other calls of - itself or other noalias functions.</dd> + 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> <dt><tt>nest</tt></dt> <dd>This indicates that the pointer parameter can be excised using the |