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