commit 2f72f9462b3fd0208d20cf7a213afd0e6b0c462d
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 8df915540a34b16e4ebe1a51ace970c79ef79ac2
parent ad46cf028294bbaeedef21821ba552f2b175d28c

implement Analysis/DSGraph/field-sensitive.ll


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

lib/Analysis/DataStructure/DataStructureAA.cpp

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