[PATCH] D16228: [Verifier] Check that all subprogram definitions are reachable from dbg.cu

[David Blaikie via llvm-commits]

Diego: I /think/ this isn't true when we're attaching debug info just for
backend diagnostic purposes, right? Do we have some test cases covering
that?

On Fri, Jan 15, 2016 at 8:51 AM, Keno Fischer via llvm-commits <
llvm-commits at lists.llvm.org> wrote:

> loladiro created this revision.
> loladiro added reviewers: dexonsmith, dblaikie.
> loladiro added a subscriber: llvm-commits.
> loladiro set the repository for this revision to rL LLVM.
>
> The backend requires that any subprogram definition belongs to some
> compile unit that is declared in the llvm.dbg.cu named metadata node.
> Check this, by going through all of them at the very beginning of module
> Verification, and adding them to the MDNodes set. After this initial pass,
> getting to any subprogram definition again is an error, because it means
> that such a subprogram was not referenced from llvm.dbg.cu.
>
> Repository:
>   rL LLVM
>
> http://reviews.llvm.org/D16228
>
> Files:
>   lib/IR/Verifier.cpp
>   test/DebugInfo/Generic/2010-07-19-Crash.ll
>
>
> _______________________________________________
> llvm-commits mailing list
> llvm-commits at lists.llvm.org
> http://lists.llvm.org/cgi-bin/mailman/listinfo/llvm-commits
>
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.llvm.org/pipermail/llvm-commits/attachments/20160115/c7821c15/attachment.html>