diff options
| author | Torok Edwin <edwintorok@gmail.com> | 2008-11-24 08:02:24 +0000 |
|---|---|---|
| committer | Torok Edwin <edwintorok@gmail.com> | 2008-11-24 08:02:24 +0000 |
| commit | 9bc1a6554eed5abd341be3f45934d1eaa1026d14 (patch) | |
| tree | 3faa7486249dab4f901e60e143184865975cc40d | |
| parent | f1b4ff28a769058ad8cdde920859e2e6bb890600 (diff) | |
| download | bcm5719-llvm-9bc1a6554eed5abd341be3f45934d1eaa1026d14.tar.gz bcm5719-llvm-9bc1a6554eed5abd341be3f45934d1eaa1026d14.zip | |
NULL, unique pointers from malloc(0), and freed pointers are legal values for
noalias attribute parameters/return values.
llvm-svn: 59955
| -rw-r--r-- | llvm/docs/LangRef.html | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/llvm/docs/LangRef.html b/llvm/docs/LangRef.html index b469022b762..7c770cb4376 100644 --- a/llvm/docs/LangRef.html +++ b/llvm/docs/LangRef.html @@ -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 |
