Ok the bug is trivial once I peek into the core dump:
No, you're missing it, I think. When you're in GDB, what it does is raises an explicit constraint error due to Int'Value, which is what's expected. However, for some reason when not under GDB, the handling of the exception causes some SIGSEGV.
