From: Arnaud Charlet <charlet@adacore.com>
Date: Tue, 23 Jun 2020 14:43:01 +0000 (-0400)
Subject: [Ada] Code cleanup
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=701a05667fbcc7d9c28bb915bc241b25db5e7312;p=gcc.git

[Ada] Code cleanup

gcc/ada/

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

diff --git a/gcc/ada/sem_util.adb b/gcc/ada/sem_util.adb
index e126b4384c3..15336307ffd 100644
--- a/gcc/ada/sem_util.adb
+++ b/gcc/ada/sem_util.adb
@@ -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;