[Ada] Minor reformatting

2019-07-01  Hristian Kirtchev  <kirtchev@adacore.com>

gcc/ada/

	* checks.adb, exp_ch9.adb, exp_unst.adb, sem_ch4.adb,
	sem_prag.adb, sem_spark.adb: Minor reformatting.

From-SVN: r272882

gcc/ada/ChangeLog

+2019-07-01  Hristian Kirtchev  <kirtchev@adacore.com>
+
+	* checks.adb, exp_ch9.adb, exp_unst.adb, sem_ch4.adb,
+	sem_prag.adb, sem_spark.adb: Minor reformatting.
+
 2019-07-01  Ed Schonberg  <schonberg@adacore.com>
 
 	* sem_attr.adb (Analyze_Attribute, case Enum_Rep): Allow prefix

gcc/ada/checks.adb

@@ -7429,9 +7429,9 @@ package body Checks is
          return;
       end if;
 
-      --  Entities declared in Lock_free protected types must be treated
-      --  as volatile, and we must inhibit validity checks to prevent
-      --  improper constant folding.
+      --  Entities declared in Lock_free protected types must be treated as
+      --  volatile, and we must inhibit validity checks to prevent improper
+      --  constant folding.
 
       if Is_Entity_Name (Expr)
         and then Is_Subprogram (Scope (Entity (Expr)))

gcc/ada/exp_ch9.adb

@@ -8950,6 +8950,7 @@ package body Exp_Ch9 is
             Set_Is_Inlined (Protected_Body_Subprogram (Subp));
             Set_Is_Inlined (Subp, False);
          end if;
+
          if Has_Pragma_No_Inline (Subp) then
             Set_Has_Pragma_No_Inline (Protected_Body_Subprogram (Subp));
          end if;

gcc/ada/exp_unst.adb

@@ -702,7 +702,7 @@ package body Exp_Unst is
                      Set_Is_Static_Type (T);
                   end if;
 
-               --  For access types, check designated type when required.
+               --  For access types, check designated type when required
 
                elsif Is_Access_Type (T) and then Check_Designated then
                   Check_Static_Type (Directly_Designated_Type (T), N, DT);

gcc/ada/sem_ch4.adb

@@ -7402,15 +7402,15 @@ package body Sem_Ch4 is
                              and then Is_Fixed_Point_Type (Etype (L))
                              and then Is_Integer_Type (Etype (R))
                            then
-                              Error_Msg_N ("\convert right operand to "
-                                           & "`Integer`", N);
+                              Error_Msg_N
+                                ("\convert right operand to `Integer`", N);
 
                            elsif Nkind (N) = N_Op_Multiply
                              and then Is_Fixed_Point_Type (Etype (R))
                              and then Is_Integer_Type (Etype (L))
                            then
-                              Error_Msg_N ("\convert left operand to "
-                                           & "`Integer`", N);
+                              Error_Msg_N
+                                ("\convert left operand to `Integer`", N);
                            end if;
 
                         --  For concatenation operators it is more difficult to

gcc/ada/sem_prag.adb

@@ -25608,7 +25608,7 @@ package body Sem_Prag is
                Ent := Underlying_Type (Ent);
             end if;
 
-            --  The pragma applies to entities with addresses.
+            --  The pragma applies to entities with addresses
 
             if Is_Type (Ent) then
                Error_Pragma ("pragma applies to objects and subprograms");

gcc/ada/sem_spark.adb

@@ -47,7 +47,6 @@ package body Sem_SPARK is
    ---------------------------------------------------
 
    package Permissions is
-
       Elaboration_Context_Max : constant := 1009;
       --  The hash range