From 2f72f9462b3fd0208d20cf7a213afd0e6b0c462d Mon Sep 17 00:00:00 2001 From: Chris Lattner Date: Wed, 23 Mar 2005 01:47:19 +0000 Subject: [PATCH] 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 | 5 ++--- 1 file changed, 2 insertions(+), 3 deletions(-) diff --git a/lib/Analysis/DataStructure/DataStructureAA.cpp b/lib/Analysis/DataStructure/DataStructureAA.cpp index 0400e01d63a..65bdc6e2f2c 100644 --- 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; } } -- 2.34.1