diff options
| author | Anton Korobeynikov <asl@math.spbu.ru> | 2007-04-28 13:45:00 +0000 |
|---|---|---|
| committer | Anton Korobeynikov <asl@math.spbu.ru> | 2007-04-28 13:45:00 +0000 |
| commit | b18f8f85e9151195a81833d6862063323338854e (patch) | |
| tree | 3bbb4f5593defb3935aa086ffccc1edb0f2c606a /llvm/lib/VMCore/Verifier.cpp | |
| parent | 1deacd61f4a93742e3e12bac91026158bdb1aaf0 (diff) | |
| download | bcm5719-llvm-b18f8f85e9151195a81833d6862063323338854e.tar.gz bcm5719-llvm-b18f8f85e9151195a81833d6862063323338854e.zip | |
Implement review feedback. Aliasees can be either GlobalValue's or
bitcasts of them.
llvm-svn: 36537
Diffstat (limited to 'llvm/lib/VMCore/Verifier.cpp')
| -rw-r--r-- | llvm/lib/VMCore/Verifier.cpp | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/llvm/lib/VMCore/Verifier.cpp b/llvm/lib/VMCore/Verifier.cpp index 1578c2ddd6d..01eb860f911 100644 --- a/llvm/lib/VMCore/Verifier.cpp +++ b/llvm/lib/VMCore/Verifier.cpp @@ -316,7 +316,9 @@ void Verifier::visitGlobalAlias(GlobalAlias &GA) { Assert1(GA.hasExternalLinkage() || GA.hasInternalLinkage() || GA.hasWeakLinkage(), "Alias should have external or external weak linkage!", &GA); - + Assert1(GA.getType() == GA.getAliasee()->getType(), + "Alias and aliasee types should match!", &GA); + visitGlobalValue(GA); } |
