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  4d03ca0c8c9d1ee86776ced617b05ad61168fdcf (commit)
      from  146a08b6117912abf7b25f7b7adc578da91b754a (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 4d03ca0c8c9d1ee86776ced617b05ad61168fdcf
Author: Eric Botcazou <ebotca...@adacore.com>
Date:   Tue Apr 8 13:10:59 2025 +0200

    Small fixes to previous changes to gcc-15/changes

diff --git a/htdocs/gcc-15/changes.html b/htdocs/gcc-15/changes.html
index 8220d130..e29fca9d 100644
--- a/htdocs/gcc-15/changes.html
+++ b/htdocs/gcc-15/changes.html
@@ -154,7 +154,7 @@ a work-in-progress.</p>
   <li>
     GNAT now allows
     the <a 
href="https://gcc.gnu.org/onlinedocs/gnat_rm/Attribute-Round.html#index-Round";><code>'Round</code></a>
-    attribute also for fixed point types.
+    attribute also for ordinary fixed-point types.
   </li>
   <li>
     The new GNAT
@@ -163,7 +163,7 @@ a work-in-progress.</p>
     conversion to the most immediate specific parent type.
   </li>
   <li>
-    <a 
href="https://gcc.gnu.org/onlinedocs/gnat_rm/Mutably-Tagged-Types-with-Size_2019Class-Aspect.html";>Mutably
 <code>tagged</code> types</a> with a defined size are now available
+    <a 
href="https://gcc.gnu.org/onlinedocs/gnat_rm/Mutably-Tagged-Types-with-Size_2019Class-Aspect.html";>Mutably
 tagged types</a> with a defined size are now available
     through the use of <code>Size'Class</code>. This allows defining a maximum
     size for the tagged. Example:
 <pre>
@@ -176,26 +176,25 @@ type Derived_Type is new Base with record Data_Field : 
Integer; end record;
   </li>
   <li>
     New <a 
href="https://gcc.gnu.org/onlinedocs/gnat_rm/Generalized-Finalization.html";><code>Finalizable</code>
-    aspect</a>. It is a GNAT language extension which serves as a lightweight
-    alternative to <code>controlled</code> types. They have been designed with
-    provability in mind.
+    </a> aspect. It is a GNAT language extension which serves as a lightweight
+    alternative to controlled types.
 <pre>
-type Ctrl is record
-     Id : Natural := 0;
+type T is record
+     ...
 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);
+procedure Adjust     (Obj : in out T);
+procedure Finalize   (Obj : in out T);
+procedure Initialize (Obj : in out T);
 </pre>
   </li>
   <li>
     The
     aspect <a 
href="https://gcc.gnu.org/onlinedocs/gnat_rm/No_005fRaise-aspect.html";><code>No_Raise</code></a>
-    has been added, it is the same as <code>Pragma No_Raise</code>.
+    has been added, it declares that a subprogram cannot raise an exception.
   </li>
   <li>
     The

-----------------------------------------------------------------------

Summary of changes:
 htdocs/gcc-15/changes.html | 21 ++++++++++-----------
 1 file changed, 10 insertions(+), 11 deletions(-)


hooks/post-receive
-- 
gcc-wwwdocs

Reply via email to