verify-di: Implement DebugInfoVerifier

Description

verify-di: Implement DebugInfoVerifier

Implement DebugInfoVerifier, which steals verification relying on
DebugInfoFinder from Verifier.

  • Adds LegacyDebugInfoVerifierPassPass, a ModulePass which wraps DebugInfoVerifier. Uses -verify-di command-line flag.
  • Change verifyModule() to invoke DebugInfoVerifier as well as Verifier.
  • Add a call to createDebugInfoVerifierPass() wherever there was a call to createVerifierPass().

This implementation as a module pass should sidestep efficiency issues,
allowing us to turn debug info verification back on.

rdar://problem/15500563

Details

Committed
dexonsmithApr 15 2014, 9:27 AM
Parents
rL206299: verify-di: split out VerifierSupport
Branches
Unknown
Tags
Unknown