From patchwork Sun Feb 25 20:48:49 2024 Content-Type: text/plain; charset="utf-8" MIME-Version: 1.0 Content-Transfer-Encoding: 7bit X-Patchwork-Submitter: Fernando Oleo Blanco X-Patchwork-Id: 1903976 Return-Path: X-Original-To: incoming@patchwork.ozlabs.org Delivered-To: patchwork-incoming@legolas.ozlabs.org Authentication-Results: legolas.ozlabs.org; dkim=pass (2048-bit key; secure) header.d=irvise.xyz header.i=@irvise.xyz header.a=rsa-sha256 header.s=protonmail header.b=bKOTzg6f; dkim-atps=neutral Authentication-Results: legolas.ozlabs.org; spf=pass (sender SPF authorized) smtp.mailfrom=gcc.gnu.org (client-ip=2620:52:3:1:0:246e:9693:128c; helo=server2.sourceware.org; envelope-from=gcc-patches-bounces+incoming=patchwork.ozlabs.org@gcc.gnu.org; receiver=patchwork.ozlabs.org) Received: from server2.sourceware.org (server2.sourceware.org [IPv6:2620:52:3:1:0:246e:9693:128c]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits) key-exchange X25519 server-signature ECDSA (secp384r1) server-digest SHA384) (No client certificate requested) by legolas.ozlabs.org (Postfix) with ESMTPS id 4TjbTj0mvgz23cm for ; Mon, 26 Feb 2024 07:49:45 +1100 (AEDT) Received: from server2.sourceware.org (localhost [IPv6:::1]) by sourceware.org (Postfix) with ESMTP id E6FCC3858D39 for ; Sun, 25 Feb 2024 20:49:42 +0000 (GMT) X-Original-To: gcc-patches@gcc.gnu.org Delivered-To: gcc-patches@gcc.gnu.org Received: from mail-4317.proton.ch (mail-4317.proton.ch [185.70.43.17]) by sourceware.org (Postfix) with ESMTPS id A0DFC3858D3C for ; Sun, 25 Feb 2024 20:49:18 +0000 (GMT) DMARC-Filter: OpenDMARC Filter v1.4.2 sourceware.org A0DFC3858D3C Authentication-Results: sourceware.org; dmarc=pass (p=quarantine dis=none) header.from=irvise.xyz Authentication-Results: sourceware.org; spf=pass smtp.mailfrom=irvise.xyz ARC-Filter: OpenARC Filter v1.0.0 sourceware.org A0DFC3858D3C Authentication-Results: server2.sourceware.org; arc=none smtp.remote-ip=185.70.43.17 ARC-Seal: i=1; a=rsa-sha256; d=sourceware.org; s=key; t=1708894160; cv=none; b=EcBNQJODzX00hpgDax1eC01NEupehue3RO1L8HYvZsppXKaJPoP2OWfu+7STpw9c2XQ57E509IYCxeyLkOhMqMxzT9gpJ5XLv3yNJNzzLAHO3RJDtB6TjVzl951AzumHG2aYVI7VLByY8NpSUNPjf0Vm5WYXaeQn41cHxrdtAvc= ARC-Message-Signature: i=1; a=rsa-sha256; d=sourceware.org; s=key; t=1708894160; c=relaxed/simple; bh=fyMk+wdPUGxI3ufbqsNMgAKdrInjCL0EIeR910UYd+4=; h=DKIM-Signature:Date:To:From:Subject:Message-ID:MIME-Version; b=ipphoA9U/tlaHuJQPAvoudDa5vhW0iAkN52Dnwi4OckyehS+JHIUrCyavq4IgC0s2ZLU3lqwUsJbTML1pPo2Bs3RhstTF6wInyKm8VuUdMT7Dmi2W7GQzjWyAV0AwTlpeprQ3n4Kcd9mU6Vhzb7CAAUMH7GnyVQA0rxXdQIn0x4= ARC-Authentication-Results: i=1; server2.sourceware.org DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=irvise.xyz; s=protonmail; t=1708894156; x=1709153356; bh=fyMk+wdPUGxI3ufbqsNMgAKdrInjCL0EIeR910UYd+4=; h=Date:To:From:Cc:Subject:Message-ID:Feedback-ID:From:To:Cc:Date: Subject:Reply-To:Feedback-ID:Message-ID:BIMI-Selector; b=bKOTzg6fwx8nWsxGtZyTEWRmP99BemZqinCA+JofRpNhQZzQPsu+RjsejCuMW9ZP2 mMX8f7J1B3XNx3TnF0V9Rs3DL67immXU5X/6ybwKK9/7O5s6uGJt+S7W4HArU0yqEM aA1QM5EXxSBiswLik7vBqIErc/PghSpqEOIXi7d5PSMnkUCQi/pz8/8kslBGxaOjAg 8quVAQIhKqdbPcWl7fxEPLomn8KSdeQN5nd7xlu8xc1SR/Bt+ZXgKnd1ttXnX1kNZf DdDD4cHctwwKdxRzY4ZN/+bUa5Z88oE4XtDJa+uqTIPZ9HWFTeenp9MKRZQajS4vnI U10tS77+tmFjA== Date: Sun, 25 Feb 2024 20:48:49 +0000 To: gcc-patches@gcc.gnu.org From: Fernando Oleo Blanco Cc: Arnaud Charlet Subject: [wwwdocs] Add Ada's GCC 14 changelog entry Message-ID: <0fa6637b-1b62-4f3c-8a7b-55f05c8a6df5@irvise.xyz> Feedback-ID: 37218277:user:proton MIME-Version: 1.0 X-Spam-Status: No, score=-8.9 required=5.0 tests=BAYES_00, DKIM_SIGNED, DKIM_VALID, DKIM_VALID_AU, DKIM_VALID_EF, GIT_PATCH_0, KAM_INFOUSMEBIZ, RCVD_IN_MSPIKE_H3, RCVD_IN_MSPIKE_WL, SPF_HELO_PASS, SPF_PASS, TXREP, T_SCC_BODY_TEXT_LINE autolearn=ham autolearn_force=no version=3.4.6 X-Spam-Checker-Version: SpamAssassin 3.4.6 (2021-04-09) on server2.sourceware.org X-BeenThere: gcc-patches@gcc.gnu.org X-Mailman-Version: 2.1.30 Precedence: list List-Id: Gcc-patches mailing list List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: gcc-patches-bounces+incoming=patchwork.ozlabs.org@gcc.gnu.org Dear all, just like last year, I would like to commit the changes that took place over at GNAT for GCC v14. The patch is attached to the email. Hopefully it is good enough to just be added to master. If you see something wrong or if you would like to add anything to it, feel free :) Feedback is always welcomed. Best regards, Fer From 0ae94649be7f638bb4f98ba3e2ba2e1bf9770c09 Mon Sep 17 00:00:00 2001 From: Fernando Oleo Blanco Date: Sun, 25 Feb 2024 21:43:43 +0100 Subject: [PATCH 1/1] Add Ada changes for v14 --- htdocs/gcc-14/changes.html | 44 +++++++++++++++++++++++++++++++++++++- 1 file changed, 43 insertions(+), 1 deletion(-) diff --git a/htdocs/gcc-14/changes.html b/htdocs/gcc-14/changes.html index 85ccc54d..e6c96c9f 100644 --- a/htdocs/gcc-14/changes.html +++ b/htdocs/gcc-14/changes.html @@ -171,7 +171,49 @@ a work-in-progress.

New Languages and Language specific improvements

- +

Ada

+ +
    +
  • Several new aspects and contracts have been implemented: +
      +
    • Exceptional_Cases may be specified for procedures and + functions with side effects; it can be used to list exceptions that might + be propagated by the subprogram with side effects in the context of its + precondition, and associate them with a specific postcondition. For more + information, refer to SPARK 2014 Reference Manual, section 6.1.9.
      • +
    • User_Aspect takes an argument that is the name of an + aspect defined by a User_Aspect_Definition configuration pragma.
      • +
    • Local_Restrictions is used to specify 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.
      • +
    • Side_Effects is equivalent to pragma + Side_Effecs.
      • +
    • Always_Terminates is a boolean equivalent to pragma + Always_Terminates
      • +
    • Ghost_Predicate
      • +
    +
    • +
  • The new attributes and contracts have been applied to the relevant parts + of the Ada library and more code has been proven to be correct.
    • +
  • Initial support for the + CHERI + architecture.
    • +
  • Support for the LoongArch architecture.
    • +
  • Hardening improvements: +
      +
    • Use of the new -fharden* options. Most + notably -fharden-compares, + -fharden-conditional-branches and + -fharden-control-flow-redundancy.
      • +
    • Custom bools with higher Hamming distance.
      • +
    • The strub attribute has been added for functions and + variables in order to automatically zero-out their stack upon use or + return.
      • +
    +
    • +
  • Further clean up and improvements to the GNAT code.
    • +
  • Support for vxWorks 7 Cert RTP has been removed.
    • +
-- 2.43.2