Don't call doFinalization from verifyFunction.
authorRafael Espindola <rafael.espindola@gmail.com>
Wed, 13 Nov 2013 13:44:11 +0000 (13:44 +0000)
committerRafael Espindola <rafael.espindola@gmail.com>
Wed, 13 Nov 2013 13:44:11 +0000 (13:44 +0000)
commit7af43e0ad01a5f85f9066b69faba990a72f89536
tree6268efbd5b2cc99d079a48f0cd81e0196fa15f2c
parentc0fad4d9fdb1aebe029bcb54311fad7059b1a9e5
Don't call doFinalization from verifyFunction.

verifyFunction needs to call doInitialization to collect metadata and avoid
crashing when verifying debug info in a function.

But it should not call doFinalization since that is where the verifier will
check declarations, variables and aliases, which is not desirable when one
only wants to verify a function.

A possible cleanup would be to split the class into a ModuleVerifier and
FunctionVerifier.

Issue reported by Ilia Filippov. Patch by Michael Kruse.

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@194574 91177308-0d34-0410-b5e6-96231b3b80d8
lib/IR/Verifier.cpp