[Ada] Fix inconstent subprogram body headers

These are GNAT style violations detected with a trivial Libadalang checker.

2018-05-21  Piotr Trojanek  <trojanek@adacore.com>

gcc/ada/

	* ada_get_targ.adb: Fix subprogram body headers.
	* adabkend.adb: Likewise.
	* checks.adb: Likewise.
	* exp_ch3.adb: Likewise.
	* exp_ch5.adb: Likewise.
	* exp_ch9.adb: Likewise.
	* exp_dist.adb: Likewise.
	* exp_tss.adb: Likewise.
	* inline.adb: Likewise.
	* lib-writ.adb: Likewise.
	* lib-xref-spark_specific.adb: Likewise.
	* libgnarl/s-osinte__darwin.adb: Likewise.
	* libgnarl/s-stusta.adb: Likewise.
	* libgnarl/s-taprop__solaris.adb: Likewise.
	* libgnarl/s-tposen.adb: Likewise.
	* libgnarl/s-vxwext__kernel-smp.adb: Likewise.
	* libgnarl/s-vxwext__kernel.adb: Likewise.
	* libgnat/a-btgbso.adb: Likewise.
	* libgnat/a-cfdlli.adb: Likewise.
	* libgnat/a-cfhama.adb: Likewise.
	* libgnat/a-cfinve.adb: Likewise.
	* libgnat/a-cimutr.adb: Likewise.
	* libgnat/a-coboho.adb: Likewise.
	* libgnat/a-cofove.adb: Likewise.
	* libgnat/a-cofuve.adb: Likewise.
	* libgnat/a-comutr.adb: Likewise.
	* libgnat/a-exexda.adb: Likewise.
	* libgnat/a-tags.adb: Likewise.
	* libgnat/a-tideau.adb: Likewise.
	* libgnat/a-wtdeau.adb: Likewise.
	* libgnat/a-ztdeau.adb: Likewise.
	* libgnat/g-alleve.adb: Likewise.
	* libgnat/s-excdeb.adb: Likewise.
	* libgnat/s-parint.adb: Likewise.
	* libgnat/s-shasto.adb: Likewise.
	* libgnat/s-traceb__hpux.adb: Likewise.
	* prepcomp.adb: Likewise.
	* sem_ch4.adb: Likewise.
	* sem_ch6.adb: Likewise.
	* sem_dist.adb: Likewise.
	* sem_prag.adb: Likewise.
	* sem_util.adb: Likewise.
	* sinfo.adb: Likewise.
	* switch.adb: Likewise.

From-SVN: r260442

19 files changed, 58 insertions, 58 deletions

diff --git a/gcc/ada/libgnat/a-btgbso.adb b/gcc/ada/libgnat/a-btgbso.adb
index f1208cd..f1f7c4c 100644
--- a/gcc/ada/libgnat/a-btgbso.adb
+++ b/gcc/ada/libgnat/a-btgbso.adb
@@ -52,9 +52,9 @@ package body Ada.Containers.Red_Black_Trees.Generic_Bounded_Set_Operations is
       end return;
    end Copy;
 
-   ----------------
-   -- Difference --
-   ----------------
+   --------------------
+   -- Set_Difference --
+   --------------------
 
    procedure Set_Difference (Target : in out Set_Type; Source : Set_Type) is
       Tgt, Src : Count_Type;
@@ -197,9 +197,9 @@ package body Ada.Containers.Red_Black_Trees.Generic_Bounded_Set_Operations is
       end return;
    end Set_Difference;
 
-   ------------------
-   -- Intersection --
-   ------------------
+   ----------------------
+   -- Set_Intersection --
+   ----------------------
 
    procedure Set_Intersection
      (Target : in out Set_Type;
@@ -328,9 +328,9 @@ package body Ada.Containers.Red_Black_Trees.Generic_Bounded_Set_Operations is
       end return;
    end Set_Intersection;
 
-   ---------------
-   -- Is_Subset --
-   ---------------
+   ----------------
+   -- Set_Subset --
+   ----------------
 
    function Set_Subset
      (Subset : Set_Type;
@@ -384,9 +384,9 @@ package body Ada.Containers.Red_Black_Trees.Generic_Bounded_Set_Operations is
       end;
    end Set_Subset;
 
-   -------------
-   -- Overlap --
-   -------------
+   -----------------
+   -- Set_Overlap --
+   -----------------
 
    function Set_Overlap (Left, Right : Set_Type) return Boolean is
    begin
@@ -424,9 +424,9 @@ package body Ada.Containers.Red_Black_Trees.Generic_Bounded_Set_Operations is
       end;
    end Set_Overlap;
 
-   --------------------------
-   -- Symmetric_Difference --
-   --------------------------
+   ------------------------------
+   -- Set_Symmetric_Difference --
+   ------------------------------
 
    procedure Set_Symmetric_Difference
      (Target : in out Set_Type;
@@ -600,9 +600,9 @@ package body Ada.Containers.Red_Black_Trees.Generic_Bounded_Set_Operations is
       end return;
    end Set_Symmetric_Difference;
 
-   -----------
-   -- Union --
-   -----------
+   ---------------
+   -- Set_Union --
+   ---------------
 
    procedure Set_Union (Target : in out Set_Type; Source : Set_Type) is
       Hint : Count_Type := 0;
diff --git a/gcc/ada/libgnat/a-cfdlli.adb b/gcc/ada/libgnat/a-cfdlli.adb
index 7bcbda1..aca80f9 100644
--- a/gcc/ada/libgnat/a-cfdlli.adb
+++ b/gcc/ada/libgnat/a-cfdlli.adb
@@ -565,7 +565,7 @@ is
       end M_Elements_Reversed;
 
       ------------------------
-      -- M_Elements_Swapted --
+      -- M_Elements_Swapped --
       ------------------------
 
       function M_Elements_Swapped
diff --git a/gcc/ada/libgnat/a-cfhama.adb b/gcc/ada/libgnat/a-cfhama.adb
index 9767a31..9b22434 100644
--- a/gcc/ada/libgnat/a-cfhama.adb
+++ b/gcc/ada/libgnat/a-cfhama.adb
@@ -429,7 +429,7 @@ is
       procedure Lift_Abstraction_Level (Container : Map) is null;
 
       -----------------------
-      -- Mapping_preserved --
+      -- Mapping_Preserved --
       -----------------------
 
       function Mapping_Preserved
diff --git a/gcc/ada/libgnat/a-cfinve.adb b/gcc/ada/libgnat/a-cfinve.adb
index e92ea80..72138d6 100644
--- a/gcc/ada/libgnat/a-cfinve.adb
+++ b/gcc/ada/libgnat/a-cfinve.adb
@@ -426,9 +426,9 @@ is
       end;
    end Element;
 
-   --------------
-   -- Elements --
-   --------------
+   -----------
+   -- Elems --
+   -----------
 
    function Elems (Container : in out Vector) return Maximal_Array_Ptr is
    begin
@@ -590,7 +590,7 @@ is
       end M_Elements_Reversed;
 
       ------------------------
-      -- M_Elements_Swapted --
+      -- M_Elements_Swapped --
       ------------------------
 
       function M_Elements_Swapped
diff --git a/gcc/ada/libgnat/a-cimutr.adb b/gcc/ada/libgnat/a-cimutr.adb
index a142281..b8f4281 100644
--- a/gcc/ada/libgnat/a-cimutr.adb
+++ b/gcc/ada/libgnat/a-cimutr.adb
@@ -1722,7 +1722,7 @@ package body Ada.Containers.Indefinite_Multiway_Trees is
    end Parent;
 
    -------------------
-   -- Prepent_Child --
+   -- Prepend_Child --
    -------------------
 
    procedure Prepend_Child
diff --git a/gcc/ada/libgnat/a-coboho.adb b/gcc/ada/libgnat/a-coboho.adb
index 3857938..d72ed3c 100644
--- a/gcc/ada/libgnat/a-coboho.adb
+++ b/gcc/ada/libgnat/a-coboho.adb
@@ -64,9 +64,9 @@ package body Ada.Containers.Bounded_Holders is
       return Get (Left) = Get (Right);
    end "=";
 
-   -------------
-   -- Element --
-   -------------
+   ---------
+   -- Get --
+   ---------
 
    function Get (Container : Holder) return Element_Type is
    begin
diff --git a/gcc/ada/libgnat/a-cofove.adb b/gcc/ada/libgnat/a-cofove.adb
index ee90cca..34633f4 100644
--- a/gcc/ada/libgnat/a-cofove.adb
+++ b/gcc/ada/libgnat/a-cofove.adb
@@ -422,9 +422,9 @@ is
       end;
    end Element;
 
-   --------------
-   -- Elements --
-   --------------
+   -----------
+   -- Elems --
+   -----------
 
    function Elems (Container : in out Vector) return Maximal_Array_Ptr is
    begin
@@ -585,7 +585,7 @@ is
       end M_Elements_Reversed;
 
       ------------------------
-      -- M_Elements_Swapted --
+      -- M_Elements_Swapped --
       ------------------------
 
       function M_Elements_Swapped
diff --git a/gcc/ada/libgnat/a-cofuve.adb b/gcc/ada/libgnat/a-cofuve.adb
index 68afa03..d797918 100644
--- a/gcc/ada/libgnat/a-cofuve.adb
+++ b/gcc/ada/libgnat/a-cofuve.adb
@@ -119,7 +119,7 @@ package body Ada.Containers.Functional_Vectors with SPARK_Mode => Off is
    end Contains;
 
    ------------------
-   -- Range_Except --
+   -- Equal_Except --
    ------------------
 
    function Equal_Except
diff --git a/gcc/ada/libgnat/a-comutr.adb b/gcc/ada/libgnat/a-comutr.adb
index 8d36368..2eb8d63 100644
--- a/gcc/ada/libgnat/a-comutr.adb
+++ b/gcc/ada/libgnat/a-comutr.adb
@@ -1725,7 +1725,7 @@ package body Ada.Containers.Multiway_Trees is
    end Parent;
 
    -------------------
-   -- Prepent_Child --
+   -- Prepend_Child --
    -------------------
 
    procedure Prepend_Child
diff --git a/gcc/ada/libgnat/a-exexda.adb b/gcc/ada/libgnat/a-exexda.adb
index 9da21c0..93896bd 100644
--- a/gcc/ada/libgnat/a-exexda.adb
+++ b/gcc/ada/libgnat/a-exexda.adb
@@ -489,9 +489,9 @@ package body Exception_Data is
       Append_Info_NL (Info, Ptr);
    end Append_Info_Untailored_Exception_Traceback;
 
-   -------------------------------------------
-   -- Basic_Exception_Information_Maxlength --
-   -------------------------------------------
+   ------------------------------------
+   -- Basic_Exception_Info_Maxlength --
+   ------------------------------------
 
    function Basic_Exception_Info_Maxlength
      (X : Exception_Occurrence) return Natural
diff --git a/gcc/ada/libgnat/a-tags.adb b/gcc/ada/libgnat/a-tags.adb
index 3d7c7e5..f63a1fc 100644
--- a/gcc/ada/libgnat/a-tags.adb
+++ b/gcc/ada/libgnat/a-tags.adb
@@ -1028,9 +1028,9 @@ package body Ada.Tags is
       SSD (T).SSD_Table (Position).Index := Value;
    end Set_Entry_Index;
 
-   -----------------------
-   -- Set_Offset_To_Top --
-   -----------------------
+   -------------------------------
+   -- Set_Dynamic_Offset_To_Top --
+   -------------------------------
 
    procedure Set_Dynamic_Offset_To_Top
      (This         : System.Address;
diff --git a/gcc/ada/libgnat/a-tideau.adb b/gcc/ada/libgnat/a-tideau.adb
index a434c5b..43d3757 100644
--- a/gcc/ada/libgnat/a-tideau.adb
+++ b/gcc/ada/libgnat/a-tideau.adb
@@ -227,7 +227,7 @@ package body Ada.Text_IO.Decimal_Aux is
    end Puts_Dec;
 
    --------------
-   -- Puts_Dec --
+   -- Puts_LLD --
    --------------
 
    procedure Puts_LLD
diff --git a/gcc/ada/libgnat/a-wtdeau.adb b/gcc/ada/libgnat/a-wtdeau.adb
index 80dd9a3..3e72928 100644
--- a/gcc/ada/libgnat/a-wtdeau.adb
+++ b/gcc/ada/libgnat/a-wtdeau.adb
@@ -229,7 +229,7 @@ package body Ada.Wide_Text_IO.Decimal_Aux is
    end Puts_Dec;
 
    --------------
-   -- Puts_Dec --
+   -- Puts_LLD --
    --------------
 
    procedure Puts_LLD
diff --git a/gcc/ada/libgnat/a-ztdeau.adb b/gcc/ada/libgnat/a-ztdeau.adb
index c79e28d..92063b6 100644
--- a/gcc/ada/libgnat/a-ztdeau.adb
+++ b/gcc/ada/libgnat/a-ztdeau.adb
@@ -229,7 +229,7 @@ package body Ada.Wide_Wide_Text_IO.Decimal_Aux is
    end Puts_Dec;
 
    --------------
-   -- Puts_Dec --
+   -- Puts_LLD --
    --------------
 
    procedure Puts_LLD
diff --git a/gcc/ada/libgnat/g-alleve.adb b/gcc/ada/libgnat/g-alleve.adb
index ae65502..6ca0c04 100644
--- a/gcc/ada/libgnat/g-alleve.adb
+++ b/gcc/ada/libgnat/g-alleve.adb
@@ -1199,7 +1199,7 @@ package body GNAT.Altivec.Low_Level_Vectors is
       end Saturate;
 
       -------------
-      -- vmulsxs --
+      -- vmulxsx --
       -------------
 
       function vmulxsx
@@ -2994,9 +2994,9 @@ package body GNAT.Altivec.Low_Level_Vectors is
       return To_Vector (D);
    end vmaxsw;
 
-   --------------
-   -- vmaxsxfp --
-   --------------
+   ------------
+   -- vmaxfp --
+   ------------
 
    function vmaxfp (A : LL_VF; B : LL_VF) return LL_VF is
       VA : constant VF_View := To_View (A);
@@ -3279,7 +3279,7 @@ package body GNAT.Altivec.Low_Level_Vectors is
    end vmsumubm;
 
    --------------
-   -- vmsumumbm --
+   -- vmsummbm --
    --------------
 
    function vmsummbm (A : LL_VSC; B : LL_VSC; C : LL_VSI) return LL_VSI is
@@ -4347,7 +4347,7 @@ package body GNAT.Altivec.Low_Level_Vectors is
    end stvx;
 
    ------------
-   -- stvewx --
+   -- stvebx --
    ------------
 
    procedure stvebx (A : LL_VSC; B : c_int; C : c_ptr) is
diff --git a/gcc/ada/libgnat/s-excdeb.adb b/gcc/ada/libgnat/s-excdeb.adb
index c3db774..246e914 100644
--- a/gcc/ada/libgnat/s-excdeb.adb
+++ b/gcc/ada/libgnat/s-excdeb.adb
@@ -46,7 +46,7 @@ package body System.Exceptions_Debug is
    end Debug_Raise_Exception;
 
    -------------------------------
-   -- Debug_unhandled_Exception --
+   -- Debug_Unhandled_Exception --
    -------------------------------
 
    procedure Debug_Unhandled_Exception (E : SSL.Exception_Data_Ptr) is
diff --git a/gcc/ada/libgnat/s-parint.adb b/gcc/ada/libgnat/s-parint.adb
index 56fce7a..056af7e 100644
--- a/gcc/ada/libgnat/s-parint.adb
+++ b/gcc/ada/libgnat/s-parint.adb
@@ -72,7 +72,7 @@ package body System.Partition_Interface is
    end Check;
 
    -----------------------------
-   -- Get_Active_Partition_Id --
+   -- Get_Active_Partition_ID --
    -----------------------------
 
    function Get_Active_Partition_ID
@@ -103,7 +103,7 @@ package body System.Partition_Interface is
    end Get_Active_Version;
 
    ----------------------------
-   -- Get_Local_Partition_Id --
+   -- Get_Local_Partition_ID --
    ----------------------------
 
    function Get_Local_Partition_ID return System.RPC.Partition_ID is
diff --git a/gcc/ada/libgnat/s-shasto.adb b/gcc/ada/libgnat/s-shasto.adb
index 8bc835d..4efc0fe 100644
--- a/gcc/ada/libgnat/s-shasto.adb
+++ b/gcc/ada/libgnat/s-shasto.adb
@@ -507,9 +507,9 @@ package body System.Shared_Storage is
          raise;
    end Shared_Var_Unlock;
 
-   ---------------------
-   -- Share_Var_WOpen --
-   ---------------------
+   ----------------------
+   -- Shared_Var_WOpen --
+   ----------------------
 
    function Shared_Var_WOpen (Var : String) return SIO.Stream_Access is
       SFE : Shared_Var_File_Entry_Ptr;
diff --git a/gcc/ada/libgnat/s-traceb__hpux.adb b/gcc/ada/libgnat/s-traceb__hpux.adb
index 6e518cf..8a75a26 100644
--- a/gcc/ada/libgnat/s-traceb__hpux.adb
+++ b/gcc/ada/libgnat/s-traceb__hpux.adb
@@ -395,9 +395,9 @@ package body System.Traceback is
          return True;
       end Pop_Frame;
 
-      ---------------------------------
-      -- Prepare_State_For_Unwind_Of --
-      ---------------------------------
+      ---------------------------
+      -- Prepare_For_Unwind_Of --
+      ---------------------------
 
       function Prepare_For_Unwind_Of
         (Frame : not null access CFD) return Boolean