Re: Ichbiah 2022 compiler mode

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.