OSDN Git Service

Add calls to doInitialization() and doFinalization() in verifyFunction()
authorRafael Espindola <rafael.espindola@gmail.com>
Wed, 30 Oct 2013 22:37:51 +0000 (22:37 +0000)
committerRafael Espindola <rafael.espindola@gmail.com>
Wed, 30 Oct 2013 22:37:51 +0000 (22:37 +0000)
commit415b33f161537be38be213cb7cb89314173f6549
treed847fc74e6ebf228ba828b082d4610b3ed5936f9
parent2cc546db188d5e4d4537681cab3d52781125518c
Add calls to doInitialization() and doFinalization() in verifyFunction()

The function verifyFunction() in lib/IR/Verifier.cpp misses some
calls. It creates a temporary FunctionPassManager that will run a
single Verifier pass. Unfortunately, FunctionPassManager is no
PassManager and does not call doInitialization() and doFinalization()
by itself. Verifier does important tasks in doInitialization() such as
collecting type information used to check DebugInfo metadata and
doFinalization() does some additional checks. Therefore these checks
were missed and debug info couldn't be verified at all, it just
crashed if the function had some.

verifyFunction() is currently not used in llvm unless -debug option is
enabled, and in unittests/IR/VerifierTest.cpp

VerifierTest had to be changed to create the function in a module from
which the type debug info can be collected.

Patch by Michael Kruse.

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