comp.lang.ada
 help / color / mirror / Atom feed
From: Simon Wright <simon.j.wright@mac.com>
Subject: Re: GNAT Professional machine code listings
Date: Sun, 06 May 2007 15:50:23 +0100
Date: 2007-05-06T15:50:23+01:00	[thread overview]
Message-ID: <m2hcqq2ehc.fsf@mac.com> (raw)
In-Reply-To: vFqGwaGsZMZN@eisner.encompasserve.org

Kilgallen@SpamCop.net (Larry Kilgallen) writes:

> The last I read in this newsgroup. ACT was inexorably opposed to the
> generation of machine code listing files.  For us this makes their
> offering a non-starter.  We need to be able to have a customer for
> our commercial product send back a stack dump from a production
> release of the software.  Then we need to be able to use that
> information to see exactly which instruction went south.  That makes
> GNAT Pro a non-starter as I see it.

A colleague in a similar situation (and more used to deep tracing than
I've had to be) had a lot of success using a disassembly (via objdump,
I think) of a GNAT powerpc-wrs-vxworks executable. The code we supply
is stripped (objcopy --strip-debug, I think) but so long as we keep
the unstripped executable all is well!

His problem was to determine exactly which component of a record
assignment was causing the Constraint_Error.

But in any case you have always been able to generate machine code
listings using the -S flag. OK, the .s files end up in the library
where the .o files would normally go, which can be confusing! (this is
with GNAT 3.16a1, don't know what later versions do).



  reply	other threads:[~2007-05-06 14:50 UTC|newest]

Thread overview: 95+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2007-05-04  3:01 An Ada Advice Inquiry adaworks
2007-05-04  2:23 ` ezkcdude
2007-05-04  4:15 ` tmoran
2007-05-04  5:47   ` Randy Brukardt
2007-05-04  8:47     ` roderick.chapman
2007-05-04 12:17       ` adaworks
2007-05-05  2:35         ` Fionn Mac Cumhaill
2007-05-06 10:50           ` Maciej Sobczak
2007-05-04 14:14       ` Sloan.Kohler
2007-05-04 12:16     ` adaworks
2007-05-04  4:57 ` Jeffrey R. Carter
2007-05-04  8:04 ` Maciej Sobczak
2007-05-04  8:40   ` Dmitry A. Kazakov
2007-05-04  9:08 ` Ludovic Brenta
2007-05-04 10:05   ` AW: " Grein, Christoph (Fa. ESG)
2007-05-04 11:41     ` Ludovic Brenta
2007-05-04 12:21     ` adaworks
2007-05-04 11:53       ` AW: " Grein, Christoph (Fa. ESG)
2007-05-04 12:18   ` adaworks
2007-05-04  9:22 ` Markus E Leypold
2007-05-05  5:55   ` adaworks
2007-05-06 16:21     ` Markus E Leypold
2007-05-04  9:52 ` xavier
2007-05-04 12:19   ` Maciej Sobczak
2007-05-04 12:19   ` adaworks
2007-05-04 13:59 ` Stephen Leake
2007-05-04 16:31   ` adaworks
2007-05-04 18:30     ` Pascal Obry
2007-05-04 19:10       ` Michael Bode
2007-05-04 19:22         ` Ed Falis
2007-05-04 20:22           ` Michael Bode
2007-05-04 20:51             ` Markus E Leypold
2007-05-04 21:57             ` Ed Falis
2007-05-04 22:24               ` Markus E Leypold
2007-05-05  9:59               ` Michael Bode
2007-05-05 11:37                 ` Markus E Leypold
2007-05-05 11:51                 ` Georg Bauhaus
2007-05-05 12:13                   ` Markus E Leypold
2007-05-05 12:30                   ` Michael Bode
2007-05-07  9:40                     ` Georg Bauhaus
2007-05-07 18:17                       ` Michael Bode
2007-05-07 19:39                         ` Georg Bauhaus
2007-05-04 20:03         ` Jeffrey Creem
2007-05-04 20:36           ` Michael Bode
2007-05-04 20:55           ` Markus E Leypold
2007-05-05 12:41             ` Jeffrey Creem
2007-05-05 13:24               ` Ed Falis
2007-05-05 13:31                 ` Ludovic Brenta
2007-05-05 13:40                   ` Michael Bode
2007-05-05 13:59                     ` Ludovic Brenta
2007-05-05 14:39                       ` Michael Bode
2007-05-05 14:04                   ` Ed Falis
2007-05-05 14:17                     ` Markus E Leypold
2007-05-05 14:13                 ` Markus E Leypold
2007-05-05 14:16                   ` Ed Falis
2007-05-05 14:07               ` Markus E Leypold
2007-05-04 21:16         ` adaworks
2007-05-05 23:47         ` Stephen Leake
2007-05-06 10:19           ` Michael Bode
2007-05-06 13:31           ` GNAT Professional machine code listings (was: An Ada Advice Inquiry) Larry Kilgallen
2007-05-06 14:50             ` Simon Wright [this message]
2007-05-06 15:26             ` adaworks
2007-05-04 19:59     ` An Ada Advice Inquiry Jeffrey Creem
2007-05-04 21:37       ` adaworks
2007-05-05 12:27       ` John McCormick
2007-05-05 12:45         ` Ludovic Brenta
2007-05-05 23:44     ` Stephen Leake
2007-05-06  5:00       ` adaworks
2007-05-06 10:47         ` Maciej Sobczak
2007-05-06 12:18           ` Dmitry A. Kazakov
2007-05-06 13:49             ` Pascal Obry
2007-05-06 15:47           ` adaworks
2007-05-06 15:20             ` Pascal Obry
2007-05-06 18:12               ` adaworks
2007-05-06 19:38             ` Maciej Sobczak
2007-05-07  7:07               ` Martin Krischik
2007-05-07  8:50                 ` Maciej Sobczak
2007-05-07  9:40                   ` Dmitry A. Kazakov
2007-05-07 13:00                     ` Maciej Sobczak
2007-05-07 13:58                       ` Dmitry A. Kazakov
2007-05-07 21:07                         ` Maciej Sobczak
2007-05-08  7:27                           ` Dmitry A. Kazakov
2007-05-07 16:12                       ` Martin Krischik
2007-05-07 18:38                         ` Markus E Leypold
2007-05-07 21:26                         ` Maciej Sobczak
2007-05-08  2:42                           ` Justin Gombos
2007-05-08  8:15                             ` Maciej Sobczak
2007-05-09  0:19                               ` Justin Gombos
2007-05-09  2:05                                 ` Robert A Duff
2007-05-08 10:50                             ` Markus E Leypold
2007-05-08 15:53                             ` Robert A Duff
2007-05-08 18:03                               ` Ludovic Brenta
2007-05-09  2:23                                 ` Robert A Duff
2007-05-08  6:36                           ` Martin Krischik
2007-05-08  8:32                             ` Maciej Sobczak
replies disabled

This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox