add some possibly bogus assertions.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@20665 91177308-0d34-0410-b5e6-96231b3b80d8
diff --git a/lib/Analysis/DataStructure/DataStructureAA.cpp b/lib/Analysis/DataStructure/DataStructureAA.cpp
index 2d62162..8b606f2 100644
--- a/lib/Analysis/DataStructure/DataStructureAA.cpp
+++ b/lib/Analysis/DataStructure/DataStructureAA.cpp
@@ -12,6 +12,8 @@
//
//===----------------------------------------------------------------------===//
+#include "llvm/Constants.h"
+#include "llvm/DerivedTypes.h"
#include "llvm/Module.h"
#include "llvm/Analysis/AliasAnalysis.h"
#include "llvm/Analysis/Passes.h"
@@ -196,6 +198,14 @@
Result = ModRefResult(Result & ~Mod);
if (!N->isRead()) // We proved it was not read.
Result = ModRefResult(Result & ~Ref);
+ } else {
+ if (isa<ConstantPointerNull>(P))
+ Result = NoModRef;
+ else
+ assert(isa<GlobalVariable>(P) &&
+ cast<GlobalVariable>(P)->getType()->getElementType()->isFirstClassType() &&
+ "This isn't a global that DSA inconsiderately dropped "
+ "from the graph?");
}
return Result;
}