diff options
| author | Arnaud Charlet <charlet@gcc.gnu.org> | 2016-05-02 11:12:46 +0200 |
|---|---|---|
| committer | Arnaud Charlet <charlet@gcc.gnu.org> | 2016-05-02 11:12:46 +0200 |
| commit | 3702225c48a2db3cce92b96ca1648b16806c6abb (patch) | |
| tree | 5e49935df989d3007e05504f1f344d12733f4ce5 /gcc/ada/sem_ch4.adb | |
| parent | f96fd197d26faabef756d6cb97d782919685b45e (diff) | |
| download | gcc-3702225c48a2db3cce92b96ca1648b16806c6abb.zip gcc-3702225c48a2db3cce92b96ca1648b16806c6abb.tar.gz gcc-3702225c48a2db3cce92b96ca1648b16806c6abb.tar.bz2 | |
Minor reformatting.
From-SVN: r235711
Diffstat (limited to 'gcc/ada/sem_ch4.adb')
| -rw-r--r-- | gcc/ada/sem_ch4.adb | 21 |
1 files changed, 12 insertions, 9 deletions
diff --git a/gcc/ada/sem_ch4.adb b/gcc/ada/sem_ch4.adb index 9982708..fdefb00 100644 --- a/gcc/ada/sem_ch4.adb +++ b/gcc/ada/sem_ch4.adb @@ -597,13 +597,15 @@ package body Sem_Ch4 is if Is_Tagged_Type (Type_Id) and then Has_Discriminants (Type_Id) and then not Is_Constrained (Type_Id) - and then Present - (Discriminant_Default_Value (First_Discriminant (Type_Id))) + and then + Present + (Discriminant_Default_Value + (First_Discriminant (Type_Id))) then declare + Constr : constant List_Id := New_List; Loc : constant Source_Ptr := Sloc (E); Discr : Entity_Id := First_Discriminant (Type_Id); - Constr : constant List_Id := New_List; begin if Present (Discriminant_Default_Value (Discr)) then @@ -612,11 +614,12 @@ package body Sem_Ch4 is Next_Discriminant (Discr); end loop; - Rewrite (E, Make_Subtype_Indication (Loc, - Subtype_Mark => New_Occurrence_Of (Type_Id, Loc), - Constraint => - Make_Index_Or_Discriminant_Constraint (Loc, - Constr))); + Rewrite (E, + Make_Subtype_Indication (Loc, + Subtype_Mark => New_Occurrence_Of (Type_Id, Loc), + Constraint => + Make_Index_Or_Discriminant_Constraint (Loc, + Constraints => Constr))); end if; end; end if; @@ -638,7 +641,7 @@ package body Sem_Ch4 is Error_Msg_N ("constraint not allowed here", E); if Nkind (Constraint (E)) = - N_Index_Or_Discriminant_Constraint + N_Index_Or_Discriminant_Constraint then Error_Msg_N -- CODEFIX ("\if qualified expression was meant, " & |