diff options
author | Rafael Espindola <rafael.espindola@gmail.com> | 2013-11-13 13:44:11 +0000 |
---|---|---|
committer | Rafael Espindola <rafael.espindola@gmail.com> | 2013-11-13 13:44:11 +0000 |
commit | 7af43e0ad01a5f85f9066b69faba990a72f89536 (patch) | |
tree | 6268efbd5b2cc99d079a48f0cd81e0196fa15f2c /lib/IR | |
parent | c0fad4d9fdb1aebe029bcb54311fad7059b1a9e5 (diff) | |
download | llvm-7af43e0ad01a5f85f9066b69faba990a72f89536.tar.gz llvm-7af43e0ad01a5f85f9066b69faba990a72f89536.tar.bz2 llvm-7af43e0ad01a5f85f9066b69faba990a72f89536.tar.xz |
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
Diffstat (limited to 'lib/IR')
-rw-r--r-- | lib/IR/Verifier.cpp | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/lib/IR/Verifier.cpp b/lib/IR/Verifier.cpp index 4255cd2553..1bb3e3423d 100644 --- a/lib/IR/Verifier.cpp +++ b/lib/IR/Verifier.cpp @@ -2402,7 +2402,6 @@ bool llvm::verifyFunction(const Function &f, VerifierFailureAction action) { FPM.add(V); FPM.doInitialization(); FPM.run(F); - FPM.doFinalization(); return V->Broken; } |