implement Analysis/DSGraph/field-sensitive.ll

llvm-svn: 20779
2005-03-23 01:47:19 +00:00 · 2005-03-23 01:47:19 +00:00 · 7d3df410ab
parent 17011d972a
commit 7d3df410ab
1 changed files with 2 additions and 3 deletions
--- 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;
    }
  }