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 e3dc2bcf77b9e9a88153992636477a517b356ec3 (commit)
via f3183c6acc09fb92bd17cebdf2fa1388f0147a2b (commit)
via 9b96f0c305d4cfe6c43e59fc632f5e4ed85a05a3 (commit)
from 391cca2cb2f610bd1f907a2074284f3a9ad7b7d9 (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 e3dc2bcf77b9e9a88153992636477a517b356ec3
Author: Marc Poulhiès <[email protected]>
Date: Thu Mar 26 14:29:39 2026 +0100
gcc-16: add Ada release notes
Co-authored-by: Fernando Oleo Blanco <[email protected]>
diff --git a/htdocs/gcc-16/changes.html b/htdocs/gcc-16/changes.html
index 14a91c6a..a293594c 100644
--- a/htdocs/gcc-16/changes.html
+++ b/htdocs/gcc-16/changes.html
@@ -143,8 +143,62 @@ for general information.</p>
behavior.</li>
</ul>
-<!-- <h3 id="ada">Ada</h3> -->
+<h3 id="ada">Ada</h3>
+<h4>GNAT Extensions</h4>
+<ul>
+ <li>
+ 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>
+ 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>
+ extensions add new construction/finalization mechanisms that differ
+ significantly from standard Ada. Those features are inspired by
+ object-oriented programming in other widely used languages (such as C++).
+ </li>
+
+ <li><a
href="https://gcc.gnu.org/onlinedocs/gnat_rm/Implicit-With.html";>Implicit
+ with</a> allows a stand-alone use clause in the context clause of a
+ compilation unit to imply an implicit with of the same library unit where
+ an equivalent with clause would be allowed.
+ </li>
+
+ <li><a
href="https://gcc.gnu.org/onlinedocs/gnat_rm/Structural-Generic-Instantiation.html";>Structural
+ Generic
+ instantiation</a> <a
href="https://github.com/AdaCore/ada-spark-rfcs/blob/master/features/rfc-partial-generic-instantiations.md";>[RFC]</a>
+ allows reference to an implicit instance of a generic unit, that is
+ denoted directly by the unitâs name and actual parameters, rather than
by
+ a separately declared name.
+ </li>
+ <li>
+ The <a
href="https://gcc.gnu.org/onlinedocs/gnat_rm/Aspect-Extended_005fAccess.html";>Extended_Access</a>
+ aspect can be specified on a general access type declaration designating an
+ unconstrained array subtype. It changes the pointer representation and
+ allows easier interfacing with foreign languages when memory for the
+ designated object is not allocated by Ada. In particular, it allows the
+ creation
+ of <a
href="https://gcc.gnu.org/onlinedocs/gnat_rm/Aspect-Extended_005fAccess.html";>access
+ to an array
+ slice</a> <a
href="https://github.com/AdaCore/ada-spark-rfcs/blob/master/features/array_slice_access.md";>[RFC]</a>.
+
+</li>
+</ul>
+
+<h4>Other</h4>
+<ul>
+ <li>
+ VAST (Verifier for the Ada Semantic Tree), enabled
+ with <code>-gnatd_V</code> (or <code> -gnatd_W</code> for verbose mode),
can
+ be used to debug the compiler. It checks various properties of the produced
+ Ada Semantic Tree and reports detected violations.
+ </li>
+ <li>The semantic analysis of Ada 2022âs Reduction Expressions has been
+ enhanced.
+ </li>
+ <li>The Ada.Containers.Bounded_Indefinite_Holders unit has been added.</li>
+ <li>Various loopholes in the implementation of accessibility rules have been
+ plugged.
+ </li>
+ <li>Android support has been improved.</li>
+</ul>
<!-- <h3 id="c-family">C family</h3> -->
<h3 id="cxx">C++</h3>
commit f3183c6acc09fb92bd17cebdf2fa1388f0147a2b
Author: Marc Poulhiès <[email protected]>
Date: Thu Mar 26 14:29:12 2026 +0100
gcc-15: amend Ada release notes
finally and string interpolation were missing from release notes.
Co-authored-by: Fernando Oleo Blanco <[email protected]>
diff --git a/htdocs/gcc-15/changes.html b/htdocs/gcc-15/changes.html
index 871f97b3..6b54a7dd 100644
--- a/htdocs/gcc-15/changes.html
+++ b/htdocs/gcc-15/changes.html
@@ -322,6 +322,18 @@ procedure Initialize (Obj : in out T);
the <a
href="https://docs.adacore.com/spark2014-docs/html/ug/en/source/spark_libraries.html#";>SPARK
Library</a> is recommended as a substitute.
</li>
+ <li>The
+ new <a
href="https://gcc.gnu.org/onlinedocs/gnat_rm/Finally-construct.html";><code>finally</code></a>
<a
href="https://github.com/AdaCore/ada-spark-rfcs/blob/master/features/rfc-finally.md";>[RFC]</a>
+ keyword makes it possible to specify a sequence of statements that shall be
+ executed when another sequence of statements is completed, regardless of
+ whether the completion was normal or abnormal.
+ </li>
+ <li><a
href="https://gcc.gnu.org/onlinedocs/gnat_rm/String-interpolation.html";>String
+ interpolation</a> <a
href="https://github.com/AdaCore/ada-spark-rfcs/blob/master/features/rfc-string-interpolation.md";>[RFC]</a>,
+ inspired by python f-strings (e.g. <code>f"The name is {Name} and the sum
+ is {X + Y}."</code>), has been added.
+ </li>
+
</ul>
commit 9b96f0c305d4cfe6c43e59fc632f5e4ed85a05a3
Author: Marc Poulhiès <[email protected]>
Date: Thu Mar 26 14:27:44 2026 +0100
gcc-14: amend Ada release notes
Fixed lower bound array types was missing from release notes.
Co-authored-by: Fernando Oleo Blanco <[email protected]>
diff --git a/htdocs/gcc-14/changes.html b/htdocs/gcc-14/changes.html
index 5a7190e7..4d549a50 100644
--- a/htdocs/gcc-14/changes.html
+++ b/htdocs/gcc-14/changes.html
@@ -311,6 +311,15 @@ You may also want to check out our
Interpolation</a>: allows for easier string formatting.</li>
</ul>
</li>
+ <li><a
href="https://gcc.gnu.org/onlinedocs/gnat_rm/Fixed-lower-bounds-for-array-types-and-subtypes.html";>Fixed
+ lower
+ bound</a> <a
href="https://github.com/AdaCore/ada-spark-rfcs/blob/master/features/rfc-fixed-lower-bound.rst";>[RFC]</a>
+ : Unconstrained array types and subtypes can be specified with a lower
bound
+ that is fixed to a certain value, by writing an index range that uses the
+ syntax <lower-bound-expression> .. <>. This guarantees that all
+ objects of the type or subtype will have the specified lower bound.
+ </li>
+
<li>Further clean up and improvements to the GNAT code.</li>
</ul>
-----------------------------------------------------------------------
Summary of changes:
htdocs/gcc-14/changes.html | 9 ++++++++
htdocs/gcc-15/changes.html | 12 ++++++++++
htdocs/gcc-16/changes.html | 56 +++++++++++++++++++++++++++++++++++++++++++++-
3 files changed, 76 insertions(+), 1 deletion(-)
hooks/post-receive
--
gcc-wwwdocs
