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-74-118.ec2.internal
X-Spam-Level: 
X-Spam-Status: No, score=-1.9 required=3.0 tests=BAYES_00 autolearn=ham
	autolearn_force=no version=3.4.6
Path: eternal-september.org!reader02.eternal-september.org!aioe.org!Lx7EM+81f32E0bqku+QpCA.user.46.165.242.75.POSTED!not-for-mail
From: "Luke A. Guest" <laguest@archeia.com>
Newsgroups: comp.lang.ada
Subject: Re: Not good for Ada endorsement
Date: Fri, 23 Jul 2021 18:12:32 +0100
Organization: Aioe.org NNTP Server
Message-ID: <sdetav$sjh$1@gioia.aioe.org>
References: <cd296b88-2e0a-403f-82c7-973e41fa7331n@googlegroups.com>
 <sc4fuo$8vn$1@gioia.aioe.org> <e9hbeg9014he87s6kbrkinrt4tre1cfgqc@4ax.com>
 <ly8s2iorpl.fsf@pushface.org> <5a1cegtfm5ibqej3ldebpc4g99ujniqt9u@4ax.com>
 <a0080e82-2f52-4fd7-9c44-6bc2d8f0664bn@googlegroups.com>
 <sc6cgh$9vu$1@dont-email.me> <sc6kqh$1sj$1@dont-email.me>
 <sc6lba$1vma$1@gioia.aioe.org> <sc6mit$ddv$1@dont-email.me>
 <sc7d65$1kcq$1@gioia.aioe.org>
 <d4b4342e-b2ef-4ed3-a586-85b4c5c8bd9dn@googlegroups.com>
 <sc9458$2rq$1@dont-email.me> <sc94dv$2rq$2@dont-email.me>
 <0e6ee3e9-baad-47b3-872b-90ec6c735920n@googlegroups.com>
 <scplrl$npm$1@dont-email.me>
 <73f3c6be-8de5-4ad7-a420-d33866d3c87bn@googlegroups.com>
 <aa90a8ba-2187-46c3-b15f-5a0fb6963df6n@googlegroups.com>
Mime-Version: 1.0
Content-Type: text/plain; charset=utf-8; format=flowed
Content-Transfer-Encoding: 7bit
Injection-Info: gioia.aioe.org; logging-data="29297"; posting-host="Lx7EM+81f32E0bqku+QpCA.user.gioia.aioe.org"; mail-complaints-to="abuse@aioe.org";
User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:78.0) Gecko/20100101
 Thunderbird/78.12.0
X-Notice: Filtered by postfilter v. 0.9.2
Content-Language: en-GB
Xref: reader02.eternal-september.org comp.lang.ada:62423
List-Id: <comp.lang.ada>


On 23/07/2021 18:04, Anh Vo wrote:

>> Should fixed lower bound index array (-gnatX) speed it up?
> 
> Indeed, it does. As posted on Reddit Ada, I got 5476 Passes after changing array types to arrays having fixed lower bound index of 0 on lines 9 and 10 and compiling it using switch -gnatX -02. By the way, I used GNAT Studio 2021 running on Windows 10.
> 

I as I stated that flag enables gnat extensions, usually the next 
language revision. I'm on the FSF compiler, the dockerfile is set of gcc 11.