Re: Possible GNAT bug, but wanted to see if it was a violtion of the RM

[Jere <jhb.chat@gmail.com>]

On Friday, February 23, 2018 at 4:17:02 AM UTC-5, Simon Wright wrote:
> I don't know if it helps, but running under the debugger (GCC 8.0.1,
> macOS) show the first exception is
> 
> Catchpoint 1, PROGRAM_ERROR (Main.Composite.Vectors.Implementation.TC_Check: attempt to tamper with cursors) at __gnat_debug_raise_exception (
>     e=0x10003eaa0 <program_error>, message=...) at s-excdeb.adb:40
> 40	s-excdeb.adb: No such file or directory.
> (gdb) bt
> #0  __gnat_debug_raise_exception (e=0x10003eaa0 <program_error>, message=...)
>     at s-excdeb.adb:40
> #1  0x0000000100011cdd in ada__exceptions__complete_occurrence (x=0x1003020f0)
>     at a-except.adb:931
> #2  0x0000000100011ced in ada__exceptions__complete_and_propagate_occurrence (
>     x=0x1003020f0) at a-except.adb:942
> #3  0x0000000100011d42 in __gnat_raise_exception (
>     e=0x10003eaa0 <program_error>, message=...) at a-except.adb:984
> #4  0x0000000100006f27 in main.composite.vectors.implementation.tc_check ()
> #5  0x0000000100008e11 in main.composite.vectors.finalize ()
> #6  0x000000010000fe19 in main__composite__instanceDF.7589 ()
> #7  0x0000000100010250 in main___finalizer.4676 ()
> #8  0x0000000100006c20 in main ()

Side question:
I wasn't able to get the GPL debugger to trigger on the exception.  I tried
stepping through the program but the application just exits at the end
without the debug info.  I tried putting an exception handler and break
point in that, but it never catches the exception (so either I am not
allowed to catch Program_Error or the exception happens outside of my
main operation).

How did you get the debugger to provide that info?