From de6cc372e306d73804ed2bc264bd1095057c8857 Mon Sep 17 00:00:00 2001
From: Chris Lattner <sabre@nondot.org>
Date: Sun, 27 Mar 2005 00:02:33 +0000
Subject: [PATCH] Don't give up completely, maybe other AA can say something
 about this.

llvm-svn: 20873
---
 lib/Analysis/DataStructure/DataStructureAA.cpp | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

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()) {