This is the mail archive of the
gcc-patches@gcc.gnu.org
mailing list for the GCC project.
Re: [PATCHES, PING*5] Enhance standard DWARF for Ada
- From: Jakub Jelinek <jakub at redhat dot com>
- To: Pierre-Marie de Rodat <derodat at adacore dot com>
- Cc: Jason Merrill <jason at redhat dot com>, gcc-patches at gcc dot gnu dot org, Cary Coutant <ccoutant at gmail dot com>, Eric Botcazou <ebotcazou at adacore dot com>
- Date: Thu, 25 Feb 2016 16:51:38 +0100
- Subject: Re: [PATCHES, PING*5] Enhance standard DWARF for Ada
- Authentication-results: sourceware.org; auth=none
- References: <564CE0F7 dot 4060801 at redhat dot com> <56531A3E dot 40504 at adacore dot com> <56538037 dot 7060900 at redhat dot com> <56542B0F dot 6040102 at adacore dot com> <5655FF72 dot 7030901 at redhat dot com> <5656FC6C dot 7040008 at adacore dot com> <566B3151 dot 4000209 at redhat dot com> <56712691 dot 4050709 at adacore dot com> <20160225094803 dot GN3017 at tucnak dot redhat dot com> <56CED8DB dot 4060204 at adacore dot com>
- Reply-to: Jakub Jelinek <jakub at redhat dot com>
On Thu, Feb 25, 2016 at 11:35:07AM +0100, Pierre-Marie de Rodat wrote:
> 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.
Do you have some short Ada testcase where the DW_OP_call4 referring to
DW_TAG_dwarf_procedure is supposed to be emitted? I believe you must be
getting there the .Ldebug_info0+0 invalid reference in the DW_OP_call4
operand.
Jakub