<div dir="ltr">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?</div><div class="gmail_extra"><br><div class="gmail_quote">On Fri, Jan 15, 2016 at 8:51 AM, Keno Fischer via llvm-commits <span dir="ltr"><<a href="mailto:llvm-commits@lists.llvm.org" target="_blank">llvm-commits@lists.llvm.org</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">loladiro created this revision.<br>
loladiro added reviewers: dexonsmith, dblaikie.<br>
loladiro added a subscriber: llvm-commits.<br>
loladiro set the repository for this revision to rL LLVM.<br>
<br>
The backend requires that any subprogram definition belongs to some compile unit that is declared in the <a href="http://llvm.dbg.cu" rel="noreferrer" target="_blank">llvm.dbg.cu</a> 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 <a href="http://llvm.dbg.cu" rel="noreferrer" target="_blank">llvm.dbg.cu</a>.<br>
<br>
Repository:<br>
  rL LLVM<br>
<br>
<a href="http://reviews.llvm.org/D16228" rel="noreferrer" target="_blank">http://reviews.llvm.org/D16228</a><br>
<br>
Files:<br>
  lib/IR/Verifier.cpp<br>
  test/DebugInfo/Generic/2010-07-19-Crash.ll<br>
<br>
<br>_______________________________________________<br>
llvm-commits mailing list<br>
<a href="mailto:llvm-commits@lists.llvm.org">llvm-commits@lists.llvm.org</a><br>
<a href="http://lists.llvm.org/cgi-bin/mailman/listinfo/llvm-commits" rel="noreferrer" target="_blank">http://lists.llvm.org/cgi-bin/mailman/listinfo/llvm-commits</a><br>
<br></blockquote></div><br></div>