commit 7d3df410abaf953429b4e806fc02008ad71f75ee
author Chris Lattner <sabre@nondot.org> Wed Mar 23 01:47:19 2005 +0000
committer Chris Lattner <sabre@nondot.org> Wed Mar 23 01:47:19 2005 +0000
tree 0f6883ba9e22e856f11008a0cf2ae94311384ba6
parent 17011d972a90a6b111f2b39aaede50ca928c00b7

implement Analysis/DSGraph/field-sensitive.ll

llvm-svn: 20779

llvm/lib/Analysis/DataStructure/DataStructureAA.cpp

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 @@
         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;
     }
   }