From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: by sourceware.org (Postfix, from userid 1328) id 39521385842E; Tue, 12 Apr 2022 08:52:14 +0000 (GMT) DKIM-Filter: OpenDKIM Filter v2.11.0 sourceware.org 39521385842E To: gcc-cvs-wwwdocs@gcc.gnu.org Subject: gcc-wwwdocs branch master updated. 3ef70e31b37efaa93cff05c4c9175e15f6bdd7aa X-Git-Refname: refs/heads/master X-Git-Reftype: branch X-Git-Oldrev: 9f9c0a8589c2df97cedf7720f3595c58d5143ce0 X-Git-Newrev: 3ef70e31b37efaa93cff05c4c9175e15f6bdd7aa Message-Id: <20220412085214.39521385842E@sourceware.org> Date: Tue, 12 Apr 2022 08:52:14 +0000 (GMT) From: Arnaud Charlet X-BeenThere: gcc-cvs-wwwdocs@gcc.gnu.org X-Mailman-Version: 2.1.29 Precedence: list List-Id: Gcc-cvs-wwwdocs mailing list List-Unsubscribe: , List-Archive: List-Help: List-Subscribe: , X-List-Received-Date: Tue, 12 Apr 2022 08:52:14 -0000 This is an automated email from the git hooks/post-receive script. It was generated because a ref change was pushed to the repository containing the project "gcc-wwwdocs". The branch, master has been updated via 3ef70e31b37efaa93cff05c4c9175e15f6bdd7aa (commit) from 9f9c0a8589c2df97cedf7720f3595c58d5143ce0 (commit) Those revisions listed above that are new to this repository have not appeared on any other notification email; so we list those revisions in full, below. - Log ----------------------------------------------------------------- commit 3ef70e31b37efaa93cff05c4c9175e15f6bdd7aa Author: Arnaud Charlet Date: Tue Apr 12 08:51:28 2022 +0000 Further edit Ada changes for GCC 12 diff --git a/htdocs/gcc-12/changes.html b/htdocs/gcc-12/changes.html index 91397cf5..3c7a3649 100644 --- a/htdocs/gcc-12/changes.html +++ b/htdocs/gcc-12/changes.html @@ -191,12 +191,9 @@ a work-in-progress.

2022 compliance. The old -gnat2020 flag is now deprecated.
  • Support for Big Numbers (Annex G) has seen continuous - improvements. It is now cosidered complete. It is also proven to - be correct through the use of contracts and SPARK.
    • -
  • Continuous improvements to the Ada 2022 standard since GCC - 11. The main missing feature is support for the new - parallel keyword. However, some initial support has - already been put in place.
    • + improvements. It is now considered complete. It is compatible with + SPARK, i.e. can be used from SPARK code. +
  • Continuous improvements to the Ada 2022 standard since GCC 11.
  • Greatly improved compile time support. More functions can now have the with Static aspect and can be used in more contexts.
    • ----------------------------------------------------------------------- Summary of changes: htdocs/gcc-12/changes.html | 9 +++------ 1 file changed, 3 insertions(+), 6 deletions(-) hooks/post-receive -- gcc-wwwdocs