Bug#666106: kfreebsd-i386: Exceptions with tracebacks in task rendezvous cause STORAGE_ERROR

[Reto Buerki <reet@codelabs.ch>]

Package: gnat-4.6
Version: 4.6.3-2
Severity: normal

Hi,

Exceptions with tracebacks enabled (gnatbind -E switch) cause a
STORAGE_ERROR on kfreebsd-i386 when raised in a task rendezvous.

Simple reproducer:

procedure Main
is
   task Test_Task is
      entry Rendezvous;
   end Test_Task;

   task body Test_Task is
   begin
      accept Rendezvous do
         raise Constraint_Error with "Some error occurred";
      end Rendezvous;
   end Test_Task;
begin
   Test_Task.Rendezvous;
end Main;

This code works fine without tracebacks in exception occurrences. Enabling tracebacks:

package Binder is
   for Default_Switches ("ada") use ("-E");
end Binder;

This produces the following result:

Execution terminated by unhandled exception
Exception name: STORAGE_ERROR
Message: s-intman.adb:139 explicit raise
Call stack traceback locations:
0x2808c27b

gdb backtrace:
Program received signal ?, Unknown signal.
0x283bcd67 in __pthread_sigsuspend () from /lib/i386-kfreebsd-gnu/libpthread.so.0
(gdb) bt
#0  0x283bcd67 in __pthread_sigsuspend () from /lib/i386-kfreebsd-gnu/libpthread.so.0
#1  0x283bbd48 in __pthread_wait_for_restart_signal () from /lib/i386-kfreebsd-gnu/libpthread.so.0
#2  0x283bccb2 in pthread_create@@GLIBC_2.3 () from /lib/i386-kfreebsd-gnu/libpthread.so.0
#3  0x2808e6d7 in system__task_primitives__operations__create_task () from /usr/lib/i386-kfreebsd-gnu/libgnarl-4.6.so.1
#4  0x2809488f in system__tasking__stages__activate_tasks () from /usr/lib/i386-kfreebsd-gnu/libgnarl-4.6.so.1
#5  0x0804a26b in _ada_main ()

The signal ? looks suspicious, but I'm not sure if this is another problem on this arch.

Regards,
- reto

-- System Information:
Debian Release: wheezy/sid
  APT prefers testing
  APT policy: (500, 'testing')
Architecture: kfreebsd-i386 (i386)

Kernel: kFreeBSD 8.2-1-686
Locale: LANG=en_US.UTF-8, LC_CTYPE=en_US.UTF-8 (charmap=UTF-8)
Shell: /bin/sh linked to /bin/dash

Versions of packages gnat-4.6 depends on:
ii  gcc-4.6            4.6.3-1
ii  gnat-4.6-base      4.6.3-2
ii  libc0.1            2.13-27
ii  libc0.1-dev        2.13-27
ii  libgcc1            1:4.6.3-1
ii  libgmp10           2:5.0.4+dfsg-1
ii  libgnat-4.6        4.6.3-2
ii  libgnatprj4.6      4.6.3-2
ii  libgnatvsn4.6      4.6.3-2
ii  libmpc2            0.9-4
ii  libmpfr4           3.1.0-4
ii  multiarch-support  2.13-27
ii  zlib1g             1:1.2.6.dfsg-2

gnat-4.6 recommends no packages.

Versions of packages gnat-4.6 suggests:
pn  ada-reference-manual-html  <none>
pn  ada-reference-manual-info  <none>
pn  ada-reference-manual-pdf   <none>
pn  ada-reference-manual-text  <none>
pn  gnat-4.6-doc               <none>
pn  gnat-4.6-sjlj              <none>

-- no debconf information