When I run the tests in gdb, I get this stacktrace:
(gdb) bt
#0 0x40d5cfd4 in system__secondary_stack__ss_mark () from
/usr/lib/libgnat-4.3.so.1
#1 0x40be1790 in ada__exceptions__exception_traces__notify_exceptionXn ()
from /usr/lib/libgnat-4.3.so.1
#2 0x40be19c0 in __gnat_notify_unhandled_exception () from
/usr/lib/libgnat-4.3.so.1
#3 0x40be16b4 in
ada__exceptions__exception_propagation__propagate_exceptionXn ()
from /usr/lib/libgnat-4.3.so.1
#4 0x40be2584 in __gnat_raise_nodefer_with_msg () from
/usr/lib/libgnat-4.3.so.1
#5 0x40be2634 in __gnat_raise_exception () from /usr/lib/libgnat-4.3.so.1
#6 0x40d60f44 in _gnat_stack_check () from /usr/lib/libgnat-4.3.so.1
#7 0x00020288 in main (argc=1, argv=(system.address) 0x1,
envp=(system.address) 0x40fb4fb8)
at /home/paulproteus/alog/libalog-0.1/obj/b~runner.adb:524
#8 0x40e975a4 in __libc_start_main () from /lib/libc.so.6
#9 0x0001f358 in _start ()
(gdb)
This looks to me like a libgnat-4.3.so.1 bug.
-- Asheesh.
--
Q: What do monsters eat?
A: Things.
Q: What do monsters drink?
A: Coke. (Because Things go better with Coke.)
--
To UNSUBSCRIBE, email to debian-bugs-rc-requ...@lists.debian.org
with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org
