[llvm-commits] CVS: llvm/lib/Analysis/DataStructure/DataStructureAA.cpp

[Chris Lattner]

Changes in directory llvm/lib/Analysis/DataStructure:

DataStructureAA.cpp updated: 1.25 -> 1.26
---
Log message:

add some possibly bogus assertions.


---
Diffs of the changes:  (+10 -0)

 DataStructureAA.cpp |   10 ++++++++++
 1 files changed, 10 insertions(+)


Index: llvm/lib/Analysis/DataStructure/DataStructureAA.cpp
diff -u llvm/lib/Analysis/DataStructure/DataStructureAA.cpp:1.25 llvm/lib/Analysis/DataStructure/DataStructureAA.cpp:1.26
--- llvm/lib/Analysis/DataStructure/DataStructureAA.cpp:1.25	Thu Mar 17 14:16:58 2005
+++ llvm/lib/Analysis/DataStructure/DataStructureAA.cpp	Thu Mar 17 14:33:27 2005
@@ -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;
 }