diff options
author | Chris Lattner <sabre@nondot.org> | 2009-11-01 18:11:50 +0000 |
---|---|---|
committer | Chris Lattner <sabre@nondot.org> | 2009-11-01 18:11:50 +0000 |
commit | 4a7642ec9c33bcf8ed65231f382fb6d9a0f46f3a (patch) | |
tree | f363990ceb57c9d4f1282fb1c3595fa9e155209e /lib/VMCore/Verifier.cpp | |
parent | 076124ef26ff67f88663bd11f3b4d6b3d3bb3a9d (diff) | |
download | external_llvm-4a7642ec9c33bcf8ed65231f382fb6d9a0f46f3a.tar.gz external_llvm-4a7642ec9c33bcf8ed65231f382fb6d9a0f46f3a.tar.bz2 external_llvm-4a7642ec9c33bcf8ed65231f382fb6d9a0f46f3a.zip |
the verifier shouldn't modify the IR.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@85722 91177308-0d34-0410-b5e6-96231b3b80d8
Diffstat (limited to 'lib/VMCore/Verifier.cpp')
-rw-r--r-- | lib/VMCore/Verifier.cpp | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/lib/VMCore/Verifier.cpp b/lib/VMCore/Verifier.cpp index 6b10d69ac5..5990e48168 100644 --- a/lib/VMCore/Verifier.cpp +++ b/lib/VMCore/Verifier.cpp @@ -661,8 +661,7 @@ void Verifier::visitFunction(Function &F) { // The address of the entry block cannot be taken, unless it is dead. if (Entry->hasAddressTaken()) { - Entry->removeDeadBlockAddress(); - Assert1(!Entry->hasAddressTaken(), + Assert1(!BlockAddress::get(Entry)->isConstantUsed(), "blockaddress may not be used with the entry block!", Entry); } } |