<p dir="ltr"><br>
On Jul 5, 2013 5:50 AM, "Duncan Sands" <<a href="mailto:baldrick@free.fr">baldrick@free.fr</a>> wrote:<br>
><br>
> Hi Seb,<br>
><br>
><br>
> On 05/07/13 11:08, Sebastien DELDON-GNB wrote:<br>
>><br>
>> Hi all,<br>
>><br>
>> Is there an easy way to check that debug metadata in a .ll file are well formed ?<br>
>><br>
>> Thanks for you answers<br>
><br>
><br>
> I don't think so.  </p>
<p dir="ltr">That's correct. There's no formal/single verification of debug info metadata. There are asserts scattered throughout debug info handling, but they're hardly complete.</p>
<p dir="ltr">> It would be great if the verifier checked debug and other<br>
> standard meta data.</p>
<p dir="ltr">Yep. It's something we've considered but haven't found time for yet. It would allow is to remove much of the ad hoc testing/verification and consolidate it in one place.</p>
<p dir="ltr">For now, ideally, anything produced by DIBuilder should be valid. If you find cases where that's not true, we should at least add asserts to DIBuilder to sure that up a bit.</p>
<p dir="ltr">><br>
> Ciao, Duncan.<br>
><br>
> _______________________________________________<br>
> LLVM Developers mailing list<br>
> <a href="mailto:LLVMdev@cs.uiuc.edu">LLVMdev@cs.uiuc.edu</a>         <a href="http://llvm.cs.uiuc.edu">http://llvm.cs.uiuc.edu</a><br>
> <a href="http://lists.cs.uiuc.edu/mailman/listinfo/llvmdev">http://lists.cs.uiuc.edu/mailman/listinfo/llvmdev</a><br>
</p>