implement Analysis/DSGraph/field-sensitive.ll

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

diff --git a/lib/Analysis/DataStructure/DataStructureAA.cpp b/lib/Analysis/DataStructure/DataStructureAA.cpp
index 0400e01d63a7467cac3dc3baa92b241bab6d33b2..65bdc6e2f2cc9b361a4c08ae0b0bdc75ba41c184 100644 (file)
--- a/lib/Analysis/DataStructure/DataStructureAA.cpp
+++ b/lib/Analysis/DataStructure/DataStructureAA.cpp
@@ -161,9 +161,8 @@ AliasAnalysis::AliasResult DSAA::alias(const Value *V1, unsigned V1Size,
         std::swap(V1Size, V2Size);
       }
 
-      // FIXME: This is not correct because we do not handle array
-      // indexing correctly with this check!
-      //if (O1+V1Size <= O2) return NoAlias;
+      if (O1+V1Size <= O2)
+        return NoAlias;
     }
   }