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
diff --git a/lib/Analysis/DataStructure/DataStructureAA.cpp b/lib/Analysis/DataStructure/DataStructureAA.cpp
index 892c7df..19ac2ac 100644
--- a/lib/Analysis/DataStructure/DataStructureAA.cpp
+++ b/lib/Analysis/DataStructure/DataStructureAA.cpp
@@ -138,7 +138,8 @@
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()) {