diff options
| author | Piotr Trojanek <trojanek@adacore.com> | 2021-12-08 15:19:49 +0100 |
|---|---|---|
| committer | Pierre-Marie de Rodat <derodat@adacore.com> | 2022-01-06 17:11:39 +0000 |
| commit | a9f0ee1dfc2a083ede548e38f9c2554163a87a16 (patch) | |
| tree | 3a084becc3f847857887226894b2da973078a8fa /gcc/ada/sem_ch3.adb | |
| parent | 4ca7f4e26dd10243da57584175db137115e5aefd (diff) | |
| download | gcc-a9f0ee1dfc2a083ede548e38f9c2554163a87a16.zip gcc-a9f0ee1dfc2a083ede548e38f9c2554163a87a16.tar.gz gcc-a9f0ee1dfc2a083ede548e38f9c2554163a87a16.tar.bz2 | |
[Ada] Remove unnecessary guards for non-empty lists
gcc/ada/
* errout.adb (Remove_Warning_Messages): Remove unnecessary guard.
* exp_util.adb (Kill_Dead_Code): Likewise.
* par_sco.adb (Traverse_Declarations_Or_Statements): Likewise.
* sem_ch3.adb (Build_Derived_Record_Type): Likewise.
* sem_ch4.adb (Traverse_Interfaces): Likewise.
* sem_eval.adb (Traverse_Interfaces): Likewise.
* sem_util.adb (Collect_Interfaces): Likewise.
(Has_Non_Null_Statements, Side_Effect_Free_Statements):
Likewise; turn into WHILE loops, for consistency.
Diffstat (limited to 'gcc/ada/sem_ch3.adb')
| -rw-r--r-- | gcc/ada/sem_ch3.adb | 12 |
1 files changed, 5 insertions, 7 deletions
diff --git a/gcc/ada/sem_ch3.adb b/gcc/ada/sem_ch3.adb index d05fbcd..7643cd1 100644 --- a/gcc/ada/sem_ch3.adb +++ b/gcc/ada/sem_ch3.adb @@ -9351,13 +9351,11 @@ package body Sem_Ch3 is declare Iface : Node_Id; begin - if Is_Non_Empty_List (Interface_List (Type_Def)) then - Iface := First (Interface_List (Type_Def)); - while Present (Iface) loop - Freeze_Before (N, Etype (Iface)); - Next (Iface); - end loop; - end if; + Iface := First (Interface_List (Type_Def)); + while Present (Iface) loop + Freeze_Before (N, Etype (Iface)); + Next (Iface); + end loop; end; end if; |