On Apr 28, 2007, at 7:35 AM, Anton Korobeynikov wrote:
> Index: llvm/lib/VMCore/Verifier.cpp
> diff -u llvm/lib/VMCore/Verifier.cpp:1.207 llvm/lib/VMCore/
> Verifier.cpp:1.208
> --- llvm/lib/VMCore/Verifier.cpp:1.207 Sat Apr 28 08:45:00 2007
> +++ llvm/lib/VMCore/Verifier.cpp Sat Apr 28 09:35:41 2007
> @@ -319,6 +319,13 @@
> 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,
I'd suggest: && isa<GlobalValue>(CE->getOperand(0))
-Chris
> + "Aliasee should be either GlobalValue or bitcast of
> GlobalValue",
> + &GA);
> + }
> +
> visitGlobalValue(GA);
> }
>
>
>
>
> _______________________________________________
> llvm-commits mailing list
> llvm-commits@cs.uiuc.edu
> http://lists.cs.uiuc.edu/mailman/listinfo/llvm-commits
_______________________________________________
llvm-commits mailing list
llvm-commits@cs.uiuc.edu
http://lists.cs.uiuc.edu/mailman/listinfo/llvm-commits
