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 691f8fc1f47538e774af557547a56df0b64948d8 (commit)
from 5150c5e18b9a6a83a19d1aa9f352d304c638e242 (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 691f8fc1f47538e774af557547a56df0b64948d8
Author: Fernando Oleo Blanco
Date: Mon Mar 24 18:47:05 2025 +
gcc-15/changes: Document Ada changes
Co-authored-by: Marc Poulhiès
diff --git a/htdocs/gcc-15/changes.html b/htdocs/gcc-15/changes.html
index 37da4c26..8220d130 100644
--- a/htdocs/gcc-15/changes.html
+++ b/htdocs/gcc-15/changes.html
@@ -149,7 +149,117 @@ a work-in-progress.
-
+Ada
+
+
+GNAT now allows
+the https://gcc.gnu.org/onlinedocs/gnat_rm/Attribute-Round.html#index-Round";>'Round
+attribute also for fixed point types.
+
+
+The new GNAT
+attribute https://gcc.gnu.org/onlinedocs/gnat_rm/Attribute-Super.html#index-Super";>'Super
+can be applied to objects of tagged types in order to obtain a view
+conversion to the most immediate specific parent type.
+
+
+https://gcc.gnu.org/onlinedocs/gnat_rm/Mutably-Tagged-Types-with-Size_2019Class-Aspect.html";>Mutably
tagged types with a defined size are now available
+through the use of Size'Class. This allows defining a maximum
+size for the tagged. Example:
+
+type Base is tagged null record with Size'Class => 16 * 8;
+ -- Size in bits (128 bits, or 16 bytes)
+
+type Derived_Type is new Base with record Data_Field : Integer; end record;
+ -- ERROR if Derived_Type exceeds 16 bytes
+
+
+
+New https://gcc.gnu.org/onlinedocs/gnat_rm/Generalized-Finalization.html";>Finalizable
+aspect. It is a GNAT language extension which serves as a lightweight
+alternative to controlled types. They have been designed with
+provability in mind.
+
+type Ctrl is record
+ Id : Natural := 0;
+end record with Finalizable => (Initialize => Initialize,
+Adjust => Adjust,
+Finalize => Finalize,
+Relaxed_Finalization => True);
+
+procedure Adjust (Obj : in out Ctrl);
+procedure Finalize (Obj : in out Ctrl);
+procedure Initialize (Obj : in out Ctrl);
+
+
+
+The
+aspect https://gcc.gnu.org/onlinedocs/gnat_rm/No_005fRaise-aspect.html";>No_Raise
+has been added, it is the same as Pragma No_Raise.
+
+
+The
+aspect https://gcc.gnu.org/onlinedocs/gnat_rm/External_005fInitialization-Aspect.html";>External_Initialization
+has been added, it allows for data to be initialized using an external file
+which is loaded during compilation time.
+
+
+The
+aspect https://gcc.gnu.org/onlinedocs/gnat_rm/Pragma-Exit_005fCases.html#index-Exit_005fCases";>Exit_Cases
+has been added to annotate functions and procedures with side effects in
+SPARK
+(see https://docs.adacore.com/spark2014-docs/html/lrm/subprograms.html#program-exit-aspects";>SPARK
+reference manual) . It can be used to partition the input state into a
+list of cases and specify, for each case, how the subprogram is allowed to
+terminate.
+
+
+Language extensions are enabled through the use of pragma
+Extensions_Allowed (On | Off | All_Extensions); which has had its
+syntax changed. An argument of All_Extensions has the same
+effect as On, except
+that https://gcc.gnu.org/onlinedocs/gnat_rm/Experimental-Language-Extensions.html";>some
+extra experimental extensions are enabled.
+
+
+Several new compilation flags have been added, some examples
+include https://gcc.gnu.org/onlinedocs/gnat_ugn/Info-message-Control.html";>-gnatis,
https://gcc.gnu.org/onlinedocs/gnat_ugn/Warning-Message-Control.html#index--gnatw_002en-_0028gcc_0029";>-gnatw.n,
https://gcc.gnu.org/onlinedocs/gnat_ugn/Warning-Message-Control.html#index--gnatw_005fl-_0028gcc_0029";>-gnatw_l
+and https://gcc.gnu.org/onlinedocs/gnat_ugn/Warning-Message-Control.html#index--gnatw_002ev-_0028gcc_0029";>-gnatw.v.
+The internal debugging utilities for the compiler have also received a lot
+of new options, please refer
+to https://gcc.gnu.org/git/?p=gcc.git;a=blob;f=gcc/ada/debug.adb";>debug.adb
+for more information.
+
+
+The diagnostics code has seen a major refactor, it now supports the sarif
+format -fdiagnostics-format=sarif-file among other
+improvements. More changes are expected in following releases.
+
+
+System.Image_A has now printing routines to output address
+information in HEX.
+
+
+Several program units have
