[PATCH] Verifier: Set --verify-debug-info=true by default

David Blaikie dblaikie at gmail.com
Mon Mar 16 18:51:10 PDT 2015


I'm all for it :)

So this is enabled for any .ll file parsing? (I don't know exactly
when/where the normal non-debug verifier is run)

On Mon, Mar 16, 2015 at 5:38 PM, Duncan P. N. Exon Smith <
dexonsmith at apple.com> wrote:

> r186634 started verifying debug info, and r194986 disabled it by default
> because it was too expensive to run the checks on every function (since
> most of the graph was reachable from each function).
>
> r206300 moved the checks to module-level to make it cheaper, but there
> was already quite a bit of testcase bitrot (and the verifier would only
> print `<badref>`) so I guess no one had time to turn it back on.
>
> This does just that.  Upgrade scripts this past autumn and winter
> probably fixed some of the bitrot, and this weekend I fixed the verifier
> output (r232275, r232417, r232418) and thusly the remaining failing
> testcases (r232290, r232415).
>
>
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.llvm.org/pipermail/llvm-commits/attachments/20150316/c7ed903b/attachment.html>


More information about the llvm-commits mailing list