Minor reformatting.
authorArnaud Charlet <charlet@gcc.gnu.org>
Mon, 2 May 2016 09:12:46 +0000 (11:12 +0200)
committerArnaud Charlet <charlet@gcc.gnu.org>
Mon, 2 May 2016 09:12:46 +0000 (11:12 +0200)
From-SVN: r235711

gcc/ada/exp_ch5.adb
gcc/ada/sem_attr.adb
gcc/ada/sem_ch13.adb
gcc/ada/sem_ch4.adb

index 5238efcb5b857176ee683ace0f7dec26554a30a6..5377b95086b782e71798a75cb18501deefbf31b9 100644 (file)
@@ -2251,14 +2251,14 @@ package body Exp_Ch5 is
                                Prefix =>
                                  Unchecked_Convert_To (RTE (RE_Tag_Ptr),
                                    Make_Attribute_Reference (Loc,
-                                     Prefix => Duplicate_Subexpr (Lhs),
+                                     Prefix         => Duplicate_Subexpr (Lhs),
                                      Attribute_Name => Name_Address)));
                            Rhs_Tag :=
                              Make_Explicit_Dereference (Loc,
                                Prefix =>
                                  Unchecked_Convert_To (RTE (RE_Tag_Ptr),
                                    Make_Attribute_Reference (Loc,
-                                     Prefix => Duplicate_Subexpr (Rhs),
+                                     Prefix         => Duplicate_Subexpr (Rhs),
                                      Attribute_Name => Name_Address)));
                         end if;
 
@@ -2266,9 +2266,9 @@ package body Exp_Ch5 is
                           Make_Raise_Constraint_Error (Loc,
                             Condition =>
                               Make_Op_Ne (Loc,
-                                Left_Opnd => Lhs_Tag,
+                                Left_Opnd  => Lhs_Tag,
                                 Right_Opnd => Rhs_Tag),
-                            Reason => CE_Tag_Check_Failed));
+                            Reason    => CE_Tag_Check_Failed));
                      end;
                   end if;
 
index d071f02e737bfc262f3bae4715aea7afca4e8c1b..6d8f8fcb3a1098fc9ad0a1d7443fe543c5bf7997 100644 (file)
@@ -4980,7 +4980,6 @@ package body Sem_Attr is
             --  type may lead to spurious errors if context is a case.
 
             if not GNATprove_Mode then
-
                if not Is_Discrete_Type (Pref_Typ) then
                   Pref_Typ := Base_Type (Pref_Typ);
                end if;
index c6d0dba7a4a2157b37122722325a0c6caefe638d..875c166670081240e9e0fabac540241a708151ec 100644 (file)
@@ -4322,8 +4322,8 @@ package body Sem_Ch13 is
          ----------------------------
 
          function Valid_Default_Iterator (Subp : Entity_Id) return Boolean is
-            Formal : Entity_Id;
             Root_T : constant Entity_Id := Root_Type (Etype (Etype (Subp)));
+            Formal : Entity_Id;
 
          begin
             if not Check_Primitive_Function (Subp) then
@@ -4422,7 +4422,7 @@ package body Sem_Ch13 is
                   Set_Is_Overloaded (Expr, False);
                else
                   Error_Msg_N
-                    ("No interpretation is a valid default iterator!", Expr);
+                    ("no interpretation is a valid default iterator!", Expr);
                end if;
             end;
          end if;
index 99827081d0bbf81ea4c41d2a09d36e45d5883076..fdefb004a7e4b236da1ff02c834aaa6c616e79fe 100644 (file)
@@ -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, " &