Re: Extra information in the message string of exceptions.

[Rod Kay <rodakay5@gmail.com>]

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