llvm dev - Jul 2013 - [LLVMdev] Is there a way to check that debug metadata are well formed ?

Hi all,

Is there an easy way to check that debug metadata in a .ll file are well formed
?

Thanks for you answers
Seb

Hi Seb,

On 05/07/13 11:08, Sebastien DELDON-GNB wrote:
> Hi all,
>
> Is there an easy way to check that debug metadata in a .ll file are well
formed ?
>
> Thanks for you answers
I don't think so.  It would be great if the verifier checked debug and other
standard meta data.

Ciao, Duncan.

On Jul 5, 2013 5:50 AM, "Duncan Sands" <baldrick at free.fr>
wrote:
>
> Hi Seb,
>
>
> On 05/07/13 11:08, Sebastien DELDON-GNB wrote:
>>
>> Hi all,
>>
>> Is there an easy way to check that debug metadata in a .ll file are
well
formed ?
>>
>> Thanks for you answers
>
>
> I don't think so.
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.
> It would be great if the verifier checked debug and other
> standard meta data.
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.

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.
>
> Ciao, Duncan.
>
> _______________________________________________
> LLVM Developers mailing list
> LLVMdev at cs.uiuc.edu         http://llvm.cs.uiuc.edu
> http://lists.cs.uiuc.edu/mailman/listinfo/llvmdev
-------------- next part --------------
An HTML attachment was scrubbed...
URL:
<http://lists.llvm.org/pipermail/llvm-dev/attachments/20130705/6415228c/attachment.html>