[PATCH] Debug Info Verifier pass

[Duncan P. N. Exon Smith]

Eric and Manman,

Picking up from the llvmdev discussion in December [1], here's a
stab at DebugInfoVerifier:

  - Splits out supporting functionality from Verifier into
    VerifierSupport.

  - 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().

Is this what you two were thinking of, or have I gone off course?

Thanks,
Duncan

[1]: http://lists.cs.uiuc.edu/pipermail/llvmdev/2013-December/068870.html

-------------- next part --------------
A non-text attachment was scrubbed...
Name: 0001-verify-di-split-out-VerifierSupport.patch
Type: application/octet-stream
Size: 4479 bytes
Desc: not available
URL: <http://lists.llvm.org/pipermail/llvm-commits/attachments/20140407/72e1c277/attachment.obj>
-------------- next part --------------
A non-text attachment was scrubbed...
Name: 0002-verify-di-Implement-DebugInfoVerifier.patch
Type: application/octet-stream
Size: 16299 bytes
Desc: not available
URL: <http://lists.llvm.org/pipermail/llvm-commits/attachments/20140407/72e1c277/attachment-0001.obj>