Re: Extra information in the message string of exceptions.

[Jerry <list_email@icloud.com>]

On Thursday, October 27, 2022 at 4:57:08 AM UTC-7, roda...@gmail.com wrote:
> On 8/6/22 19:08, Dmitry A. Kazakov wrote: 
> > On 2022-06-08 09:31, Jerry wrote: 
> > 
> >> But has no effect on this program; 
> >> 
> >> procedure CE_2 is 
> >>      i : Positive; 
> >>      j : Integer := 1; 
> >> begin 
> >>      i := -j; 
> >> end CE_2; 
> > 
> > I noticed that it requires a user-defined [sub]type AND nested subprogram: 
> > 
> >    procedure Test (A : Integer) is 
> >       subtype T is Integer range 0 .. 42; 
> >       i : T; 
> >    begin 
> >       i := A; -- This will work 
> >    end; 
> > begin 
> >    Test (-1); 
> >
> Are you sure about this ? 
> 
> I tried ... 
> 
> 
> procedure Example 
> is 
> X : Positive := 5; 
> begin 
> loop 
> X := X - 1; 
> end loop; 
> end Example; 
> 
> 
> ... with the -gnateE and saw this result ... 
> 
> 
> [rod@orth example]$ ./example 
> 
> raised CONSTRAINT_ERROR : example.adb:6:14 range check failed 
> value 0 not in 1..2147483647 
> [./example] 
> 0x55916975377f Example at example.adb:6 
> 0x559169753b74 Main at b__example.adb:193 
> [/usr/lib/libc.so.6] 
> 0x7f9230be728e 
> 0x7f9230be7348 
> [./example] 
> 0x559169753623 _start at start.S:115 
> 0xfffffffffffffffe

So -gnateE works part of the time?
Jerry