[Ada] Minor reformatting
authorHristian Kirtchev <kirtchev@adacore.com>
Mon, 1 Jul 2019 13:37:42 +0000 (13:37 +0000)
committerPierre-Marie de Rodat <pmderodat@gcc.gnu.org>
Mon, 1 Jul 2019 13:37:42 +0000 (13:37 +0000)
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
gcc/ada/checks.adb
gcc/ada/exp_ch9.adb
gcc/ada/exp_unst.adb
gcc/ada/sem_ch4.adb
gcc/ada/sem_prag.adb
gcc/ada/sem_spark.adb

index 63ed0d8a0a48d53d3fb955bedc344c81d3a36cf3..51ff642cdd8ebf74cafa7012e5e77a90b47526a3 100644 (file)
@@ -1,3 +1,8 @@
+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
index e851c5f702f29340eb7d54b1c48020226635795e..33fb27eeec528047cb6a699a8aeb2dd0a5991db3 100644 (file)
@@ -7429,15 +7429,15 @@ 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)))
         and then Present (Protected_Subprogram (Scope (Entity (Expr))))
         and then Uses_Lock_Free
-           (Scope (Protected_Subprogram (Scope (Entity (Expr)))))
+                   (Scope (Protected_Subprogram (Scope (Entity (Expr)))))
       then
          return;
       end if;
index c431e864423059ce9fdc154b37b6ee155c243e6d..0f83d57fdd849bd42bd58eba6df20e2b98ee9779 100644 (file)
@@ -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;
index f7f488a4e914b966af3bc922c73117ab7c305789..b81b1b97a2d4f64fe34a6a8effe125fe8bcd7037 100644 (file)
@@ -463,9 +463,9 @@ package body Exp_Unst is
             Callee : Entity_Id;
 
             procedure Check_Static_Type
-              (T  : Entity_Id;
-               N  : Node_Id;
-               DT : in out Boolean;
+              (T                : Entity_Id;
+               N                : Node_Id;
+               DT               : in out Boolean;
                Check_Designated : Boolean := False);
             --  Given a type T, checks if it is a static type defined as a type
             --  with no dynamic bounds in sight. If so, the only action is to
@@ -497,9 +497,9 @@ package body Exp_Unst is
             -----------------------
 
             procedure Check_Static_Type
-              (T  : Entity_Id;
-               N  : Node_Id;
-               DT : in out Boolean;
+              (T                : Entity_Id;
+               N                : Node_Id;
+               DT               : in out Boolean;
                Check_Designated : Boolean := False)
             is
                procedure Note_Uplevel_Bound (N : Node_Id; Ref : Node_Id);
@@ -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);
index 03a156a3f77c0cba9f8adc386b3be825297896e2..3328f96cfadd28714fa5c235fae738953b152745 100644 (file)
@@ -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
index ca3603c8ca69583730c332c9b6c586e9e46d8b68..5e7f743aff96c7953a0b0ec4f967fd59362b9a55 100644 (file)
@@ -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");
index 292c936f803a5d4710e2fcd3f8cf428f95dc75bd..0040dde325e736a276d441d709357100ab919b90 100644 (file)
@@ -47,7 +47,6 @@ package body Sem_SPARK is
    ---------------------------------------------------
 
    package Permissions is
-
       Elaboration_Context_Max : constant := 1009;
       --  The hash range