implement Analysis/DSGraph/field-sensitive.ll

llvm-svn: 20779

1 files changed, 2 insertions, 3 deletions

diff --git a/llvm/lib/Analysis/DataStructure/DataStructureAA.cpp b/llvm/lib/Analysis/DataStructure/DataStructureAA.cpp
index 0400e01..65bdc6e 100644
--- a/llvm/lib/Analysis/DataStructure/DataStructureAA.cpp
+++ b/llvm/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;
     }
   }