From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: by sourceware.org (Postfix, from userid 7871) id 418E83858C50; Fri, 26 Apr 2024 08:54:57 +0000 (GMT) DKIM-Filter: OpenDKIM Filter v2.11.0 sourceware.org 418E83858C50 DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=sourceware.org; s=default; t=1714121697; bh=MULIFZyAr9HRNJeyTIIzwm+RgSZWYuMGdbYoks6zDCM=; h=To:Subject:Date:From:From; b=Fv42Dhk96pYYZUVnBvtgDjS4Sm3JLoLb+fzvSkGupXlNbY7TuFwieKiBVpYIHulsI K4J/WE5RdFhggdf9hwsnSBWwmU5sI2d0GfgNf+W/u/VYYf4QjRcoEKsweXqSOW8Iv3 y5CBz7LveXgKGXSYYE9c7BWByu48gdNajG43oIrc= To: gcc-cvs-wwwdocs@gcc.gnu.org Subject: gcc-wwwdocs branch master updated. 9d0937bd03d26ce473e0f745797fbee2b20f5062 X-Git-Refname: refs/heads/master X-Git-Reftype: branch X-Git-Oldrev: 688a21c3093f0d3dbf7248066b5c9c00802bdf89 X-Git-Newrev: 9d0937bd03d26ce473e0f745797fbee2b20f5062 Message-Id: <20240426085457.418E83858C50@sourceware.org> Date: Fri, 26 Apr 2024 08:54:57 +0000 (GMT) From: Marc Poulhi?s List-Id: 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 9d0937bd03d26ce473e0f745797fbee2b20f5062 (commit) from 688a21c3093f0d3dbf7248066b5c9c00802bdf89 (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 9d0937bd03d26ce473e0f745797fbee2b20f5062 Author: Marc Poulhiès Date: Mon Apr 15 17:34:54 2024 +0200 gcc-14: Add Ada changes Co-authored-by: Fernando Oleo Blanco Co-authored-by: Piotr Trojanek Signed-off-by: Marc Poulhiès diff --git a/htdocs/gcc-14/changes.html b/htdocs/gcc-14/changes.html index 83b1016c..87e04cb8 100644 --- a/htdocs/gcc-14/changes.html +++ b/htdocs/gcc-14/changes.html @@ -239,7 +239,72 @@ a work-in-progress.

- +

Ada

+ +
    +
  • New implementation-defined aspects and pragmas: +
      +
    • Local_Restrictions, + which specifies that a particular subprogram does not violate one or more + local restrictions, nor can it call a subprogram that is not subject to + the same requirements.
      • +
    • User_Aspect_Definition + and User_Aspect, + which provide a mechanism for avoiding textual duplication if some set of + aspect specifications is needed in multiple places.
      • +
    +
    • +
  • New implementation-defined aspects and pragmas for verification of the + SPARK 2014 subset of Ada: +
      +
    • Always_Terminates, + which provides a condition for a subprogram to necessarily complete + (either return normally or raise an exception).
      • +
    • Ghost_Predicate, + which introduces a subtype predicate that can reference Ghost entities. +
      • +
    • Exceptional_Cases, + which lists exceptions that might be propagated by the subprogram with + side effects in the context of its precondition and associates them with a + specific postcondition. +
      • +
    • Side_Effects, + which indicates that a function should be handled like a procedure with + respect to parameter modes, Global contract, exceptional contract and + termination: it may have output parameters, write global variables, raise + exceptions and not terminate.
      • +
    +
    • +
  • The new attributes and contracts have been applied to the relevant parts + of the Ada runtime library, which has been subsequently proven to be correct + with SPARK 2014.
    • +
  • Initial support for the + CHERI + architecture.
    • +
  • Support for the LoongArch architecture.
    • +
  • Support for vxWorks 7 Cert RTP has been removed.
    • +
  • Additional hardening improvements. For more information reltated to + hardening options, refer to + the GCC + Instrumentation Options and + the GNAT + Reference Manual, Security and Hardening Features. +
    • +
  • Improve style checking for redundant parentheses + with -gnatyz
    • +
  • New + switch -gnateH + to force reverse Bit_Order threshold to 64.
    • +
  • Experimental features: +
      Storage + Model: this feature proposes to redesign the concepts of Storage Pools + into a more efficient model allowing higher performances and easier + integration with low footprint embedded run-times.
    + +
    • +
  • Further clean up and improvements to the GNAT code.
    • +
----------------------------------------------------------------------- Summary of changes: htdocs/gcc-14/changes.html | 67 +++++++++++++++++++++++++++++++++++++++++++++- 1 file changed, 66 insertions(+), 1 deletion(-) hooks/post-receive -- gcc-wwwdocs