https://gcc.gnu.org/g:ef1727e34c766bd812357a27aac5109a10c48b89

commit r16-1931-gef1727e34c766bd812357a27aac5109a10c48b89
Author: Ronan Desplanques <desplanq...@adacore.com>
Date:   Tue Jun 3 15:01:36 2025 +0200

    ada: Fix comment
    
    This patch fixes a comment that wrongly stated that no dispatch entry
    for deep finalize was created for limited tagged types.
    
    gcc/ada/ChangeLog:
    
            * exp_ch3.adb (Make_Predefined_Primitive_Specs): Fix comment.

Diff:
---
 gcc/ada/exp_ch3.adb | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/gcc/ada/exp_ch3.adb b/gcc/ada/exp_ch3.adb
index 2372a9f11df1..eec276ccd044 100644
--- a/gcc/ada/exp_ch3.adb
+++ b/gcc/ada/exp_ch3.adb
@@ -342,9 +342,9 @@ package body Exp_Ch3 is
    --     typSO          provides result of 'Output attribute
    --     typPI          provides result of 'Put_Image attribute
    --
-   --  The following entries are additionally present for non-limited tagged
-   --  types, and implement additional dispatching operations for predefined
-   --  operations:
+   --  The following entries implement additional dispatching operations for
+   --  predefined operations. Deep finalization is present on all tagged types;
+   --  the others only on nonlimited tagged types:
    --
    --     _equality      implements "=" operator
    --     _assign        implements assignment operation

Reply via email to