summaryrefslogtreecommitdiffstats
path: root/llvm/docs/AliasAnalysis.html
diff options
context:
space:
mode:
Diffstat (limited to 'llvm/docs/AliasAnalysis.html')
-rw-r--r--llvm/docs/AliasAnalysis.html10
1 files changed, 5 insertions, 5 deletions
diff --git a/llvm/docs/AliasAnalysis.html b/llvm/docs/AliasAnalysis.html
index 97a813344d8..1569fb8e688 100644
--- a/llvm/docs/AliasAnalysis.html
+++ b/llvm/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
OpenPOWER on IntegriCloud