comp.lang.ada
 help / color / mirror / Atom feed
From: Simon Wright <simon.j.wright@mac.com>
Subject: Re: AWS issue
Date: Sun, 18 May 2008 21:46:14 +0100
Date: 2008-05-18T21:46:14+01:00	[thread overview]
Message-ID: <m2k5hrgx2h.fsf@mac.com> (raw)
In-Reply-To: 48301857.5090609@gmail.com

Sebastien Morand <seb.morand@gmail.com> writes:

> About addr2line, here is what I got:
> $ addr2line -e hello_world 0x28188ac9 0x2818a535 0x2819196a 0x28183cac
> 0x2819bd94 0x2819e324 0x804d184 0x804d022 0x804c987??:0
> ??:0
> ??:0
> ??:0
> ??:0
> ??:0
> /mnt/programs/opt/src/AWS-gpl-2.3.0/demos/hello_world.adb:43
> /mnt/programs/opt/src/AWS-gpl-2.3.0/.build/release/demos/obj/b~hello_world.adb:447
> ??:0
>
> The problem is
> /mnt/programs/opt/src/AWS-gpl-2.3.0/.build/release/demos/obj/b~hello_world.adb
> does not exist :-)

gnatmake would normally leave it there. This is the actual main
program, constructed by gnatbind, which calls your main procedure.

The useful exception point is hello_world.adb:43.

The situation with having only a hex traceback is where our project is
all the time on an embedded system (VxWorks): even if the addr2line
code was available on the target, the symbolic traceback only works
where you have access to the unstripped executable, and we don't have
room for it on flash. So we keep the unstripped executable and run
addr2line (actually a wrapper, powerpc-wrs-vxworks-vxaddr2line) on
that. You do need to be careful with your config management, of
course!



  reply	other threads:[~2008-05-18 20:46 UTC|newest]

Thread overview: 8+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2008-05-17 21:00 AWS issue Sebastien Morand
2008-05-17 23:15 ` Samuel Tardieu
2008-05-18 10:13 ` Per Sandberg
2008-05-18 10:10   ` Ludovic Brenta
2008-05-18 11:51   ` Sebastien Morand
2008-05-18 20:46     ` Simon Wright [this message]
2008-05-18 20:59     ` Gautier
2008-05-18 17:16 ` Sebastien Morand
replies disabled

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