Changes in directory llvm/lib/VMCore:
Verifier.cpp updated: 1.207 -> 1.208 --- Log message: Let Verifier check aliasees --- Diffs of the changes: (+7 -0) Verifier.cpp | 7 +++++++ 1 files changed, 7 insertions(+) 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, + "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