diff options
| author | Arnaud Charlet <charlet@adacore.com> | 2020-06-23 10:43:01 -0400 |
|---|---|---|
| committer | Pierre-Marie de Rodat <derodat@adacore.com> | 2020-10-15 05:39:10 -0400 |
| commit | 701a05667fbcc7d9c28bb915bc241b25db5e7312 (patch) | |
| tree | fdf3be1f0b9b0e66b714831be173d8277ef727ae /gcc/ada/sem_util.adb | |
| parent | f644627e27b2a15159f1481ae0ea56297508d78f (diff) | |
| download | gcc-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.
Diffstat (limited to 'gcc/ada/sem_util.adb')
| -rw-r--r-- | gcc/ada/sem_util.adb | 13 |
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; |