diff options
Diffstat (limited to 'lib/IR/Verifier.cpp')
| -rw-r--r-- | lib/IR/Verifier.cpp | 19 |
1 files changed, 10 insertions, 9 deletions
diff --git a/lib/IR/Verifier.cpp b/lib/IR/Verifier.cpp index 4bdc1c13d0..fcdbac2f9f 100644 --- a/lib/IR/Verifier.cpp +++ b/lib/IR/Verifier.cpp @@ -479,20 +479,21 @@ void Verifier::visitGlobalAlias(const GlobalAlias &GA) { Assert1(!GA.getAlignment(), "Alias connot have an alignment", &GA); const Constant *Aliasee = GA.getAliasee(); + const GlobalValue *GV = dyn_cast<GlobalValue>(Aliasee); - if (!isa<GlobalValue>(Aliasee)) { + if (!GV) { const ConstantExpr *CE = dyn_cast<ConstantExpr>(Aliasee); - Assert1(CE && - (CE->getOpcode() == Instruction::BitCast || - CE->getOpcode() == Instruction::AddrSpaceCast || - CE->getOpcode() == Instruction::GetElementPtr) && - isa<GlobalValue>(CE->getOperand(0)), - "Aliasee should be either GlobalValue, bitcast or " - "addrspacecast of GlobalValue", + if (CE && (CE->getOpcode() == Instruction::BitCast || + CE->getOpcode() == Instruction::AddrSpaceCast || + CE->getOpcode() == Instruction::GetElementPtr)) + GV = dyn_cast<GlobalValue>(CE->getOperand(0)); + + Assert1(GV, "Aliasee should be either GlobalValue, bitcast or " + "addrspacecast of GlobalValue", &GA); if (CE->getOpcode() == Instruction::BitCast) { - unsigned SrcAS = CE->getOperand(0)->getType()->getPointerAddressSpace(); + unsigned SrcAS = GV->getType()->getPointerAddressSpace(); unsigned DstAS = CE->getType()->getPointerAddressSpace(); Assert1(SrcAS == DstAS, |