From: "Yannick Duchêne (Hibou57)" <yannick_duchene@yahoo.fr>
Subject: Re: Symbolic tracebacks on Debian
Date: Sat, 22 May 2010 13:30:28 +0200
Date: 2010-05-22T13:30:28+02:00 [thread overview]
Message-ID: <op.vc3t82hwxmjfy8@garhos> (raw)
In-Reply-To: C81D7888.14413C%yaldnif.w@blueyonder.co.uk
Le Sat, 22 May 2010 13:03:20 +0200, (see below)
<yaldnif.w@blueyonder.co.uk> a écrit:
>> Because symbolic traceback are not supported on _all_ gnat platforms, I
>> don't use them on _any_ - that way my code is portable. So I did not
>> notice this problem.
>>
>> I dump the stack trace as hex addresses, then later run addr2line
>> manually if I want the symbolic trace.
>
> Can you say exactly what the steps are to do that?
> I've never understood it + therefore never used it.
If you use GPS or don't bother to use when it is needed, here is one tool
which may help:
http://www.les-ziboux.rasama.org/addr2line2locations-tool-ada-gps-en.html
Comments welcome.
--
There is even better than a pragma Assert: a SPARK --# check.
next prev parent reply other threads:[~2010-05-22 11:30 UTC|newest]
Thread overview: 37+ messages / expand[flat|nested] mbox.gz Atom feed top
2010-05-14 13:16 About static libraries and Debian policy Dmitry A. Kazakov
2010-05-14 14:57 ` sjw
2010-05-14 15:29 ` Dmitry A. Kazakov
2010-05-14 18:43 ` Ludovic Brenta
2010-05-14 19:54 ` Dmitry A. Kazakov
2010-05-14 20:38 ` Ludovic Brenta
2010-05-15 7:46 ` Dmitry A. Kazakov
2010-05-15 10:07 ` Ludovic Brenta
2010-05-15 11:07 ` Simon Wright
2010-05-15 21:48 ` Ludovic Brenta
2010-05-16 10:13 ` Simon Wright
2010-05-16 10:31 ` Ludovic Brenta
2010-05-19 21:59 ` Björn Persson
2010-05-20 7:20 ` Symbolic tracebacks on Debian (Was: About static libraries and Debian policy) Ludovic Brenta
2010-05-20 8:38 ` Alex R. Mosteo
2010-05-21 12:26 ` Ludovic Brenta
2010-05-25 8:39 ` Symbolic tracebacks on Debian Ludovic Brenta
2010-05-20 14:04 ` Symbolic tracebacks on Debian (Was: About static libraries and Debian policy) Dmitry A. Kazakov
2010-05-21 8:52 ` Symbolic tracebacks on Debian Stephen Leake
2010-05-22 11:03 ` (see below)
2010-05-22 11:25 ` Simon Wright
2010-05-22 21:37 ` (see below)
2010-05-23 13:28 ` Stephen Leake
2010-05-23 15:52 ` Simon Wright
2010-05-23 18:35 ` (see below)
2010-05-23 19:46 ` Simon Wright
2010-05-24 9:04 ` Stephen Leake
2010-05-24 19:14 ` Simon Wright
2010-05-25 2:13 ` Stephen Leake
2010-05-25 9:02 ` Alex R. Mosteo
2010-05-25 19:16 ` Simon Wright
2010-05-26 7:30 ` Stephen Leake
2010-05-24 9:03 ` Stephen Leake
2010-05-22 11:30 ` Yannick Duchêne (Hibou57) [this message]
2010-05-22 13:20 ` Björn Persson
2010-05-22 13:56 ` Dmitry A. Kazakov
2010-05-22 12:53 ` Symbolic tracebacks on Debian (Was: About static libraries and Debian policy) Björn Persson
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox