https://gcc.gnu.org/g:6ad0d51d4e1d4cc16a68d4e1c588c65849335493

commit r16-1319-g6ad0d51d4e1d4cc16a68d4e1c588c65849335493
Author: Ronan Desplanques <desplanq...@adacore.com>
Date:   Tue Mar 4 14:29:07 2025 +0100

    ada: Remove unnecessary special handling
    
    This patch removes a special exemption in Enter_Name. That exemption was
    preceded by a comment which described what situations it was supposed to
    be required for, but it was unnecessary even in those situations.
    
    gcc/ada/ChangeLog:
    
            * sem_util.adb (Enter_Name): Remove special handling.

Diff:
---
 gcc/ada/sem_util.adb | 12 +-----------
 1 file changed, 1 insertion(+), 11 deletions(-)

diff --git a/gcc/ada/sem_util.adb b/gcc/ada/sem_util.adb
index 523aff33f95a..59bf060ee740 100644
--- a/gcc/ada/sem_util.adb
+++ b/gcc/ada/sem_util.adb
@@ -8082,17 +8082,7 @@ package body Sem_Util is
 
       --  If we fall through, declaration is OK, at least OK enough to continue
 
-      --  If Def_Id is a discriminant or a record component we are in the midst
-      --  of inheriting components in a derived record definition. Preserve
-      --  their Ekind and Etype.
-
-      if Ekind (Def_Id) in E_Discriminant | E_Component then
-         null;
-
-      elsif Present (Etype (Def_Id)) then
-         null;
-
-      else
+      if No (Etype (Def_Id)) then
          Set_Etype (Def_Id, Any_Type); -- avoid cascaded errors
       end if;

Reply via email to