Bug#582485: gnat-4.3: symbolic tracebacks broken; raise Storage_Error

[Ludovic Brenta <ludovic@ludovic-brenta.org>]

Package: gnat-4.3
Version: 4.3.0-1
Severity: important

(from Björn Persson):

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

procedure Stack_Trace_Test is

   Oopsie : Exception;

   procedure Eledile is
   begin
      raise Oopsie with "How unfortunate!";
   end Eledile;

   procedure Crocophant is
   begin
      Eledile;
   end Crocophant;

begin
   Crocophant;
exception
   when E : others =>
      Ada.Text_IO.Put_Line(GNAT.Traceback.Symbolic.Symbolic_Traceback(E));
end Stack_Trace_Test;

$ gnatmake stack_trace_test.adb -g -bargs -E
gcc-4.3 -c -g stack_trace_test.adb
gnatbind -E -x stack_trace_test.ali
gnatlink stack_trace_test.ali -g
$ ./stack_trace_test 

Execution terminated by unhandled exception
Exception name: STORAGE_ERROR
Message: stack overflow (or erroneous memory access)
Call stack traceback locations:
0xb7e7c56b
$ addr2line --functions --exe=stack_trace_test 0xb7e7c56b
??
??:0