[Ada] Code cleanup
authorArnaud Charlet <charlet@adacore.com>
Tue, 23 Jun 2020 14:43:01 +0000 (10:43 -0400)
committerPierre-Marie de Rodat <derodat@adacore.com>
Thu, 15 Oct 2020 09:39:10 +0000 (05:39 -0400)
gcc/ada/

* sem_util.adb (Enter_Name): Remove unnecessary conditions in
Enter_Name that come from the beginning of times.

gcc/ada/sem_util.adb

index e126b4384c316d5ec031202de6c2f6eca38eee0c..15336307ffdb3e9976ee3ef68804b8a5907df720 100644 (file)
@@ -7825,18 +7825,9 @@ package body Sem_Util is
          Set_Etype (Def_Id, Any_Type);
       end if;
 
-      --  Inherited discriminants and components in derived record types are
-      --  immediately visible. Itypes are not.
+      --  All entities except Itypes are immediately visible
 
-      --  Unless the Itype is for a record type with a corresponding remote
-      --  type (what is that about, it was not commented ???)
-
-      if Ekind (Def_Id) in E_Discriminant | E_Component
-        or else
-          ((not Is_Record_Type (Def_Id)
-             or else No (Corresponding_Remote_Type (Def_Id)))
-            and then not Is_Itype (Def_Id))
-      then
+      if not Is_Itype (Def_Id) then
          Set_Is_Immediately_Visible (Def_Id);
          Set_Current_Entity         (Def_Id);
       end if;