Let Verifier check aliasees

llvm-svn: 36540
2007-04-28 14:35:41 +00:00 · 2007-04-28 14:35:41 +00:00 · 7b2a2f9075
parent b19636e4af
commit 7b2a2f9075
1 changed files with 7 additions and 0 deletions
--- a/llvm/lib/VMCore/Verifier.cpp
+++ b/llvm/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);
 }