Package: gnat-5
Followup-For: Bug #666106
With gnat-6/6.1.1-8, the following reproducer should display "No bug."
and causes a segmentation fault instead. This is most probably a new
symptom for the same issue.
# r.adb:
with Ada.Text_IO; use Ada.Text_IO;
procedure R is
F : File_Type;
begin
Package: gnat-4.9
Followup-For: Bug #666106
Control: reassign -1 gnat-5 5.2.1-18
The message is "s-intman.adb:139 explicit raise" again.
Package: gnat-4.8
Followup-For: Bug #666106
Control: reassign -1 gnat-4.9 4.9.0-1
On fischer.debian.org, -E has no effect. This is a bug by itself.
(sid_kfreebsd-i386)$ gnatclean -q main gnatmake main ./main
gcc-4.9 -c main.adb
gnatbind -x main.ali
gnatlink main.ali
raised CONSTRAINT_ERROR :
Package: gnat-4.6
Followup-For: Bug #666106
Control: reassign -1 gnat-4.8 4.8.2-8
Same symptoms on fischer.debian.org (s-intman.adb:139), but signal is
named as SIGSEGV. Backtrace:
0x2834bd7b in __gnat_backtrace ()
from /usr/lib/i386-kfreebsd-gnu/libgnat-4.8.so.1
(gdb) backtrace
#0
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
5 matches
Mail list logo