Re: [PATCH] Add extensions to dwarf2.def

2015-08-18 Thread Pierre-Marie de Rodat
On 08/18/2015 02:47 PM, Manuel López-Ibáñez wrote: Sorry, I did it before I read your message. For the future, I would advise to "Just Do It" and then say that you did it. It is a wiki, it can always be reverted if someone disagrees. Sure, I have no problem with the paternity of this change. ;-

Re: [PATCH] Add extensions to dwarf2.def

2015-08-18 Thread Manuel López-Ibáñez
On 18 August 2015 at 14:38, Pierre-Marie de Rodat wrote: > > I think it would be great to copy this text in GCC's: may I do this? Sorry, I did it before I read your message. For the future, I would advise to "Just Do It" and then say that you did it. It is a wiki, it can always be reverted if som

Re: [PATCH] Add extensions to dwarf2.def

2015-08-18 Thread Pierre-Marie de Rodat
On 08/18/2015 02:15 PM, Pedro Alves wrote: The blurb at the top of glibc's page explains this: https://sourceware.org/glibc/wiki/EditorGroup [...] Looks like neither GCC's nor GDB's borrowed that longer text yet. Ok, understood. Thank you very much! I think it would be great to copy this

Re: [PATCH] Add extensions to dwarf2.def

2015-08-18 Thread Pedro Alves
On 08/18/2015 11:24 AM, Pierre-Marie de Rodat wrote: > I successfuly created the two wiki pages, thanks to both of you! > > As a side note, for some reason I could no longer login and I had to > re-create my account (same identifier, which worked). I'm not sure, but > I think it's the second ti

Re: [PATCH] Add extensions to dwarf2.def

2015-08-18 Thread Pierre-Marie de Rodat
On 08/18/2015 11:36 AM, Manuel López-Ibáñez wrote: On 18/08/15 10:32, Pedro Alves wrote: On 08/14/2015 10:49 AM, Pierre-Marie de Rodat wrote: I also tried to create the new pages on the wiki but it says "You are not allowed to edit this page." (

Re: [PATCH] Add extensions to dwarf2.def

2015-08-18 Thread Manuel López-Ibáñez
On 18/08/15 10:32, Pedro Alves wrote: On 08/14/2015 10:49 AM, Pierre-Marie de Rodat wrote: I also tried to create the new pages on the wiki but it says "You are not allowed to edit this page." (, I'm logged in as pmderodat).

Re: [PATCH] Add extensions to dwarf2.def

2015-08-18 Thread Pedro Alves
On 08/14/2015 10:49 AM, Pierre-Marie de Rodat wrote: > I also tried to create the new pages on the wiki but it says "You are > not allowed to edit this page." > (, > I'm logged in as pmderodat). Does anyone know how I should

Re: [PATCH] Add extensions to dwarf2.def

2015-08-14 Thread Pierre-Marie de Rodat
Cary, Thank you for your answer! On 08/13/2015 09:01 PM, Cary Coutant wrote: I don't think you really need a new TAG here -- DW_TAG_constant could just as easily take DW_AT_GNU_numerator and DW_AT_GNU_denominator as an alternative to DW_AT_const_value. Good idea! I updated the patch according

Re: [PATCH] Add extensions to dwarf2.def

2015-08-13 Thread Cary Coutant
> I'm currently working on migrating debugging information for Ada from GNAT > encodings to standard DWARF. At the moment, I have worked on two topics that > I believe are not (completely) supported in standard DWARF: > > - fixed point types with arbitrary scale factors; > - scalar types with b

[PATCH] Add extensions to dwarf2.def

2015-06-09 Thread Pierre-Marie de Rodat
Hello, I'm currently working on migrating debugging information for Ada from GNAT encodings to standard DWARF. At the moment, I have worked on two topics that I believe are not (completely) supported in standard DWARF: - fixed point types with arbitrary scale factors; - scalar types with