From 5f4c0a88ee862e87cc9c59bf3bdaf7f13215416e Mon Sep 17 00:00:00 2001 From: Chris Lattner Date: Sun, 27 Mar 2005 00:02:33 +0000 Subject: Don't give up completely, maybe other AA can say something about this. git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@20873 91177308-0d34-0410-b5e6-96231b3b80d8 --- lib/Analysis/DataStructure/DataStructureAA.cpp | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) (limited to 'lib/Analysis') diff --git a/lib/Analysis/DataStructure/DataStructureAA.cpp b/lib/Analysis/DataStructure/DataStructureAA.cpp index 892c7dfe619..19ac2acc31d 100644 --- a/lib/Analysis/DataStructure/DataStructureAA.cpp +++ b/lib/Analysis/DataStructure/DataStructureAA.cpp @@ -138,7 +138,8 @@ AliasAnalysis::AliasResult DSAA::alias(const Value *V1, unsigned V1Size, DSNode *N1 = I->second.getNode(), *N2 = J->second.getNode(); unsigned O1 = I->second.getOffset(), O2 = J->second.getOffset(); if (N1 == 0 || N2 == 0) - return MayAlias; // Can't tell whether anything aliases null. + // Can't tell whether anything aliases null. + return AliasAnalysis::alias(V1, V1Size, V2, V2Size); // We can only make a judgment of one of the nodes is complete... if (N1->isComplete() || N2->isComplete()) { -- cgit v1.2.3