basic-aa can actually provide simple mod/ref info

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@15251 91177308-0d34-0410-b5e6-96231b3b80d8

diff --git a/lib/Analysis/BasicAliasAnalysis.cpp b/lib/Analysis/BasicAliasAnalysis.cpp
index 8aa4aa0246a7ff32bcb661e34e3f2e61c3064db8..19397f67da3e3de128bfb923fa9802e980dfbf7a 100644 (file)
--- a/lib/Analysis/BasicAliasAnalysis.cpp
+++ b/lib/Analysis/BasicAliasAnalysis.cpp
@@ -83,9 +83,9 @@ namespace {
 
     ModRefResult getModRefInfo(CallSite CS, Value *P, unsigned Size);
 
-    /// hasNoModRefInfoForCalls - We have no way to test one call against
-    /// another, unless they are pure or const.
-    virtual bool hasNoModRefInfoForCalls() const { return true; }
+    /// hasNoModRefInfoForCalls - We can provide mod/ref information against
+    /// non-escaping allocations.
+    virtual bool hasNoModRefInfoForCalls() const { return false; }
 
     /// pointsToConstantMemory - Chase pointers until we find a (constant
     /// global) or not.