From: Anton Korobeynikov <asl@math.spbu.ru>
Date: Sat, 28 Apr 2007 14:35:41 +0000 (+0000)
Subject: Let Verifier check aliasees
X-Git-Url: http://demsky.eecs.uci.edu/git/?a=commitdiff_plain;h=0f53f7f2405e03a5ae5e684521567d7fe5a5d177;p=oota-llvm.git

Let Verifier check aliasees


git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@36540 91177308-0d34-0410-b5e6-96231b3b80d8
---

diff --git a/lib/VMCore/Verifier.cpp b/lib/VMCore/Verifier.cpp
index 01eb860f911..c580e70d84e 100644
--- a/lib/VMCore/Verifier.cpp
+++ b/lib/VMCore/Verifier.cpp
@@ -319,6 +319,13 @@ void Verifier::visitGlobalAlias(GlobalAlias &GA) {
   Assert1(GA.getType() == GA.getAliasee()->getType(),
           "Alias and aliasee types should match!", &GA);
   
+  if (!isa<GlobalValue>(GA.getAliasee())) {
+    const ConstantExpr *CE = dyn_cast<ConstantExpr>(GA.getAliasee());
+    Assert1(CE && CE->getOpcode() == Instruction::BitCast,
+            "Aliasee should be either GlobalValue or bitcast of GlobalValue",
+            &GA);
+  }
+  
   visitGlobalValue(GA);
 }