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.1 required=3.0 tests=BAYES_00,FROM_SUSPICIOUS_NTLD,
	FROM_SUSPICIOUS_NTLD_FP,PDS_OTHER_BAD_TLD autolearn=no
	autolearn_force=no version=3.4.6
Path: eternal-september.org!reader02.eternal-september.org!aioe.org!8KeuxbixIu8pyD1r33Cwzw.user.46.165.242.75.POSTED!not-for-mail
From: Fernando Oleo Blanco <irvise_ml@irvise.xyz>
Newsgroups: comp.lang.ada
Subject: Re: GCC release notes, aka, Ada is still alive!
Date: Mon, 25 Oct 2021 20:47:05 +0200
Organization: Aioe.org NNTP Server
Message-ID: <sl6u3a$1lvn$1@gioia.aioe.org>
References: <sk20ge$1gv5$1@gioia.aioe.org> <skokpc$1ubl$1@gioia.aioe.org>
 <skptc1$r8f$1@gioia.aioe.org>
Mime-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 7bit
Injection-Info: gioia.aioe.org; logging-data="55287"; posting-host="8KeuxbixIu8pyD1r33Cwzw.user.gioia.aioe.org"; mail-complaints-to="abuse@aioe.org";
User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:91.0) Gecko/20100101
 Thunderbird/91.2.1
X-Notice: Filtered by postfilter v. 0.9.2
Content-Language: en-US
Xref: reader02.eternal-september.org comp.lang.ada:63084
List-Id: <comp.lang.ada>

Diff: add to GCC 12 the deletion of gnatxref and gnatfind (the patch was 
posted today in the ML). The -gnat2020 has been commented too in GCC 10 
and -gnat2022 in GCC 12. Also, we have explicit permission by Arnaud to 
copy as much code as necessary from AdaCore's blog.

LIST OF CHANGES

GCC 12
- Introduction of the -gnat2022 flag in gnatmake (-gnat2020 is a 
deprecated alias).
- gnatfind and gnatxref tools have been deleted. They have been 
deprecated for years and have been substituted by gprbuild tools.
- Further library improvements in both quality and performance.
- The use of contracts has been extended in the "Ada library" allowing 
for further checks at runtime or a deeper static analysis with the SPARK 
prover.
- Further improvements to embedded systems such as VxWorks and RTMS. 
CHECK maybe be more specific/generic.

GCC 11
- Better Ada 2022 support. The parallel keyword is still unsupported.
- TODO name the additional features. See [1], obviously, with some code 
examples.
- Addition of the Jorvik profile. CHECK, see [2], maybe code examples?
- Additional non-standard features [3]. CHECK if this applies to GCC 11 
or 12.
- A bug was fixed were previous GCC versions allowed XXX construct 
CHECK. This is not allowed by the standard. Some software was making use 
of XXX (which is, once again, not allowed) and it has to be patched.
- General library improvements in both clarity and performance.
- The use of contracts has been extended in the "Ada library" allowing 
for further checks at runtime or a deeper static analysis with the SPARK 
prover.
- Further improvements to embedded systems such as VxWorks and RTMS. 
CHECK maybe be more specific/generic.


GCC 10
- Introduction of the -gnat2020 flag in gnatmake (-gnat2020 is 
deprecated alias). It enables newer features present in Ada 2022 (still 
to be ratified). This features are still experimental.
- Some Ada 2022 features are available already with the use of the 
-gnatX (gnat eXtensions switch).
-

GCC 9
-
-

Cheers,
-- 
Fernando Oleo Blanco
https://irvise.xyz