From mboxrd@z Thu Jan  1 00:00:00 1970
X-Spam-Checker-Version: SpamAssassin 3.4.6 (2021-04-09) on
	ip-172-31-65-14.ec2.internal
X-Spam-Level: 
X-Spam-Status: No, score=-1.9 required=3.0 tests=BAYES_00,FREEMAIL_FROM,
	T_SCC_BODY_TEXT_LINE autolearn=ham autolearn_force=no version=3.4.6
X-Received: by 2002:a05:620a:2909:b0:6ee:6c83:9769 with SMTP id m9-20020a05620a290900b006ee6c839769mr1567843qkp.732.1667003719000;
        Fri, 28 Oct 2022 17:35:19 -0700 (PDT)
X-Received: by 2002:a05:622a:1355:b0:39c:d13a:1e01 with SMTP id
 w21-20020a05622a135500b0039cd13a1e01mr1922114qtk.596.1667003718878; Fri, 28
 Oct 2022 17:35:18 -0700 (PDT)
Path: eternal-september.org!reader01.eternal-september.org!usenet.blueworldhosting.com!feed1.usenet.blueworldhosting.com!peer02.iad!feed-me.highwinds-media.com!news.highwinds-media.com!news-out.google.com!nntp.google.com!postnews.google.com!google-groups.googlegroups.com!not-for-mail
Newsgroups: comp.lang.ada
Date: Fri, 28 Oct 2022 17:35:18 -0700 (PDT)
In-Reply-To: <tjdrlq$2olii$1@dont-email.me>
Injection-Info: google-groups.googlegroups.com; posting-host=174.26.235.106; posting-account=x5rpZwoAAABMN2XPwcebPWPkebpwQNJG
NNTP-Posting-Host: 174.26.235.106
References: <t7ktsu$178$1@dont-email.me> <f22b1f5b-e436-412e-94ba-8cb177764a31n@googlegroups.com>
 <3bc7a99c-d541-497b-b3fd-7a6db0ee0de9n@googlegroups.com> <574017e3-d354-41b9-87a1-1f3aa6edf4a2n@googlegroups.com>
 <t7pour$50r$1@gioia.aioe.org> <tjdrlq$2olii$1@dont-email.me>
User-Agent: G2/1.0
MIME-Version: 1.0
Message-ID: <371ba8ca-2304-4e8a-a77f-82548d706105n@googlegroups.com>
Subject: Re: Extra information in the message string of exceptions.
From: Jerry <list_email@icloud.com>
Injection-Date: Sat, 29 Oct 2022 00:35:18 +0000
Content-Type: text/plain; charset="UTF-8"
X-Received-Bytes: 2656
Xref: reader01.eternal-september.org comp.lang.ada:64564
List-Id: <comp.lang.ada>

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