[PATCH] D38862: Add must alias info to ModRefInfo.

[George Burgess IV via Phabricator via llvm-commits]

george.burgess.iv added inline comments.


================
Comment at: lib/Analysis/AliasAnalysis.cpp:128
     // Early-exit the moment we reach the bottom of the lattice.
-    if (Result == MRI_NoModRef)
+    if ((Result & MRI_ModRef) == MRI_NoModRef)
       return Result;
----------------
Probably-silly question: what's the difference between `Result == MRI_NoModRef` and `Result == MRI_Must`?

(If the answer is "nothing", should we ever really see `MRI_Must` on its own?)


https://reviews.llvm.org/D38862