https://gcc.gnu.org/g:0b972c87ac2a90292f48a389e77d8f1368c77d3b

commit r15-4648-g0b972c87ac2a90292f48a389e77d8f1368c77d3b
Author: Eric Botcazou <ebotca...@adacore.com>
Date:   Tue Oct 1 09:19:36 2024 +0200

    ada: Small adjustments to commentary after latest change
    
    This removes the enumeration of the various cases in the comment associated
    with the declaration of In_Expanded_Body to prevent synchronization issues.
    
    gcc/ada/ChangeLog:
    
            * freeze.adb (Freeze_Expression.In_Expanded_Body): Tweak comments.

Diff:
---
 gcc/ada/freeze.adb | 11 +++++------
 1 file changed, 5 insertions(+), 6 deletions(-)

diff --git a/gcc/ada/freeze.adb b/gcc/ada/freeze.adb
index 101cf4740e34..9c14e1f1a700 100644
--- a/gcc/ada/freeze.adb
+++ b/gcc/ada/freeze.adb
@@ -8341,10 +8341,9 @@ package body Freeze is
 
       function In_Expanded_Body (N : Node_Id) return Boolean;
       --  Given an N_Handled_Sequence_Of_Statements node, determines whether it
-      --  is the statement sequence of an expander-generated subprogram: body
-      --  created for an expression function, for a predicate function, an init
-      --  proc, a stream subprogram, or a renaming as body. If so, this is not
-      --  a freezing context and the entity will be frozen at a later point.
+      --  is the statement sequence of an expander-generated subprogram body or
+      --  of a renaming_as_body. If so, this is not a freezing context and the
+      --  entity will be frozen at a later point.
 
       function Has_Decl_In_List
         (E : Entity_Id;
@@ -8464,8 +8463,8 @@ package body Freeze is
          else
             Id := Defining_Unit_Name (Specification (P));
 
-            --  The following are expander-created bodies, or bodies that
-            --  are not freeze points.
+            --  This is the body of a Type-Specific Support routine or the one
+            --  generated for a renaming_as_body.
 
             if Nkind (Id) = N_Defining_Identifier
               and then (Is_Init_Proc (Id)

Reply via email to