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: Pierre-Marie de Rodat <derodat at adacore dot com>
- To: Jakub Jelinek <jakub at redhat 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:59:34 +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> <20160225155138 dot GT3017 at tucnak dot redhat dot com>
On 02/25/2016 04:51 PM, Jakub Jelinek wrote:
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.
Sure! Hereâs one:
$ gcc -S -g -fgnat-encodings=minimal -dA foo.adb && grep DW_OP_call4 foo.s
foo.s:313: .byte 0x99 # DW_OP_call4
--
Pierre-Marie de Rodat
procedure Foo is
type Record_Type (N : Natural) is record
S1 : String (1 .. N);
S2 : String (1 .. N);
end record;
procedure Process (R : Record_Type) is
begin
null;
end Process;
R : Record_Type (4) := (4, "abcd", "efgh");
begin
Process (R);
end Foo;