[Bug ada/67836] New: Exceptions with tracebacks in task rendezvous cause STORAGE_ERROR

[nicolas.boulenguez at free dot fr]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=67836

            Bug ID: 67836
           Summary: Exceptions with tracebacks in task rendezvous cause
                    STORAGE_ERROR
           Product: gcc
           Version: 5.2.1
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: ada
          Assignee: unassigned at gcc dot gnu.org
          Reporter: nicolas.boulenguez at free dot fr
  Target Milestone: ---

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

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 compiles and run without tracebacks in exception occurrences. 
If compiled with tracebacks:
# gnatmake -v main -bargs -E
it produces the following result:
# Execution terminated by unhandled exception
# Exception name: STORAGE_ERROR
# Message: s-intman.adb:139 explicit raise

The whole story can be found at https://bugs.debian.org/666106.