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=-0.0 required=3.0 tests=BAYES_40,FREEMAIL_FROM,
	T_SCC_BODY_TEXT_LINE autolearn=ham autolearn_force=no version=3.4.6
X-Received: by 2002:a37:a215:0:b0:6a6:ab29:a54e with SMTP id l21-20020a37a215000000b006a6ab29a54emr14982651qke.458.1654673473254;
        Wed, 08 Jun 2022 00:31:13 -0700 (PDT)
X-Received: by 2002:a81:4c8e:0:b0:300:37ba:2c1e with SMTP id
 z136-20020a814c8e000000b0030037ba2c1emr37388417ywa.141.1654673473062; Wed, 08
 Jun 2022 00:31:13 -0700 (PDT)
Path: eternal-september.org!reader01.eternal-september.org!reader02.eternal-september.org!usenet.blueworldhosting.com!feed1.usenet.blueworldhosting.com!peer03.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: Wed, 8 Jun 2022 00:31:12 -0700 (PDT)
In-Reply-To: <3bc7a99c-d541-497b-b3fd-7a6db0ee0de9n@googlegroups.com>
Injection-Info: google-groups.googlegroups.com; posting-host=174.26.236.234; posting-account=x5rpZwoAAABMN2XPwcebPWPkebpwQNJG
NNTP-Posting-Host: 174.26.236.234
References: <t7ktsu$178$1@dont-email.me> <f22b1f5b-e436-412e-94ba-8cb177764a31n@googlegroups.com>
 <3bc7a99c-d541-497b-b3fd-7a6db0ee0de9n@googlegroups.com>
User-Agent: G2/1.0
MIME-Version: 1.0
Message-ID: <574017e3-d354-41b9-87a1-1f3aa6edf4a2n@googlegroups.com>
Subject: Re: Extra information in the message string of exceptions.
From: Jerry <list_email@icloud.com>
Injection-Date: Wed, 08 Jun 2022 07:31:13 +0000
Content-Type: text/plain; charset="UTF-8"
X-Received-Bytes: 1989
Xref: reader02.eternal-september.org comp.lang.ada:63952
List-Id: <comp.lang.ada>

On Tuesday, June 7, 2022 at 8:56:00 AM UTC-7, Fabien Chouteau wrote:
> On Monday, June 6, 2022 at 3:40:38 PM UTC+2, Fabien Chouteau wrote: 
> > But this feature could be activated with a switch only when needed.
> Well, it turns our this is already implemented in GNAT ^^ 
> 
> Example here: https://godbolt.org/z/fcTEaq3xP
Indeed. The switch is -GNATeE. It provides additional information for the program at that page, 

procedure Main is
   procedure Test (A : Integer) is
      type T is range 0 .. 42;
   begin
      Ada.Text_IO.Put_Line (T (A)'Img);
   end;
begin
   Test (-1);
end Main;

But has no effect on this program;

procedure CE_2 is
    i : Positive;
    j : Integer := 1;    
begin
    i := -j;
end CE_2;

Jerry