diff --git a/lib/IR/Verifier.cpp b/lib/IR/Verifier.cpp index 4bdc1c13d03..fcdbac2f9f6 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(Aliasee); - if (!isa(Aliasee)) { + if (!GV) { const ConstantExpr *CE = dyn_cast(Aliasee); - Assert1(CE && - (CE->getOpcode() == Instruction::BitCast || - CE->getOpcode() == Instruction::AddrSpaceCast || - CE->getOpcode() == Instruction::GetElementPtr) && - isa(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(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,