{"id":2221331,"url":"http://patchwork.ozlabs.org/api/1.2/patches/2221331/?format=json","web_url":"http://patchwork.ozlabs.org/project/gcc/patch/20260409083752.4142481-4-poulhies@adacore.com/","project":{"id":17,"url":"http://patchwork.ozlabs.org/api/1.2/projects/17/?format=json","name":"GNU Compiler Collection","link_name":"gcc","list_id":"gcc-patches.gcc.gnu.org","list_email":"gcc-patches@gcc.gnu.org","web_url":null,"scm_url":null,"webscm_url":null,"list_archive_url":"","list_archive_url_format":"","commit_url_format":""},"msgid":"<20260409083752.4142481-4-poulhies@adacore.com>","list_archive_url":null,"date":"2026-04-09T08:36:35","name":"[WWW,3/3] gcc-16: add Ada release notes","commit_ref":null,"pull_url":null,"state":"new","archived":false,"hash":"fdb078002099ce42c984ce7e9350a6c2dceae23e","submitter":{"id":83064,"url":"http://patchwork.ozlabs.org/api/1.2/people/83064/?format=json","name":"Marc Poulhiès","email":"poulhies@adacore.com"},"delegate":null,"mbox":"http://patchwork.ozlabs.org/project/gcc/patch/20260409083752.4142481-4-poulhies@adacore.com/mbox/","series":[{"id":499259,"url":"http://patchwork.ozlabs.org/api/1.2/series/499259/?format=json","web_url":"http://patchwork.ozlabs.org/project/gcc/list/?series=499259","date":"2026-04-09T08:36:32","name":"Ada release notes for GCC 16, + adjustment for 14 and 15","version":1,"mbox":"http://patchwork.ozlabs.org/series/499259/mbox/"}],"comments":"http://patchwork.ozlabs.org/api/patches/2221331/comments/","check":"pending","checks":"http://patchwork.ozlabs.org/api/patches/2221331/checks/","tags":{},"related":[],"headers":{"Return-Path":"<gcc-patches-bounces~incoming=patchwork.ozlabs.org@gcc.gnu.org>","X-Original-To":["incoming@patchwork.ozlabs.org","gcc-patches@gcc.gnu.org"],"Delivered-To":["patchwork-incoming@legolas.ozlabs.org","gcc-patches@gcc.gnu.org"],"Authentication-Results":["legolas.ozlabs.org;\n\tdkim=pass (2048-bit key;\n secure) header.d=adacore.com header.i=@adacore.com header.a=rsa-sha256\n header.s=google header.b=abpi7L57;\n\tdkim-atps=neutral","legolas.ozlabs.org;\n spf=pass (sender SPF authorized) smtp.mailfrom=gcc.gnu.org\n (client-ip=2620:52:6:3111::32; helo=vm01.sourceware.org;\n envelope-from=gcc-patches-bounces~incoming=patchwork.ozlabs.org@gcc.gnu.org;\n receiver=patchwork.ozlabs.org)","sourceware.org;\n\tdkim=pass (2048-bit key,\n secure) header.d=adacore.com header.i=@adacore.com header.a=rsa-sha256\n header.s=google header.b=abpi7L57","sourceware.org; dmarc=pass (p=quarantine dis=none)\n header.from=adacore.com","sourceware.org; spf=pass smtp.mailfrom=adacore.com","server2.sourceware.org;\n arc=none smtp.remote-ip=209.85.128.44"],"Received":["from vm01.sourceware.org (vm01.sourceware.org\n [IPv6:2620:52:6:3111::32])\n\t(using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits)\n\t key-exchange x25519 server-signature ECDSA (secp384r1) server-digest SHA384)\n\t(No client certificate requested)\n\tby legolas.ozlabs.org (Postfix) with ESMTPS id 4frtg92vbkz1yCv\n\tfor <incoming@patchwork.ozlabs.org>; Thu, 09 Apr 2026 18:40:37 +1000 (AEST)","from vm01.sourceware.org (localhost [127.0.0.1])\n\tby sourceware.org (Postfix) with ESMTP id 63F114BA2E2E\n\tfor <incoming@patchwork.ozlabs.org>; Thu,  9 Apr 2026 08:40:35 +0000 (GMT)","from mail-wm1-f44.google.com (mail-wm1-f44.google.com\n [209.85.128.44])\n by sourceware.org (Postfix) with ESMTPS id 18FE54BA2E36\n for <gcc-patches@gcc.gnu.org>; Thu,  9 Apr 2026 08:38:24 +0000 (GMT)","by mail-wm1-f44.google.com with SMTP id\n 5b1f17b1804b1-488b8bc6bc9so4066945e9.3\n for <gcc-patches@gcc.gnu.org>; Thu, 09 Apr 2026 01:38:24 -0700 (PDT)","from mecano.home ([2a01:cb15:8541:af00:5ae:a188:df80:5d32])\n by smtp.gmail.com with ESMTPSA id\n 5b1f17b1804b1-488cd22c77csm50787615e9.12.2026.04.09.01.38.21\n (version=TLS1_3 cipher=TLS_AES_256_GCM_SHA384 bits=256/256);\n Thu, 09 Apr 2026 01:38:22 -0700 (PDT)"],"DKIM-Filter":["OpenDKIM Filter v2.11.0 sourceware.org 63F114BA2E2E","OpenDKIM Filter v2.11.0 sourceware.org 18FE54BA2E36"],"DMARC-Filter":"OpenDMARC Filter v1.4.2 sourceware.org 18FE54BA2E36","ARC-Filter":"OpenARC Filter v1.0.0 sourceware.org 18FE54BA2E36","ARC-Seal":"i=1; a=rsa-sha256; d=sourceware.org; s=key; t=1775723904; cv=none;\n b=WBWz+gLa3TPMYIz3q+kQ+MoZW0sPVO7+D852rBExxoDOkUxJkxsRhfBz6li6s6Gl8md1p0h+iTTB34DSFhcf+ERLVTfeNRsLwrHxgmwUs2KR9eSA2E4Lhw/L/4Ud1NAYzaN33FNw8JAT9hQtomlp4OW0GjX+3Kle3A9ayc+xBOQ=","ARC-Message-Signature":"i=1; a=rsa-sha256; d=sourceware.org; s=key;\n t=1775723904; c=relaxed/simple;\n bh=akEHadzbpgefjAy81Np/7LOklAZzMP+fRFcgTborCwg=;\n h=DKIM-Signature:From:To:Subject:Date:Message-ID:MIME-Version;\n b=vEVTlf6jTeQ8CUjneceMCr1t9gHWv3tgN/ciwsQ4sdgZHnNXDinndyKDX2xmRInC35ODVH+XBP/cC87n/ZDfYRfUY5uJbBwvfqXIs/5h+qBHLeFM0tV9FY+WA/hODjCQ4RbOl5pYB2MPCfG2a98jHdAnWtZgNPHPwAq9k6ffAzA=","ARC-Authentication-Results":"i=1; server2.sourceware.org","DKIM-Signature":"v=1; a=rsa-sha256; c=relaxed/relaxed;\n d=adacore.com; s=google; t=1775723903; x=1776328703; darn=gcc.gnu.org;\n h=content-transfer-encoding:mime-version:references:in-reply-to\n :message-id:date:subject:cc:to:from:from:to:cc:subject:date\n :message-id:reply-to;\n bh=yL1MvzcHAqdwMdxN4P3bn02wjGEO76GRYnBnRbrvnTc=;\n b=abpi7L57D1de4lB0pfYDGN5+6zAVUPNBIPkcfzH0Li37UAh569cVbnPGpLjdqnxtP9\n XmyoEr7mi2mnd2H2OgfaxXrxxTFF+ERW5Z6xBQiJB8cKDqP/2ZbA5gfEfm2tjY/Mr69L\n 3eYgNU4/iQZYIdL89/JUuZ6JwRA9SogfpbMl/dijf9Ae/97Yl4gVxrLe5Z4BqP1YDn+1\n 1cntLoNqW28uqeptbOMjZaoVeLLLPP1Sp4lz56PYBzx1ZzEusgsKXQv7VbdLewkM65T7\n d7eFI9TT16P+rPIY4F2HrMWTzCJFMBi21oUk8uEtYc/6a2TajXByVd/SFUUTFDgPSv1w\n XpbA==","X-Google-DKIM-Signature":"v=1; a=rsa-sha256; c=relaxed/relaxed;\n d=1e100.net; s=20251104; t=1775723903; x=1776328703;\n h=content-transfer-encoding:mime-version:references:in-reply-to\n :message-id:date:subject:cc:to:from:x-gm-gg:x-gm-message-state:from\n :to:cc:subject:date:message-id:reply-to;\n bh=yL1MvzcHAqdwMdxN4P3bn02wjGEO76GRYnBnRbrvnTc=;\n b=VNtA9kkSiQBy/RBjfRnb+VSK+wyhOhBTCsdp19B7BWixbky/N9GjG78PRJTBMScIVp\n OwHkfDege1i+YFXZ3qqWCl2wmpsWaMWgS0FaV7mbKsLeUMFrur/0xdigwpFsLz0kU6my\n bjA9DxIErmKffq407mUQE6I8sK1rCe6EnXTWEyYL+uBhl7HSI99qXRzcAHbYBRH30Phu\n 9ItkS4efHk27FHQhPxqPG6O9GUzVaMuMNcPyTSRQlsa0EzFegMknvOnakIDZKbuS3JLB\n o9n/DGO0WqNO2pbyNf90TXtqOOT/m4BMoaWcZq4ujOsfC0V805SkD2tOaG7EcvKeF2ja\n ny5w==","X-Gm-Message-State":"AOJu0YzCxDyAoBqoTluAr42BfL3D9QfDJ/Poe7oplVyquLrTGuMDHrBu\n G5Oj+5J8DFZd8tQu8rb1ngLp8/a6R4143Euftt8IpmLxisx+BhRw79TStMgWACn+U6N4lkTjhoe\n jiWA=","X-Gm-Gg":"AeBDietMh3Nl8Yip7vFWCnEfGheLb/1x6y49nVjxrijhc+Vd6BcdUQ9QLCCg0tVx08u\n HThNz/gEfvr1MJTVCbS6dq6sUczqmokPy3TUhvUjEWyBp16xxQEx63abXSa79eQ+oLKpzeTLTfK\n Bw4RfEKpGEmVVuZ1PgpKUrdfBeQA9CKIhDs9sO/vlFmc9gmoLWOiCA19I9rmZAhL49IlB+CPUbo\n Ebt43ao+7DiZiQCzLgiWV24SA6bGUNGyjTi+DCVsLdjpzwPF6qRo03WBQrrCaNyAroMzkdiB4Dz\n T12QwwAZWjoigvXFpDGuH67FupuDbFWxRh/dbQUbOWeJXw7oHC/mZCZIfaXH4AiQaEda05AgY5G\n I3C2IHluR6Y2KrnXx1X9UYcP4VpFXoL6JgL4vjEJ+KJYNGekuN5kwZqPxBAcaadG2xWkaVaR84x\n sozURjKPk95hsN1TdA890fWhKkXdgD","X-Received":"by 2002:a05:600c:a110:b0:488:a824:fe04 with SMTP id\n 5b1f17b1804b1-488cd012d80mr27509505e9.26.1775723902884;\n Thu, 09 Apr 2026 01:38:22 -0700 (PDT)","From":"=?utf-8?q?Marc_Poulhi=C3=A8s?= <poulhies@adacore.com>","To":"gcc-patches@gcc.gnu.org,\n\tirvise@irvise.xyz,\n\tebotcazou@adacore.com","Cc":"=?utf-8?q?Marc_Poulhi=C3=A8s?= <poulhies@adacore.com>,\n Fernando Oleo Blanco <irvise_ml@irvise.xyz>","Subject":"[WWW PATCH 3/3] gcc-16: add Ada release notes","Date":"Thu,  9 Apr 2026 10:36:35 +0200","Message-ID":"<20260409083752.4142481-4-poulhies@adacore.com>","X-Mailer":"git-send-email 2.53.0","In-Reply-To":"<20260409083752.4142481-1-poulhies@adacore.com>","References":"<20260409083752.4142481-1-poulhies@adacore.com>","MIME-Version":"1.0","Content-Type":"text/plain; charset=UTF-8","Content-Transfer-Encoding":"8bit","X-BeenThere":"gcc-patches@gcc.gnu.org","X-Mailman-Version":"2.1.30","Precedence":"list","List-Id":"Gcc-patches mailing list <gcc-patches.gcc.gnu.org>","List-Unsubscribe":"<https://gcc.gnu.org/mailman/options/gcc-patches>,\n <mailto:gcc-patches-request@gcc.gnu.org?subject=unsubscribe>","List-Archive":"<https://gcc.gnu.org/pipermail/gcc-patches/>","List-Post":"<mailto:gcc-patches@gcc.gnu.org>","List-Help":"<mailto:gcc-patches-request@gcc.gnu.org?subject=help>","List-Subscribe":"<https://gcc.gnu.org/mailman/listinfo/gcc-patches>,\n <mailto:gcc-patches-request@gcc.gnu.org?subject=subscribe>","Errors-To":"gcc-patches-bounces~incoming=patchwork.ozlabs.org@gcc.gnu.org"},"content":"Co-authored-by: Fernando Oleo Blanco <irvise_ml@irvise.xyz>\n---\n htdocs/gcc-16/changes.html | 56 +++++++++++++++++++++++++++++++++++++-\n 1 file changed, 55 insertions(+), 1 deletion(-)","diff":"diff --git a/htdocs/gcc-16/changes.html b/htdocs/gcc-16/changes.html\nindex a921e805..6539cd04 100644\n--- a/htdocs/gcc-16/changes.html\n+++ b/htdocs/gcc-16/changes.html\n@@ -143,8 +143,62 @@ for general information.</p>\n       behavior.</li>\n </ul>\n \n-<!-- <h3 id=\"ada\">Ada</h3> -->\n+<h3 id=\"ada\">Ada</h3>\n+<h4>GNAT Extensions</h4>\n+<ul>\n+  <li>\n+    The <a href=\"https://github.com/AdaCore/ada-spark-rfcs/blob/master/features/rfc-oop-constructors.rst\">Constructor</a> <a href=\"https://github.com/AdaCore/ada-spark-rfcs/blob/master/features/rfc-oop-constructors.rst\">[RFC]</a>\n+  and <a href=\"https://gcc.gnu.org/onlinedocs/gnat_rm/Destructors.html\">Destructor</a> <a href=\"https://github.com/AdaCore/ada-spark-rfcs/blob/master/features/rfc-oop-destructors.rst\">[RFC]</a>\n+  extensions add new construction/finalization mechanisms that differ\n+  significantly from standard Ada. Those features are inspired by\n+  object-oriented programming in other widely used languages (such as C++).\n+  </li>\n \n+  <li><a href=\"https://gcc.gnu.org/onlinedocs/gnat_rm/Implicit-With.html\">Implicit\n+      with</a> allows a stand-alone use clause in the context clause of a\n+      compilation unit to imply an implicit with of the same library unit where\n+      an equivalent with clause would be allowed.\n+  </li>\n+\n+  <li><a href=\"https://gcc.gnu.org/onlinedocs/gnat_rm/Structural-Generic-Instantiation.html\">Structural\n+      Generic\n+      instantiation</a> <a href=\"https://github.com/AdaCore/ada-spark-rfcs/blob/master/features/rfc-partial-generic-instantiations.md\">[RFC]</a>\n+      allows reference to an implicit instance of a generic unit, that is\n+      denoted directly by the unit’s name and actual parameters, rather than by\n+      a separately declared name.\n+  </li>\n+  <li>\n+    The <a href=\"https://gcc.gnu.org/onlinedocs/gnat_rm/Aspect-Extended_005fAccess.html\">Extended_Access</a>\n+    aspect can be specified on a general access type declaration designating an\n+    unconstrained array subtype. It changes the pointer representation and\n+    allows easier interfacing with foreign languages when memory for the\n+    designated object is not allocated by Ada. In particular, it allows the\n+    creation\n+    of <a href=\"https://gcc.gnu.org/onlinedocs/gnat_rm/Aspect-Extended_005fAccess.html\">access\n+    to an array\n+    slice</a> <a href=\"https://github.com/AdaCore/ada-spark-rfcs/blob/master/features/array_slice_access.md\">[RFC]</a>.\n+\n+</li>\n+\n+</ul>\n+\n+<h4>Other</h4>\n+<ul>\n+  <li>\n+    VAST (Verifier for the Ada Semantic Tree), enabled\n+    with <code>-gnatd_V</code> (or <code> -gnatd_W</code> for verbose mode), can\n+    be used to debug the compiler. It checks various properties of the produced\n+    Ada Semantic Tree and reports detected violations.\n+  </li>\n+  <li>The semantic analysis of Ada 2022’s Reduction Expressions has been\n+    enhanced.\n+  </li>\n+  <li>The Ada.Containers.Bounded_Indefinite_Holders unit has been added.</li>\n+  <li>Various loopholes in the implementation of accessibility rules have been\n+    plugged.\n+  </li>\n+  <li>Android support has been improved.</li>\n+</ul>\n <!-- <h3 id=\"c-family\">C family</h3> -->\n \n <h3 id=\"cxx\">C++</h3>\n","prefixes":["WWW","3/3"]}