checks.adb, [...]: Minor reformatting.

2012-10-05  Robert Dewar  <dewar@adacore.com>

	* checks.adb, checks.ads, s-tassta.adb, s-stposu.adb, s-spsufi.adb,
	s-spsufi.ads, exp_ch4.adb: Minor reformatting.

From-SVN: r192125

gcc/ada/ChangeLog

+2012-10-05  Robert Dewar  <dewar@adacore.com>
+
+	* checks.adb, checks.ads, s-tassta.adb, s-stposu.adb, s-spsufi.adb,
+	s-spsufi.ads, exp_ch4.adb: Minor reformatting.
+
 2012-10-05  Yannick Moy  <moy@adacore.com>
 
 	* switch-c.adb, checks.adb, checks.ads, sem_prag.adb, exp_ch4.adb,

gcc/ada/checks.adb

@@ -1207,10 +1207,9 @@ package body Checks is
             Analyze_And_Resolve (Op);
          end;
 
-      --  Here we know the result is Long_Long_Integer'Base,
-      --  or that it has been rewritten because the parent
-      --  is a conversion (see Conversion_Optimization in
-      --  Apply_Arithmetic_Overflow_Checked_Suppressed).
+      --  Here we know the result is Long_Long_Integer'Base, of that it has
+      --  been rewritten because the parent operation is a conversion. See
+      --  Conversion_Optimization.Apply_Arithmetic_Overflow_Checked_Suppressed.
 
       else
          pragma Assert

gcc/ada/checks.ads

@@ -320,7 +320,7 @@ package Checks is
    --
    --    Overflow checks are applied to the operands of a comparison operation.
    --    In this case, the comparison is done on the result Long_Long_Integer
-   --    or Bignum values, without raising any exception.
+   --    or Bignum values, without raising any exceptions.
    --
    --    Overflow checks are applied to the left operand of a membership test.
    --    In this case no exception is raised if a Long_Long_Integer or Bignum

gcc/ada/exp_ch4.adb

@@ -7084,7 +7084,7 @@ package body Exp_Ch4 is
       Typl := Base_Type (Typl);
 
       --  Deal with overflow checks in MINIMIZED/ELIMINATED mode and if that
-      --  results in not having a comparison operation anymore, we are done.
+      --  means we no longer have a comparison operation, we are all done.
 
       Expand_Compare_Minimize_Eliminate_Overflow (N);
 
@@ -7678,7 +7678,7 @@ package body Exp_Ch4 is
       Binary_Op_Validity_Checks (N);
 
       --  Deal with overflow checks in MINIMIZED/ELIMINATED mode and if that
-      --  results in not having a comparison operation anymore, we are done.
+      --  means we no longer have a comparison operation, we are all done.
 
       Expand_Compare_Minimize_Eliminate_Overflow (N);
 
@@ -7728,7 +7728,7 @@ package body Exp_Ch4 is
       Binary_Op_Validity_Checks (N);
 
       --  Deal with overflow checks in MINIMIZED/ELIMINATED mode and if that
-      --  results in not having a comparison operation anymore, we are done.
+      --  means we no longer have a comparison operation, we are all done.
 
       Expand_Compare_Minimize_Eliminate_Overflow (N);
 
@@ -7778,7 +7778,7 @@ package body Exp_Ch4 is
       Binary_Op_Validity_Checks (N);
 
       --  Deal with overflow checks in MINIMIZED/ELIMINATED mode and if that
-      --  results in not having a comparison operation anymore, we are done.
+      --  means we no longer have a comparison operation, we are all done.
 
       Expand_Compare_Minimize_Eliminate_Overflow (N);
 
@@ -7828,7 +7828,7 @@ package body Exp_Ch4 is
       Binary_Op_Validity_Checks (N);
 
       --  Deal with overflow checks in MINIMIZED/ELIMINATED mode and if that
-      --  results in not having a comparison operation anymore, we are done.
+      --  means we no longer have a comparison operation, we are all done.
 
       Expand_Compare_Minimize_Eliminate_Overflow (N);
 
@@ -8263,7 +8263,7 @@ package body Exp_Ch4 is
          Binary_Op_Validity_Checks (N);
 
          --  Deal with overflow checks in MINIMIZED/ELIMINATED mode and if
-         --  that results in not having a /= operation anymore, we are done.
+         --  means we no longer have a /= operation, we are all done.
 
          Expand_Compare_Minimize_Eliminate_Overflow (N);
 

gcc/ada/s-spsufi.adb

@@ -2,8 +2,7 @@
 --                                                                          --
 --                         GNAT COMPILER COMPONENTS                         --
 --                                                                          --
---        S Y S T E M . S T O R A G E _ P O O L S . S U B P O O L S .       --
---                          F I N A L I Z A T I O N                         --
+--                SYSTEM.STORAGE_POOLS.SUBPOOLS.FINALIZATION                --
 --                                                                          --
 --                                 B o d y                                  --
 --                                                                          --
@@ -31,6 +30,7 @@
 ------------------------------------------------------------------------------
 
 with Ada.Unchecked_Deallocation;
+
 with System.Finalization_Masters; use System.Finalization_Masters;
 
 package body System.Storage_Pools.Subpools.Finalization is

gcc/ada/s-spsufi.ads

@@ -2,8 +2,7 @@
 --                                                                          --
 --                         GNAT COMPILER COMPONENTS                         --
 --                                                                          --
---        S Y S T E M . S T O R A G E _ P O O L S . S U B P O O L S .       --
---                          F I N A L I Z A T I O N                         --
+--                SYSTEM.STORAGE_POOLS.SUBPOOLS.FINALIZATION                --
 --                                                                          --
 --                                 S p e c                                  --
 --                                                                          --
@@ -33,6 +32,10 @@
 pragma Compiler_Unit;
 
 package System.Storage_Pools.Subpools.Finalization is
+
+   --  The pragma is needed because package System.Storage_Pools.Subpools which
+   --  is already preelaborated now depends on this unit.
+
    pragma Preelaborate;
 
    procedure Finalize_And_Deallocate (Subpool : in out Subpool_Handle);

gcc/ada/s-stposu.adb

@@ -31,11 +31,13 @@
 
 with Ada.Exceptions;           use Ada.Exceptions;
 with Ada.Unchecked_Conversion;
+
 with System.Address_Image;
 with System.Finalization_Masters; use System.Finalization_Masters;
 with System.IO;                   use System.IO;
 with System.Soft_Links;           use System.Soft_Links;
 with System.Storage_Elements;     use System.Storage_Elements;
+
 with System.Storage_Pools.Subpools.Finalization;
 use  System.Storage_Pools.Subpools.Finalization;
 

gcc/ada/s-tassta.adb

@@ -1905,11 +1905,11 @@ package body System.Tasking.Stages is
       C := All_Tasks_List;
       P := null;
       while C /= null loop
-         --  If Free_On_Termination is set, do nothing here, and let
-         --  the task free itself if not already done, otherwise we
-         --  risk a race condition where Vulnerable_Free_Task is called
-         --  in the loop below, while the task calls Free_Task itself,
-         --  in Terminate_Task.
+
+         --  If Free_On_Termination is set, do nothing here, and let the
+         --  task free itself if not already done, otherwise we risk a race
+         --  condition where Vulnerable_Free_Task is called in the loop below,
+         --  while the task calls Free_Task itself, in Terminate_Task.
 
          if C.Common.Parent = Self_ID
            and then C.Master_of_Task >= CM