From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: by sourceware.org (Postfix, from userid 1328) id C23EA3857C44; Mon, 11 Apr 2022 09:00:30 +0000 (GMT) DKIM-Filter: OpenDKIM Filter v2.11.0 sourceware.org C23EA3857C44 To: gcc-cvs-wwwdocs@gcc.gnu.org Subject: gcc-wwwdocs branch master updated. 9f9c0a8589c2df97cedf7720f3595c58d5143ce0 X-Git-Refname: refs/heads/master X-Git-Reftype: branch X-Git-Oldrev: 47ded46f26e19d56aae87c621e2752095ec73c35 X-Git-Newrev: 9f9c0a8589c2df97cedf7720f3595c58d5143ce0 Message-Id: <20220411090030.C23EA3857C44@sourceware.org> Date: Mon, 11 Apr 2022 09:00:30 +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: Mon, 11 Apr 2022 09:00:30 -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 9f9c0a8589c2df97cedf7720f3595c58d5143ce0 (commit) from 47ded46f26e19d56aae87c621e2752095ec73c35 (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 9f9c0a8589c2df97cedf7720f3595c58d5143ce0 Author: Fernando Oleo Blanco Date: Mon Apr 11 08:59:22 2022 +0000 Add Ada's entry in the v12 changelog diff --git a/htdocs/gcc-12/changes.html b/htdocs/gcc-12/changes.html index 51d01418..91397cf5 100644 --- a/htdocs/gcc-12/changes.html +++ b/htdocs/gcc-12/changes.html @@ -183,7 +183,83 @@ a work-in-progress.

- +

Ada

+
    +
  • Ada 2022 +
      +
    • Added the -gnat2022 flag to indicate strict Ada + 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.
      • +
    • Greatly improved compile time support. More functions can now + have the with Static aspect and can be used in more + contexts.
      • +
    +
    • +
  • Ada 2022 extensions. The use of the -gnatX flag is + necessary to access these features as they are not considered + stable or standard. +
      +
    • Fixed lower bound for unconstrained arrays. +
        +
      • type Matrix is array (Natural range 0 .. <>, Natural + range 0 .. <>) of Integer; is now valid.
        • +
      • Subtypes can also specify a lower bound: subtype + String_1 is String (1 .. <>);. Boundaries from slices + will "slide" to the correct lower bound of the subtype.
        • +
      +
      • +
    • Generalized Object.Operand notation. The follwing + code is now valid V.Add_Element(42);, + with V being a vector, for example.
      • +
    • Additional when constructs. Keywords + return, goto and raise + can now use when in addition to the existing + exit when. The following expression is therefore + now valid raise Constraint_Error with "Element is null" + when Element = null;
      • +
    • Pattern matching
      • +
        +
      • The case statement has been extended to cover + records and arrays as well as finer grained casing on scalar + types. In the future it is expected to provide more compile + time guarantees when accessing discriminated fields. Case + exhaustion is supported for patter matching. An example would + be 
        +type Sign is (Neg, Zero, Pos);
+
+function Multiply (S1, S2 : Sign) return Sign is
+  (case (S1, S2) is
+     when (Neg, Neg) | (Pos, Pos) => Pos,
+     when (Zero, <>) | (<>, Zero) => Zero,
+     when (Neg, Pos) | (Pos, Neg) => Neg);
+
        • +
      + +
    +
    • +
  • gnatfind and gnatxref, which were + already deprecated, have been removed.
    • +
  • Greatly expanded code covered by contracts. Thanks to this work, + there are now several Ada standard libraries fully proven in SPARK + which means they have no runtime nor logical errors. They are + mostly numeric and string handling libraries.
    • +
  • Enable return-slot optimization for Pure + functions.
    • +
  • General optimizations, improvements and additions to the + standard library. Performance, correctness and in some cases + stability was improved. Memory pools have also seen some minor + enhancements.
    • +
  • Improvements to embedded-RTOS targets such as RTEMS, VxWorks and + QNX. Older targets were removed or cleaned.
    • +
  • Added some hardening features.
    • +

C family

    ----------------------------------------------------------------------- Summary of changes: htdocs/gcc-12/changes.html | 78 +++++++++++++++++++++++++++++++++++++++++++++- 1 file changed, 77 insertions(+), 1 deletion(-) hooks/post-receive -- gcc-wwwdocs