diff options
Diffstat (limited to 'docs/LangRef.html')
| -rw-r--r-- | docs/LangRef.html | 12 |
1 files changed, 3 insertions, 9 deletions
diff --git a/docs/LangRef.html b/docs/LangRef.html index 95fb8de319..83bd667fac 100644 --- a/docs/LangRef.html +++ b/docs/LangRef.html @@ -894,15 +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. For further details, please see the discussion of the NoAlias - response in - <a href="http://llvm.org/docs/AliasAnalysis.html#MustMayNo">alias - analysis</a>.</dd> - - <dt><tt>nocapture</tt></dt> - <dd>This indicates that the callee does not make any copies of the pointer - that outlive the callee itself. This is not a valid attribute for return - values.</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 |