aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorArnaud Charlet <charlet@adacore.com>2020-06-23 10:43:01 -0400
committerPierre-Marie de Rodat <derodat@adacore.com>2020-10-15 05:39:10 -0400
commit701a05667fbcc7d9c28bb915bc241b25db5e7312 (patch)
treefdf3be1f0b9b0e66b714831be173d8277ef727ae
parentf644627e27b2a15159f1481ae0ea56297508d78f (diff)
downloadgcc-701a05667fbcc7d9c28bb915bc241b25db5e7312.zip
gcc-701a05667fbcc7d9c28bb915bc241b25db5e7312.tar.gz
gcc-701a05667fbcc7d9c28bb915bc241b25db5e7312.tar.bz2
[Ada] Code cleanup
gcc/ada/ * sem_util.adb (Enter_Name): Remove unnecessary conditions in Enter_Name that come from the beginning of times.
-rw-r--r--gcc/ada/sem_util.adb13
1 files changed, 2 insertions, 11 deletions
diff --git a/gcc/ada/sem_util.adb b/gcc/ada/sem_util.adb
index e126b43..1533630 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;