[PATCHES, PING*5] Enhance standard DWARF for Ada

[Pierre-Marie de Rodat]

On 02/25/2016 10:48 AM, Jakub Jelinek wrote:
> Unfortunately, this broke the DW_OP_GNU_implicit_pointer support, on vast
> majority of binaries and libraries gcc now emits invalid DWARF (which both
> gdb and dwz complain about and dwz refuses to optimize because of that).

Arg, sorry about this!

> I'm attaching two possible patches, so far untested.

Thanks, I’m having a look as we speak.

> So, Pierre-Marie, can I ask you to run whatever Ada debug info testsuite
> you have with the second patch?  And for GCC 7 really please consider adding
> gnat.dg/guality/ and fill it with tests.

Testing in progress…

I have a tiny Python/pyelftools-based testsuite that checks the DIE 
patterns GCC emits for several Ada types. I really wish I could somehow 
integrate them to the GCC testsuite, but right now I don’t know how I 
could do similar things, there.

As I said at the end of a message in another thread 
(https://gcc.gnu.org/ml/gcc-patches/2016-01/msg01078.html), I always 
feel uncomfortable writing brittle dg-scan testcases, hence the current 
lack of testcases for those DWARF changes.

-- 
Pierre-Marie de Rodat