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
+2018-04-04 Piotr Trojanek <trojanek@adacore.com>
+
+ * 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.
+
2018-05-04 John Marino <gnugcc@marino.st>
PR ada/85635
return 8;
end Get_Char_Size;
- -----------------
- -- Get_Wchar_T --
- -----------------
+ ----------------------
+ -- Get_Wchar_T_Size --
+ ----------------------
function Get_Wchar_T_Size return Pos is
begin
Driver (Lib.Cunit (Types.Main_Unit));
end Call_Back_End;
- ------------------------
- -- Scan_Compiler_Args --
- ------------------------
+ -----------------------------
+ -- Scan_Compiler_Arguments --
+ -----------------------------
procedure Scan_Compiler_Arguments is
Output_File_Name_Seen : Boolean := False;
function Aggregate_Discriminant_Val (Disc : Entity_Id) return Node_Id;
- ----------------------------------
- -- Aggregate_Discriminant_Value --
- ----------------------------------
+ --------------------------------
+ -- Aggregate_Discriminant_Val --
+ --------------------------------
function Aggregate_Discriminant_Val (Disc : Entity_Id) return Node_Id is
Assoc : Node_Id;
end loop;
end Init_Secondary_Tags;
- ------------------------
- -- Is_User_Defined_Eq --
- ------------------------
+ ------------------------------
+ -- Is_User_Defined_Equality --
+ ------------------------------
function Is_User_Defined_Equality (Prim : Node_Id) return Boolean is
begin
-- is the original Assignment node.
--------------------------------------
- -- Build_Formal_Container_iteration --
+ -- Build_Formal_Container_Iteration --
--------------------------------------
procedure Build_Formal_Container_Iteration
Insert_Node := Decl;
end Add;
- --------------------------
- -- Replace_Discriminant --
- --------------------------
+ -------------------
+ -- Replace_Bound --
+ -------------------
function Replace_Bound (Bound : Node_Id) return Node_Id is
begin
procedure Visit_Nested_Pkg (Nested_Pkg_Decl : Node_Id);
-- Recurse for the given nested package declaration
- -----------------------
- -- Visit_Nested_Spec --
- -----------------------
+ ----------------------
+ -- Visit_Nested_Pkg --
+ ----------------------
procedure Visit_Nested_Pkg (Nested_Pkg_Decl : Node_Id) is
Nested_Pkg_Spec : constant Node_Id := Specification (Nested_Pkg_Decl);
Idx));
end Build_Get_Aggregate_Element;
- -------------------------
- -- Build_Reposiroty_Id --
- -------------------------
+ ----------------------------------
+ -- Build_Name_And_Repository_Id --
+ ----------------------------------
procedure Build_Name_And_Repository_Id
(E : Entity_Id;
return Proc;
end Find_Inherited_TSS;
- -----------------------
- -- Get_TSS_Name_Type --
- -----------------------
+ ------------------
+ -- Get_TSS_Name --
+ ------------------
function Get_TSS_Name (E : Entity_Id) return TSS_Name_Type is
C1 : Character;
-- rewritten (the analysis of the non-inlined body will handle these
-- pragmas). A new internal name is associated with Body_To_Inline.
- -----------------------------
- -- Generate_Body_To_Inline --
- -----------------------------
+ ------------------------------
+ -- Generate_Subprogram_Body --
+ ------------------------------
procedure Generate_Subprogram_Body
(N : Node_Id;
-- Write source file name Nam and ALI file name for unit index Idx.
-- Possibly change Nam to lowercase (generating a new file name).
- --------------------------
- -- Write_With_File_Name --
- --------------------------
+ ---------------------------
+ -- Write_With_File_Names --
+ ---------------------------
procedure Write_With_File_Names
(Nam : in out File_Name_Type;
end loop;
end Iterate_SPARK_Xrefs;
- -------------------------------------
- -- Enclosing_Subprogram_Or_Package --
- -------------------------------------
+ ---------------------------------------------
+ -- Enclosing_Subprogram_Or_Library_Package --
+ ---------------------------------------------
function Enclosing_Subprogram_Or_Library_Package
(N : Node_Id) return Entity_Id
null;
end pthread_init;
- ----------------
- -- Stack_Base --
- ----------------
+ --------------------
+ -- Get_Stack_Base --
+ --------------------
function Get_Stack_Base (thread : pthread_t) return Address is
pragma Unreferenced (thread);
end Report_Impl;
- ---------------------
- -- Report_All_Task --
- ---------------------
+ ----------------------
+ -- Report_All_Tasks --
+ ----------------------
procedure Report_All_Tasks is
begin
return True;
end Check_Unlock;
- --------------------
- -- Check_Finalize --
- --------------------
+ -------------------------
+ -- Check_Finalize_Lock --
+ -------------------------
function Check_Finalize_Lock (L : Lock_Ptr) return Boolean is
Self_ID : constant Task_Id := Self;
Send_Program_Error (Entry_Call);
end PO_Do_Or_Queue;
- ----------------------------
- -- Protected_Single_Count --
- ----------------------------
+ ---------------------------
+ -- Protected_Count_Entry --
+ ---------------------------
function Protected_Count_Entry (Object : Protection_Entry) return Natural is
begin
return Set_Affinity (tid, CPU_Set);
end taskMaskAffinitySet;
- --------------
- -- taskCont --
- --------------
+ ---------------
+ -- Task_Cont --
+ ---------------
function Task_Cont (tid : t_id) return int is
function taskCont (tid : t_id) return int;
return taskCont (tid);
end Task_Cont;
- --------------
- -- taskStop --
- --------------
+ ---------------
+ -- Task_Stop --
+ ---------------
function Task_Stop (tid : t_id) return int is
function taskStop (tid : t_id) return int;
return ERROR;
end taskMaskAffinitySet;
- --------------
- -- taskCont --
- --------------
+ ---------------
+ -- Task_Cont --
+ ---------------
function Task_Cont (tid : t_id) return int is
function taskCont (tid : t_id) return int;
return taskCont (tid);
end Task_Cont;
- --------------
- -- taskStop --
- --------------
+ ---------------
+ -- Task_Stop --
+ ---------------
function Task_Stop (tid : t_id) return int is
function taskStop (tid : t_id) return int;
end return;
end Copy;
- ----------------
- -- Difference --
- ----------------
+ --------------------
+ -- Set_Difference --
+ --------------------
procedure Set_Difference (Target : in out Set_Type; Source : Set_Type) is
Tgt, Src : Count_Type;
end return;
end Set_Difference;
- ------------------
- -- Intersection --
- ------------------
+ ----------------------
+ -- Set_Intersection --
+ ----------------------
procedure Set_Intersection
(Target : in out Set_Type;
end return;
end Set_Intersection;
- ---------------
- -- Is_Subset --
- ---------------
+ ----------------
+ -- Set_Subset --
+ ----------------
function Set_Subset
(Subset : Set_Type;
end;
end Set_Subset;
- -------------
- -- Overlap --
- -------------
+ -----------------
+ -- Set_Overlap --
+ -----------------
function Set_Overlap (Left, Right : Set_Type) return Boolean is
begin
end;
end Set_Overlap;
- --------------------------
- -- Symmetric_Difference --
- --------------------------
+ ------------------------------
+ -- Set_Symmetric_Difference --
+ ------------------------------
procedure Set_Symmetric_Difference
(Target : in out Set_Type;
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;
end M_Elements_Reversed;
------------------------
- -- M_Elements_Swapted --
+ -- M_Elements_Swapped --
------------------------
function M_Elements_Swapped
procedure Lift_Abstraction_Level (Container : Map) is null;
-----------------------
- -- Mapping_preserved --
+ -- Mapping_Preserved --
-----------------------
function Mapping_Preserved
end;
end Element;
- --------------
- -- Elements --
- --------------
+ -----------
+ -- Elems --
+ -----------
function Elems (Container : in out Vector) return Maximal_Array_Ptr is
begin
end M_Elements_Reversed;
------------------------
- -- M_Elements_Swapted --
+ -- M_Elements_Swapped --
------------------------
function M_Elements_Swapped
end Parent;
-------------------
- -- Prepent_Child --
+ -- Prepend_Child --
-------------------
procedure Prepend_Child
return Get (Left) = Get (Right);
end "=";
- -------------
- -- Element --
- -------------
+ ---------
+ -- Get --
+ ---------
function Get (Container : Holder) return Element_Type is
begin
end;
end Element;
- --------------
- -- Elements --
- --------------
+ -----------
+ -- Elems --
+ -----------
function Elems (Container : in out Vector) return Maximal_Array_Ptr is
begin
end M_Elements_Reversed;
------------------------
- -- M_Elements_Swapted --
+ -- M_Elements_Swapped --
------------------------
function M_Elements_Swapped
end Contains;
------------------
- -- Range_Except --
+ -- Equal_Except --
------------------
function Equal_Except
end Parent;
-------------------
- -- Prepent_Child --
+ -- Prepend_Child --
-------------------
procedure Prepend_Child
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
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;
end Puts_Dec;
--------------
- -- Puts_Dec --
+ -- Puts_LLD --
--------------
procedure Puts_LLD
end Puts_Dec;
--------------
- -- Puts_Dec --
+ -- Puts_LLD --
--------------
procedure Puts_LLD
end Puts_Dec;
--------------
- -- Puts_Dec --
+ -- Puts_LLD --
--------------
procedure Puts_LLD
end Saturate;
-------------
- -- vmulsxs --
+ -- vmulxsx --
-------------
function vmulxsx
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);
end vmsumubm;
--------------
- -- vmsumumbm --
+ -- vmsummbm --
--------------
function vmsummbm (A : LL_VSC; B : LL_VSC; C : LL_VSI) return LL_VSI is
end stvx;
------------
- -- stvewx --
+ -- stvebx --
------------
procedure stvebx (A : LL_VSC; B : c_int; C : c_ptr) is
end Debug_Raise_Exception;
-------------------------------
- -- Debug_unhandled_Exception --
+ -- Debug_Unhandled_Exception --
-------------------------------
procedure Debug_Unhandled_Exception (E : SSL.Exception_Data_Ptr) is
end Check;
-----------------------------
- -- Get_Active_Partition_Id --
+ -- Get_Active_Partition_ID --
-----------------------------
function Get_Active_Partition_ID
end Get_Active_Version;
----------------------------
- -- Get_Local_Partition_Id --
+ -- Get_Local_Partition_ID --
----------------------------
function Get_Local_Partition_ID return System.RPC.Partition_ID 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;
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
end if;
end Check_Symbols;
- ------------------------------
- -- Parse_Preprocessing_Data --
- ------------------------------
+ -----------------------------------
+ -- Parse_Preprocessing_Data_File --
+ -----------------------------------
procedure Parse_Preprocessing_Data_File (N : File_Name_Type) is
OK : Boolean := False;
end if;
end Check_High_Bound;
- -----------------------------
- -- Is_Universal_Expression --
- -----------------------------
+ --------------------------------
+ -- Check_Universal_Expression --
+ --------------------------------
procedure Check_Universal_Expression (N : Node_Id) is
begin
-- Tree traversal routine that clones the defining identifier of
-- iterator and loop parameter specification nodes.
- ----------------
- -- Check_Node --
- ----------------
+ --------------
+ -- Clone_Id --
+ --------------
function Clone_Id (Node : Node_Id) return Traverse_Result is
begin
-- conformant with the profile of Subp; return Empty if not found.
---------------------------------
- -- Check_Confirming_Parameters --
+ -- Check_Conforming_Parameters --
---------------------------------
function Check_Conforming_Parameters
end Package_Specification_Of_Scope;
--------------------------
- -- Process_Partition_ID --
+ -- Process_Partition_Id --
--------------------------
procedure Process_Partition_Id (N : Node_Id) is
end loop;
end Analyze_Unmodified_Or_Unused;
- -----------------------------------
- -- Analyze_Unreference_Or_Unused --
- -----------------------------------
+ ------------------------------------
+ -- Analyze_Unreferenced_Or_Unused --
+ ------------------------------------
procedure Analyze_Unreferenced_Or_Unused
(Is_Unused : Boolean := False)
pragma No_Return (Bad_Mechanism);
-- Signal bad mechanism name
- -------------------------
- -- Bad_Mechanism_Value --
- -------------------------
+ -------------------
+ -- Bad_Mechanism --
+ -------------------
procedure Bad_Mechanism is
begin
end Get_Iterable_Type_Primitive;
----------------------------------
- -- Get_Library_Unit_Name_string --
+ -- Get_Library_Unit_Name_String --
----------------------------------
procedure Get_Library_Unit_Name_String (Decl_Node : Node_Id) is
T = V11;
end Nkind_In;
- -----------------
- -- Pragma_Name --
- -----------------
+ --------------------------
+ -- Pragma_Name_Unmapped --
+ --------------------------
function Pragma_Name_Unmapped (N : Node_Id) return Name_Id is
begin
end Is_Switch;
-----------------
- -- Switch_last --
+ -- Switch_Last --
-----------------
function Switch_Last (Switch_Chars : String) return Natural is