Re: problem with Gnat.Traceback.Symbolic on linux with Gnat 3.14p ?

[Simon Wright <simon@pushface.org>]

"nicolas" <n.brunot@cadwin.com> writes:

> "Simon Wright" <simon@pushface.org> a �crit dans le message news:
> x7vwuvwbjm7.fsf@smaug.pushface.org...
> > "nicolas" <n.brunot@cadwin.com> writes:
> >
> > > I have problems with Gnat.Traceback.Symbolic on Linux RedHAT 7.2 and
> > > Gnat 3.14p
> > >
> > > the command issued is
> > > gnatmake -f -funwind-tables -g test_trace.adb -bargs -E
> >
> > Not sure why you've said -funwind-tables ?
> 
> I think I didn't use it with Gnat 3.13p and read somewhere that it is not
> required.
> But since Traceback doesn't work with Gnat 3.14 p , I followed what the Gnat
> user's guide says (without success ...)
> 
> -E
> Store tracebacks in exception occurrences when the target supports it. This
> is the default with the zero cost exception mechanism. This option is
> currently only supported on Solaris, Linux and Windows ix86. Under Solaris
> and Linux you need to use explicitly the gcc flag -funwind-tables when
> compiling every file in your application. See also the packages
> GNAT.Traceback and GNAT.Traceback.Symbolic. Under Windows there is no
> specific option to use to enable this feature but you must not
> use -fomit-frame-pointer gcc option.

I know I'm using Slackware (7.1) and home-compiled GNATso my mileage
will vary from yours, but I get eg

   procedure Trace is
      procedure R (Depth : Integer);
      procedure R (Depth : Integer) is
      begin
         if Depth = 0 then
            raise Constraint_Error;
         else
            R (Depth - 1);
         end if;
      end R;
   begin
      R (10);
   end Trace;

compilation (with 3.14a1):

   smaug[19]$ GNAT_PREFIX=/opt/3.14a1 gnatmake trace -f -g -bargs -E
   gcc -c -g trace.adb
   gnatbind -aO./ -E -I- -x trace.ali
   gnatlink -g trace.ali

execution:
   smaug[20]$ trace

   Execution terminated by unhandled exception
   Exception name: CONSTRAINT_ERROR
   Message: trace.adb:6
   Call stack traceback locations:
   0x8049217 0x804922b 0x804922b 0x804922b 0x804922b 0x804922b 0x804922b 0x804922b 0x804922b 0x804922b 0x804922b 0x8049242 0x80491c9 0x40030575

traceback:
   smaug[21]$ addr2line -e trace 0x8049217 0x804922b 0x804922b 0x804922b 0x804922b 0x804922b 0x804922b 0x804922b 0x804922b 0x804922b 0x804922b 0x8049242 0x80491c9 0x40030575
   /home/simon/tmp/trace.adb:6
   /home/simon/tmp/trace.adb:8
   /home/simon/tmp/trace.adb:8
   /home/simon/tmp/trace.adb:8
   /home/simon/tmp/trace.adb:8
   /home/simon/tmp/trace.adb:8
   /home/simon/tmp/trace.adb:8
   /home/simon/tmp/trace.adb:8
   /home/simon/tmp/trace.adb:8
   /home/simon/tmp/trace.adb:8
   /home/simon/tmp/trace.adb:8
   /home/simon/tmp/trace.adb:12
   /home/simon/tmp/b~trace.adb:95
   /home/simon/gcc-2.8.1/./frame.c:0