diff options
| author | Bill Wendling <isanbard@gmail.com> | 2008-12-16 19:06:48 +0000 |
|---|---|---|
| committer | Bill Wendling <isanbard@gmail.com> | 2008-12-16 19:06:48 +0000 |
| commit | 6fa311c2338391b0f332c062b3140c6df139a949 (patch) | |
| tree | 63dc423c8a0f40da76553a2c95d7fba71ec86851 /docs | |
| parent | 905ff1ebc4f383088e6af6fc37504cd06ba62b57 (diff) | |
| download | llvm-6fa311c2338391b0f332c062b3140c6df139a949.tar.gz llvm-6fa311c2338391b0f332c062b3140c6df139a949.tar.bz2 llvm-6fa311c2338391b0f332c062b3140c6df139a949.tar.xz | |
Temporarily revert r61019, r61030, and r61040. These were breaking LLVM Release
builds.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@61094 91177308-0d34-0410-b5e6-96231b3b80d8
Diffstat (limited to 'docs')
| -rw-r--r-- | docs/AliasAnalysis.html | 10 | ||||
| -rw-r--r-- | docs/LangRef.html | 12 |
2 files changed, 8 insertions, 14 deletions
diff --git a/docs/AliasAnalysis.html b/docs/AliasAnalysis.html index 97a813344d..1569fb8e68 100644 --- a/docs/AliasAnalysis.html +++ b/docs/AliasAnalysis.html @@ -192,11 +192,11 @@ and returns MustAlias, MayAlias, or NoAlias as appropriate. <div class="doc_text"> <p>The NoAlias response is used when the two pointers refer to distinct objects, -regardless of whether the pointers compare equal. For example, freed pointers -don't alias any pointers that were allocated afterwards. As a degenerate case, -pointers returned by malloc(0) have no bytes for an object, and are considered -NoAlias even when malloc returns the same pointer. The same rule applies to -NULL pointers.</p> +even regardless of whether the pointers compare equal. For example, freed +pointers don't alias any pointers that were allocated afterwards. As a +degenerate case, pointers returned by malloc(0) have no bytes for an object, +and are considered NoAlias even when malloc returns the same pointer. The same +rule applies to NULL pointers.</p> <p>The MayAlias response is used whenever the two pointers might refer to the same object. If the two memory objects overlap, but do not start at the same 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 |