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: 206118 Return-Path: Delivered-To: ouuuleilei@gmail.com Received: by 2002:a05:7300:a81b:b0:108:e6aa:91d0 with SMTP id bq27csp1737890dyb; Sun, 25 Feb 2024 12:50:05 -0800 (PST) X-Forwarded-Encrypted: i=3; AJvYcCUORzG5J6TlG07eVpbOUPAV+ZiTNBHdPJ2BWhsaEuGLxv+SqJhdJ0sbq6YfEmZMiL2bjRcyu4Xj6oyfBf5nWKMTqYbZ7A== X-Google-Smtp-Source: AGHT+IG78JFx6oG2PGDoP6PME25Mfa1ZlUC4jH/E0qQEDtvA25I6X73A8UvV9Fft5jJst30qhmMW X-Received: by 2002:ad4:5ecf:0:b0:68f:3ba2:232e with SMTP id jm15-20020ad45ecf000000b0068f3ba2232emr9108296qvb.0.1708894205056; Sun, 25 Feb 2024 12:50:05 -0800 (PST) ARC-Seal: i=2; a=rsa-sha256; t=1708894205; cv=pass; d=google.com; s=arc-20160816; b=hEdZozRNQ+zAHExQBHAz+7Z9bhdkHa4b+GvbXs97sPulEUJkYiY10x32wmqmfyb9cK am1ILlMMlbRyc2D7j1Z3eDHbH0MDOtAC3Me0ipDEf7Fl5c/JNIKJLcpiR9uBuYNLozfM 3afrvg2legOuwSIjIqOveDb1XkUNxXklq9nVG9XXDfOD0PPferbsl+Gtzb108TucYe5d ALFVYhdKPa0GbW0vAzpQDEuPgXX7vN75RX8QbTk+y08r/XEGvba1Yg9wxtzXxNJIoIKD N5KYw05wGK9C8ZOBKQhumHIhn2NK1YLZDyv+JgL/zQ7tGTJxQqcrGRsdXL+qHLA4ZM/D sD8g== ARC-Message-Signature: i=2; a=rsa-sha256; c=relaxed/relaxed; d=google.com; s=arc-20160816; h=errors-to:list-subscribe:list-help:list-post:list-archive :list-unsubscribe:list-id:precedence:mime-version:feedback-id :message-id:subject:cc:from:to:date:dkim-signature:arc-filter :dmarc-filter:delivered-to; bh=fyMk+wdPUGxI3ufbqsNMgAKdrInjCL0EIeR910UYd+4=; fh=L940cbHOig2xYOmzj/MggHniR/HQ+E6uCJ+1EJDEUGU=; b=icuWw66vR2mJZldoTE4xrSLgmigUpWUXX5aE3OBRi54u10YGyTrJ9Lifz9CqNcscVM VnRSy/m/EktTg2BCvW51SRX5Hi4/6FkMY9xEMQwPVvten0noZ0WF3wlxt/0TIt0Mpq3O ChrulbcYnh0GjRgNNyFWEkrLNQUPyve7ggxEHlzdpYpldXlLBY+BYbL54q945MF1roG6 CBgwD58ZV28fa9QQLy7POoJnDabBnMvuSMeKb9qf6CVu7fwmwk2gekk4GNS6/QWJ4iEg tBFHTYABrlSzqXSwy/MED7O51gOWCkuAmpi2oXQqGLXKYAI5yL7TvpSNpX4fjVbUtTYt JDiA==; dara=google.com ARC-Authentication-Results: i=2; mx.google.com; dkim=pass header.i=@irvise.xyz header.s=protonmail header.b=bKOTzg6f; arc=pass (i=1); spf=pass (google.com: domain of gcc-patches-bounces+ouuuleilei=gmail.com@gcc.gnu.org designates 8.43.85.97 as permitted sender) smtp.mailfrom="gcc-patches-bounces+ouuuleilei=gmail.com@gcc.gnu.org"; dmarc=pass (p=QUARANTINE sp=QUARANTINE dis=NONE) header.from=irvise.xyz Received: from server2.sourceware.org (server2.sourceware.org. [8.43.85.97]) by mx.google.com with ESMTPS id ey10-20020a0562140b6a00b0069005f13afasi1201176qvb.212.2024.02.25.12.50.04 for (version=TLS1_3 cipher=TLS_AES_256_GCM_SHA384 bits=256/256); Sun, 25 Feb 2024 12:50:05 -0800 (PST) Received-SPF: pass (google.com: domain of gcc-patches-bounces+ouuuleilei=gmail.com@gcc.gnu.org designates 8.43.85.97 as permitted sender) client-ip=8.43.85.97; Authentication-Results: mx.google.com; dkim=pass header.i=@irvise.xyz header.s=protonmail header.b=bKOTzg6f; arc=pass (i=1); spf=pass (google.com: domain of gcc-patches-bounces+ouuuleilei=gmail.com@gcc.gnu.org designates 8.43.85.97 as permitted sender) smtp.mailfrom="gcc-patches-bounces+ouuuleilei=gmail.com@gcc.gnu.org"; dmarc=pass (p=QUARANTINE sp=QUARANTINE dis=NONE) header.from=irvise.xyz Received: from server2.sourceware.org (localhost [IPv6:::1]) by sourceware.org (Postfix) with ESMTP id BC2C93858C35 for ; Sun, 25 Feb 2024 20:50:04 +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+ouuuleilei=gmail.com@gcc.gnu.org X-getmail-retrieved-from-mailbox: INBOX X-GMAIL-THRID: 1791905449946495530 X-GMAIL-MSGID: 1791905449946495530 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