diff options
| author | Piotr Trojanek <trojanek@adacore.com> | 2020-03-13 15:43:54 +0100 |
|---|---|---|
| committer | Giuliano Belinassi <giuliano.belinassi@usp.br> | 2020-08-17 13:12:03 -0300 |
| commit | f9e02100719ec480367f5a79c616420aa7ac5263 (patch) | |
| tree | 500cbcfb0c8c2d12bd1c4a49ed0b6f26c05ab096 | |
| parent | 6165fa6662b39df16612669647aaa603c29e2e08 (diff) | |
| download | gcc-f9e02100719ec480367f5a79c616420aa7ac5263.zip gcc-f9e02100719ec480367f5a79c616420aa7ac5263.tar.gz gcc-f9e02100719ec480367f5a79c616420aa7ac5263.tar.bz2 | |
[Ada] Simplify iteration over formal parameters for aliasing error
2020-06-11 Piotr Trojanek <trojanek@adacore.com>
gcc/ada/
* sem_warn.adb (Warn_On_Overlapping_Actuals): Add label to the
outer loop and use it in the exit statement.
| -rw-r--r-- | gcc/ada/sem_warn.adb | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/gcc/ada/sem_warn.adb b/gcc/ada/sem_warn.adb index a3195a1..ca019ef 100644 --- a/gcc/ada/sem_warn.adb +++ b/gcc/ada/sem_warn.adb @@ -1835,7 +1835,7 @@ package body Sem_Warn is elsif Nkind (Pref) = N_Explicit_Dereference then return True; - -- If prefix is itself a component reference or slice check prefix + -- If prefix is itself a component reference or slice check prefix elsif Nkind (Pref) = N_Slice or else Nkind (Pref) = N_Indexed_Component @@ -3707,7 +3707,7 @@ package body Sem_Warn is Warn_Only := True; Form1 := First_Formal (Subp); - while Present (Form1) loop + Set_Warn_Only : while Present (Form1) loop Form2 := Next_Formal (Form1); while Present (Form2) loop if Is_Elementary_Type (Etype (Form1)) @@ -3716,14 +3716,14 @@ package body Sem_Warn is and then Ekind (Form2) /= E_In_Parameter then Warn_Only := False; - exit; + exit Set_Warn_Only; end if; Next_Formal (Form2); end loop; Next_Formal (Form1); - end loop; + end loop Set_Warn_Only; -- Exclude calls rewritten as enumeration literals |