From mboxrd@z Thu Jan  1 00:00:00 1970
Path: eternal-september.org!news.eternal-september.org!.POSTED!not-for-mail
From: Simon Wright <simon@pushface.org>
Newsgroups: comp.lang.ada
Subject: Re: Ichbiah 2022 compiler mode
Date: Sun, 22 Dec 2024 23:06:24 +0000
Organization: A noiseless patient Spider
Message-ID: <lyr05zuxlb.fsf@pushface.org>
References: <vbc625$at65$1@dont-email.me> <vbdgs7$hedr$1@dont-email.me>
	<vk4uee$3lfp0$1@dont-email.me> <vk5tc9$3uoku$1@dont-email.me>
	<vk6tag$4tm1$1@dont-email.me> <lyv7vbvrph.fsf@pushface.org>
	<vk9cji$mbte$1@dont-email.me>
MIME-Version: 1.0
Content-Type: text/plain
Injection-Date: Mon, 23 Dec 2024 00:06:24 +0100 (CET)
Injection-Info: dont-email.me; posting-host="159987db8931e5e4b6377995f7411669";
	logging-data="891418"; mail-complaints-to="abuse@eternal-september.org";	posting-account="U2FsdGVkX1/Z3Gs5kkcrlVr9EaNfu62cBGVg+bUnqek="
User-Agent: Gnus/5.13 (Gnus v5.13)
Cancel-Lock: sha1:sKBPOpEQpV2b98ZQBtS14Athxrs=
	sha1:aD8UMWWOeloIZwtNLPR/aAcQ3qI=
Xref: news.eternal-september.org comp.lang.ada:66505
List-Id: <comp.lang.ada>

"G.B." <bauhaus@notmyhomepage.invalid> writes:

> On 22.12.24 13:15, Simon Wright wrote:
>> "G.B." <bauhaus@notmyhomepage.invalid> writes:
>> 
>>> I am seeing some warnings about non-initialized variables for a meaningless
>>> mock-up, but not much else.
>> See -gnatwk, which is included in -gnatwa. Been around for a long
>> time now.
>
> No effect of either here (gcc-14.1.0). I see a CONSTRAINT_ERROR at run time
> when using the uninitialized return value, for indexing an array.

I _meant_ to be commenting on

>>> What are some compilers offering today? That is, can they find
>>> declarations of variables that could be constants, if so instructed?

Sorry about that.