Re: Trace GNAT FSF avec numéro de lignes ...

Stéphane Rivière via Ada-france <[email protected]> Wed, 29 Jun 2022 11:37:10 +0200
Newsgroups	gmane.comp.lang.ada.france
Organization	La Maison
Message-ID	<[email protected]>
Bonjour Stef - number one ;),

> Bonjour Stef,
> GCC a déjà le paquetage suivant
> package System.Dwarf_Lines

Mais c'est merveilleux ça !


> L'implémentation me parait 100% Ada :-)
> Si je compile GCC 12.1 (sources GNU, pas Debian), alors le support des 
> traces symboliques est correct.

J'avoue que c'était la prochaine étape, le dépôt Alire étant en 11.2...


> J'ai souvenir qu'autrefois il y avait un patch soit dans Debian soit 
> dans FreeBSD pour lancer 'addr2line' et obtenir les traces symboliques.

Donc j'ai réinventé la roue et l'eau chaude.


> Le problème est que c'est catastrophiquement lent du fait qu'on doit 
> lancer `addr2line` pour chaque frame/line.

À l'époque mais aujourd'hui c'est instantané. Toutefois, c'est une 
approche sale.

Et puis il faut cet utilitaire addr2line dans le PATH.


> L'implémentation basée sur System.Traceback.Symbolic

Ça j'avais vu (et testé, sans résultat). Du coup, j'en étais arrivé à 
mon hack de goret.


> et System.Dwarf_Lines est assez efficace.

Effectivement, dans les sources du runtime de la 11.2, l'implémentation 
fait 1700 lignes, effective c'est du full-ada

Par contre, souci...

1) j'avais déjà testé System.Traceback.Symbolic hier (sans succès)

with Ada.Text_IO;
with Ada.Exceptions;
with GNAT.Traceback.Symbolic;

procedure Test3 is

   package TIO renames Ada.Text_IO;

   procedure Boum is
   begin
     raise Constraint_Error with "Boum";
   end Boum;

begin

   Boum;

exception
   when Err : others =>
   TIO.New_Line;
   TIO.Put_Line ("Sortie 'Ada.Exceptions.Exception_Information(Err)'");
   TIO.Put_Line (Ada.Exceptions.Exception_Information(Err));

   TIO.Put_Line ("Sortie 
'GNAT.Traceback.Symbolic.Symbolic_Traceback(Err)'");
   TIO.Put_Line (GNAT.Traceback.Symbolic.Symbolic_Traceback(Err));

end Test3;

gnatmake -g test3.adb -bargs -E

Sortie 'Ada.Exceptions.Exception_Information(Err)'
raised CONSTRAINT_ERROR : Boum
[./test3]
0x403802 test3__boum.0 at ???
0x40382a _ada_test3 at ???
0x403791 main at ???
[/lib/x86_64-linux-gnu/libc.so.6]
0x7f798544ad8e
0x7f798544ae3e
[./test3]
0x403243 _start at ???
0xfffffffffffffffe

Sortie 'GNAT.Traceback.Symbolic.Symbolic_Traceback(Err)'
[./test3]
0x403802 test3__boum.0 at ???
0x40382a _ada_test3 at ???
0x403791 main at ???
[/lib/x86_64-linux-gnu/libc.so.6]
0x7f798544ad8e
0x7f798544ae3e
[./test3]
0x403243 _start at ???
0xfffffffffffffffe

2) testé via 
https://gcc.gnu.org/onlinedocs/gnat_ugn/Symbolic-Traceback.html (les 
deux exemples, même motif, même punition).

Effectivement, dans l'adb de Symbolic_Traceback, on trouve un with 
System.Dwarf_Lines (je n'avais vu cette subtilité hier), donc ça devrait 
tourner tout seul... mais non :()

La page ci-dessus précise "Note that this feature is not supported on 
all platforms. See GNAT.Traceback.Symbolic spec in g-trasym.ads for a 
complete list of currently supported platforms.  Qui renvoie vers 
s-trasym.ads

--  Run-time symbolic traceback support

--  The full capability is currently supported on the following targets:

-- *GNU/Linux x86, x86_64*
--     Windows x86, x86_64

On est bon de ce coté.

Aurais-tu une idée :) ?

Je vais compiler GCC 12 entre temps...


-- 
Stéphane Rivière
Ile d'Oléron - France

_______________________________________________
Ada-france mailing list
[email protected]
https://mail.ada-france.org/cgi-bin/mailman/listinfo/ada-france
OpenPGP_0x68A4C5C1D498F92F.asc (application/pgp-keys, 3.1 KB)
OpenPGP_signature (application/pgp-signature, 840 B) - not displayed