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_20,FREEMAIL_FROM,
	T_SCC_BODY_TEXT_LINE autolearn=ham autolearn_force=no version=3.4.6
X-Received: by 2002:a05:620a:2905:b0:6ee:e598:a973 with SMTP id m5-20020a05620a290500b006eee598a973mr2167305qkp.338.1667025002244;
        Fri, 28 Oct 2022 23:30:02 -0700 (PDT)
X-Received: by 2002:a05:622a:550:b0:39c:f017:4b0c with SMTP id
 m16-20020a05622a055000b0039cf0174b0cmr2551759qtx.452.1667025002097; Fri, 28
 Oct 2022 23:30:02 -0700 (PDT)
Path: eternal-september.org!reader01.eternal-september.org!aioe.org!i2pn.org!weretis.net!feeder6.news.weretis.net!1.us.feeder.erje.net!3.us.feeder.erje.net!feeder.erje.net!border-1.nntp.ord.giganews.com!nntp.giganews.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 23:30:01 -0700 (PDT)
In-Reply-To: <tji5i6$3bjhn$3@dont-email.me>
Injection-Info: google-groups.googlegroups.com; posting-host=2a02:1210:282b:1d00:417d:2318:383b:f13c;
 posting-account=gRqrnQkAAAAC_02ynnhqGk1VRQlve6ZG
NNTP-Posting-Host: 2a02:1210:282b:1d00:417d:2318:383b:f13c
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>
 <371ba8ca-2304-4e8a-a77f-82548d706105n@googlegroups.com> <tji5i6$3bjhn$3@dont-email.me>
User-Agent: G2/1.0
MIME-Version: 1.0
Message-ID: <cc7b931e-db4e-499e-aa17-5a14517e293fn@googlegroups.com>
Subject: Re: Extra information in the message string of exceptions.
From: Gautier write-only address <gautier_niouzes@hotmail.com>
Injection-Date: Sat, 29 Oct 2022 06:30:02 +0000
Content-Type: text/plain; charset="UTF-8"
Xref: reader01.eternal-september.org comp.lang.ada:64566
List-Id: <comp.lang.ada>

> One exception is the following ... 
> 
> procedure Example 
> is 
> X : Positive := 0 with Unreferenced; 
> begin 
> null; 
> end Example; 
> 
> ... which shows a compile time warning ... 
> [...]
> I'm a little surprised that the compiler shows a warning rather than 
> an error but I suppose there must be some reason for that.

HAC (and perhaps other compilers) is stricter on that point:
procedure Example is
   X : Positive := 0;
begin
   null;
end Example;

example.adb: 2:20-21: error in range constraint: value of expression (0) is out the destination's range, 1 .. 9223372036854775807
E