From patchwork Tue Jan 11 13:32:03 2022 Content-Type: text/plain; charset="utf-8" MIME-Version: 1.0 Content-Transfer-Encoding: 7bit X-Patchwork-Submitter: Pierre-Marie de Rodat X-Patchwork-Id: 1578470 Return-Path: X-Original-To: incoming@patchwork.ozlabs.org Delivered-To: patchwork-incoming@bilbo.ozlabs.org Authentication-Results: bilbo.ozlabs.org; dkim=pass (1024-bit key; unprotected) header.d=gcc.gnu.org header.i=@gcc.gnu.org header.a=rsa-sha256 header.s=default header.b=vfhjIBA+; dkim-atps=neutral Authentication-Results: ozlabs.org; spf=pass (sender SPF authorized) smtp.mailfrom=gcc.gnu.org (client-ip=8.43.85.97; helo=sourceware.org; envelope-from=gcc-patches-bounces+incoming=patchwork.ozlabs.org@gcc.gnu.org; receiver=) Received: from sourceware.org (ip-8-43-85-97.sourceware.org [8.43.85.97]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits) key-exchange X25519 server-signature RSA-PSS (4096 bits) server-digest SHA256) (No client certificate requested) by bilbo.ozlabs.org (Postfix) with ESMTPS id 4JYBns2rgSz9s0r for ; Wed, 12 Jan 2022 00:47:13 +1100 (AEDT) Received: from server2.sourceware.org (localhost [IPv6:::1]) by sourceware.org (Postfix) with ESMTP id 4D35238A941E for ; Tue, 11 Jan 2022 13:47:10 +0000 (GMT) DKIM-Filter: OpenDKIM Filter v2.11.0 sourceware.org 4D35238A941E DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gcc.gnu.org; s=default; t=1641908830; bh=j3mFQUOrBZMQGTXqGVxzqj9L+4RTPoRq9f16mkSuceU=; h=Date:To:Subject:List-Id:List-Unsubscribe:List-Archive:List-Post: List-Help:List-Subscribe:From:Reply-To:Cc:From; b=vfhjIBA+lXJ27g9AwMrQXu6tsUD5U/OwLAgFshDXfuo4vjNvgIOO84uPdUGJl9t4A h6wwZnttRp6QhJpj0vs/iJfwRQ0UEeQ6VRh7fS53Fs8iEZ6tDF6gKqrbWgS/AWJqsi 0+Hkt/wqz+OiKYkolu4Z/L28beaxTEDBhdU7Cbk8= X-Original-To: gcc-patches@gcc.gnu.org Delivered-To: gcc-patches@gcc.gnu.org Received: from mail-wm1-x335.google.com (mail-wm1-x335.google.com [IPv6:2a00:1450:4864:20::335]) by sourceware.org (Postfix) with ESMTPS id 73CA838A940F for ; Tue, 11 Jan 2022 13:32:06 +0000 (GMT) DMARC-Filter: OpenDMARC Filter v1.4.1 sourceware.org 73CA838A940F Received: by mail-wm1-x335.google.com with SMTP id e5so11029285wmq.1 for ; Tue, 11 Jan 2022 05:32:06 -0800 (PST) X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20210112; h=x-gm-message-state:date:from:to:cc:subject:message-id:mime-version :content-disposition; bh=j3mFQUOrBZMQGTXqGVxzqj9L+4RTPoRq9f16mkSuceU=; b=P6o0kQqbGEXrdDmEn43CDQLQZk5j4RYr4RH0dqp50+HykgzD11AGwRClEtUTrkcIBQ mtBxGaUCkXY7UUD8qvYH0kap77T9j/ctip1MUT4Edf2R04fW2Zw402Vl4rP+VneZNoxS 8E03LtYOpFVZw/q8CDrRxfctDXxCgUkI3ijIdeoxesX6rv5jVEDKx4l9ZSo9V9asu+4Y 69jCKx2GjZ0jMtCq3Evpc9398T/9BVoAXsEOp57Rajkm6alg7rG2vawrQHi3PIsI20x3 lBIYZcJBU/VpWK1PnobWXpTReL44BdbPyfm5c759ruPTEbLULrgRanXgsFmET/LipQ42 FWXw== X-Gm-Message-State: AOAM531AO15yGpfhGR7X9s1hAIA8ovbdNlkgIrT8QZ/vAjdCsRIi9uj6 z4NjgwwhjD+aKAH1nXkjzPYTr9W+yu2rUw== X-Google-Smtp-Source: ABdhPJyU3j/C/6fLlZBLXre729ur1vYhSXVmdDIWrmjDDnrf2nkwwXxceuzHM+wBe2oLt+k0rZB0+w== X-Received: by 2002:a05:600c:a47:: with SMTP id c7mr2523358wmq.23.1641907925470; Tue, 11 Jan 2022 05:32:05 -0800 (PST) Received: from adacore.com ([45.147.211.82]) by smtp.gmail.com with ESMTPSA id q206sm1758147wme.8.2022.01.11.05.32.04 (version=TLS1_3 cipher=TLS_AES_256_GCM_SHA384 bits=256/256); Tue, 11 Jan 2022 05:32:04 -0800 (PST) Date: Tue, 11 Jan 2022 13:32:03 +0000 To: gcc-patches@gcc.gnu.org Subject: [Ada] Remove extra space in single object declarations Message-ID: <20220111133203.GA748563@adacore.com> MIME-Version: 1.0 Content-Disposition: inline X-Spam-Status: No, score=-12.8 required=5.0 tests=BAYES_00, DKIM_SIGNED, DKIM_VALID, DKIM_VALID_AU, DKIM_VALID_EF, GIT_PATCH_0, KAM_ASCII_DIVIDERS, RCVD_IN_DNSWL_NONE, SPF_HELO_NONE, SPF_PASS, TXREP autolearn=ham autolearn_force=no version=3.4.4 X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on server2.sourceware.org X-BeenThere: gcc-patches@gcc.gnu.org X-Mailman-Version: 2.1.29 Precedence: list List-Id: Gcc-patches mailing list List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , X-Patchwork-Original-From: Pierre-Marie de Rodat via Gcc-patches From: Pierre-Marie de Rodat Reply-To: Pierre-Marie de Rodat Cc: Piotr Trojanek Errors-To: gcc-patches-bounces+incoming=patchwork.ozlabs.org@gcc.gnu.org Sender: "Gcc-patches" Fix whitespace in single object declarations; violations detected with a simple LKQL checker. Tested on x86_64-pc-linux-gnu, committed on trunk gcc/ada/ * exp_aggr.adb, exp_attr.adb, exp_ch3.adb, exp_ch7.adb, exp_dist.adb, exp_util.adb, freeze.adb, frontend.adb, inline.adb, itypes.adb, lib-load.adb, lib-xref.adb, libgnat/a-cfhase.adb, libgnat/a-cforse.adb, libgnat/a-chtgbo.adb, libgnat/a-crdlli.adb, libgnat/a-except.adb, libgnat/a-strfix.adb, libgnat/a-textio.adb, libgnat/a-tienau.adb, libgnat/a-tigeau.adb, libgnat/a-witeio.adb, libgnat/a-wtenau.adb, libgnat/a-wtgeau.adb, libgnat/a-ztenau.adb, libgnat/a-ztexio.adb, libgnat/a-ztgeau.adb, libgnat/g-comlin.adb, libgnat/g-debpoo.adb, libgnat/g-expect.adb, libgnat/s-fileio.adb, libgnat/s-memory.adb, libgnat/s-mmap.adb, libgnat/s-objrea.adb, libgnat/s-pehage.adb, libgnat/s-regpat.adb, libgnat/s-shasto.adb, libgnat/s-valued.adb, libgnat/s-valuef.adb, par-ch11.adb, par-ch4.adb, par-ch6.adb, par-ch9.adb, par_sco.adb, repinfo-input.adb, sem_cat.adb, sem_ch10.adb, sem_ch12.adb, sem_ch13.adb, sem_ch4.adb, sem_eval.adb, sem_prag.adb, sem_res.adb, sem_util.adb, sinput.adb, switch-c.adb: Fix style. diff --git a/gcc/ada/exp_aggr.adb b/gcc/ada/exp_aggr.adb --- a/gcc/ada/exp_aggr.adb +++ b/gcc/ada/exp_aggr.adb @@ -9375,7 +9375,7 @@ package body Exp_Aggr is ----------------------- function Get_Component_Val (N : Node_Id) return Uint is - Val : Uint; + Val : Uint; begin -- We have to analyze the expression here before doing any further diff --git a/gcc/ada/exp_attr.adb b/gcc/ada/exp_attr.adb --- a/gcc/ada/exp_attr.adb +++ b/gcc/ada/exp_attr.adb @@ -3784,7 +3784,7 @@ package body Exp_Attr is -------------- when Attribute_From_Any => From_Any : declare - Decls : constant List_Id := New_List; + Decls : constant List_Id := New_List; begin Rewrite (N, diff --git a/gcc/ada/exp_ch3.adb b/gcc/ada/exp_ch3.adb --- a/gcc/ada/exp_ch3.adb +++ b/gcc/ada/exp_ch3.adb @@ -4139,7 +4139,7 @@ package body Exp_Ch3 is Set_Static_Initialization (Proc_Id, Agg); declare - Comp : Node_Id; + Comp : Node_Id; begin Comp := First (Component_Associations (Agg)); while Present (Comp) loop diff --git a/gcc/ada/exp_ch7.adb b/gcc/ada/exp_ch7.adb --- a/gcc/ada/exp_ch7.adb +++ b/gcc/ada/exp_ch7.adb @@ -4702,7 +4702,7 @@ package body Exp_Ch7 is (N : Node_Id; Ref : Node_Id) return Node_Id is - Loc : constant Source_Ptr := Sloc (N); + Loc : constant Source_Ptr := Sloc (N); begin -- For restricted run-time libraries (Ravenscar), tasks are diff --git a/gcc/ada/exp_dist.adb b/gcc/ada/exp_dist.adb --- a/gcc/ada/exp_dist.adb +++ b/gcc/ada/exp_dist.adb @@ -2908,7 +2908,7 @@ package body Exp_Dist is --------------------------------- procedure Expand_Calling_Stubs_Bodies (Unit_Node : Node_Id) is - Spec : constant Node_Id := Specification (Unit_Node); + Spec : constant Node_Id := Specification (Unit_Node); begin Add_Calling_Stubs_To_Declarations (Spec); end Expand_Calling_Stubs_Bodies; diff --git a/gcc/ada/exp_util.adb b/gcc/ada/exp_util.adb --- a/gcc/ada/exp_util.adb +++ b/gcc/ada/exp_util.adb @@ -8780,7 +8780,7 @@ package body Exp_Util is ---------------------------------- function Is_Possibly_Unaligned_Object (N : Node_Id) return Boolean is - T : constant Entity_Id := Etype (N); + T : constant Entity_Id := Etype (N); begin -- If renamed object, apply test to underlying object diff --git a/gcc/ada/freeze.adb b/gcc/ada/freeze.adb --- a/gcc/ada/freeze.adb +++ b/gcc/ada/freeze.adb @@ -2124,7 +2124,7 @@ package body Freeze is ---------------------------- procedure Check_Strict_Alignment (E : Entity_Id) is - Comp : Entity_Id; + Comp : Entity_Id; begin -- Bit-packed array types do not require strict alignment, even if they diff --git a/gcc/ada/frontend.adb b/gcc/ada/frontend.adb --- a/gcc/ada/frontend.adb +++ b/gcc/ada/frontend.adb @@ -539,7 +539,7 @@ begin -- Initialize_Scalars, but others should be checked: as well??? declare - Item : Node_Id; + Item : Node_Id; begin Item := First (Context_Items (Cunit (Main_Unit))); diff --git a/gcc/ada/inline.adb b/gcc/ada/inline.adb --- a/gcc/ada/inline.adb +++ b/gcc/ada/inline.adb @@ -2377,7 +2377,7 @@ package body Inline is ------------------------ function Copy_Return_Object (Obj_Decl : Node_Id) return Node_Id is - Obj_Id : constant Entity_Id := Defining_Entity (Obj_Decl); + Obj_Id : constant Entity_Id := Defining_Entity (Obj_Decl); begin -- The use of New_Copy_Tree ensures that global references are @@ -3264,7 +3264,7 @@ package body Inline is ------------------ function Process_Loop (N : Node_Id) return Traverse_Result is - Id : Entity_Id; + Id : Entity_Id; begin if Nkind (N) = N_Loop_Statement @@ -3676,7 +3676,7 @@ package body Inline is ---------------------------- procedure Rewrite_Procedure_Call (N : Node_Id; Blk : Node_Id) is - HSS : constant Node_Id := Handled_Statement_Sequence (Blk); + HSS : constant Node_Id := Handled_Statement_Sequence (Blk); begin Make_Loop_Labels_Unique (HSS); diff --git a/gcc/ada/itypes.adb b/gcc/ada/itypes.adb --- a/gcc/ada/itypes.adb +++ b/gcc/ada/itypes.adb @@ -89,7 +89,7 @@ package body Itypes is Related_Nod : Node_Id; Scope_Id : Entity_Id := Current_Scope) return Entity_Id is - I_Typ : Entity_Id; + I_Typ : Entity_Id; begin pragma Assert (Is_Access_Type (T)); diff --git a/gcc/ada/lib-load.adb b/gcc/ada/lib-load.adb --- a/gcc/ada/lib-load.adb +++ b/gcc/ada/lib-load.adb @@ -958,7 +958,7 @@ package body Lib.Load is -- code will have to be generated for it. procedure Make_Instance_Unit (N : Node_Id; In_Main : Boolean) is - Sind : constant Source_File_Index := Source_Index (Main_Unit); + Sind : constant Source_File_Index := Source_Index (Main_Unit); begin Units.Increment_Last; diff --git a/gcc/ada/lib-xref.adb b/gcc/ada/lib-xref.adb --- a/gcc/ada/lib-xref.adb +++ b/gcc/ada/lib-xref.adb @@ -1677,7 +1677,7 @@ package body Lib.Xref is -- declared in the main unit. Handle_Prim_Ops : declare - Ent : Entity_Id; + Ent : Entity_Id; begin for J in 1 .. Xrefs.Last loop diff --git a/gcc/ada/libgnat/a-cfhase.adb b/gcc/ada/libgnat/a-cfhase.adb --- a/gcc/ada/libgnat/a-cfhase.adb +++ b/gcc/ada/libgnat/a-cfhase.adb @@ -949,7 +949,7 @@ is (Vet (Container, Position), "bad cursor in function Key"); declare - N : Node_Type renames Container.Content.Nodes (Position.Node); + N : Node_Type renames Container.Content.Nodes (Position.Node); begin return Key (N.Element); end; diff --git a/gcc/ada/libgnat/a-cforse.adb b/gcc/ada/libgnat/a-cforse.adb --- a/gcc/ada/libgnat/a-cforse.adb +++ b/gcc/ada/libgnat/a-cforse.adb @@ -429,7 +429,7 @@ is ------------------ procedure Delete_First (Container : in out Set) is - X : constant Count_Type := Container.Content.First; + X : constant Count_Type := Container.Content.First; begin if X /= 0 then Tree_Operations.Delete_Node_Sans_Free (Container.Content, X); @@ -442,7 +442,7 @@ is ----------------- procedure Delete_Last (Container : in out Set) is - X : constant Count_Type := Container.Content.Last; + X : constant Count_Type := Container.Content.Last; begin if X /= 0 then Tree_Operations.Delete_Node_Sans_Free (Container.Content, X); @@ -1741,7 +1741,7 @@ is -------------- function New_Node return Count_Type is - N : Node_Type renames NN (Node); + N : Node_Type renames NN (Node); begin N.Element := Item; N.Color := Red; diff --git a/gcc/ada/libgnat/a-chtgbo.adb b/gcc/ada/libgnat/a-chtgbo.adb --- a/gcc/ada/libgnat/a-chtgbo.adb +++ b/gcc/ada/libgnat/a-chtgbo.adb @@ -439,7 +439,7 @@ package body Ada.Containers.Hash_Tables.Generic_Bounded_Operations is (Stream : not null access Root_Stream_Type'Class; HT : out Hash_Table_Type'Class) is - N : Count_Type'Base; + N : Count_Type'Base; begin Clear (HT); diff --git a/gcc/ada/libgnat/a-crdlli.adb b/gcc/ada/libgnat/a-crdlli.adb --- a/gcc/ada/libgnat/a-crdlli.adb +++ b/gcc/ada/libgnat/a-crdlli.adb @@ -1316,7 +1316,7 @@ package body Ada.Containers.Restricted_Doubly_Linked_Lists is pragma Assert (Vet (Position), "bad cursor in Update_Element"); declare - N : Node_Type renames Container.Nodes (Position.Node); + N : Node_Type renames Container.Nodes (Position.Node); begin Process (N.Element); diff --git a/gcc/ada/libgnat/a-except.adb b/gcc/ada/libgnat/a-except.adb --- a/gcc/ada/libgnat/a-except.adb +++ b/gcc/ada/libgnat/a-except.adb @@ -1110,7 +1110,7 @@ package body Ada.Exceptions is else declare - New_Msg : constant String := Prefix & Exception_Name (X); + New_Msg : constant String := Prefix & Exception_Name (X); begin -- No message present, just provide our own diff --git a/gcc/ada/libgnat/a-strfix.adb b/gcc/ada/libgnat/a-strfix.adb --- a/gcc/ada/libgnat/a-strfix.adb +++ b/gcc/ada/libgnat/a-strfix.adb @@ -370,7 +370,7 @@ package body Ada.Strings.Fixed with SPARK_Mode is Before : Positive; New_Item : String) return String is - Front : constant Integer := Before - Source'First; + Front : constant Integer := Before - Source'First; begin if Before - 1 not in Source'First - 1 .. Source'Last then diff --git a/gcc/ada/libgnat/a-textio.adb b/gcc/ada/libgnat/a-textio.adb --- a/gcc/ada/libgnat/a-textio.adb +++ b/gcc/ada/libgnat/a-textio.adb @@ -403,7 +403,7 @@ is ----------------- function End_Of_Page (File : File_Type) return Boolean is - ch : int; + ch : int; begin FIO.Check_Read_Status (AP (File)); @@ -598,7 +598,7 @@ is (File : File_Type; Item : out Character) is - ch : int; + ch : int; begin FIO.Check_Read_Status (AP (File)); diff --git a/gcc/ada/libgnat/a-tienau.adb b/gcc/ada/libgnat/a-tienau.adb --- a/gcc/ada/libgnat/a-tienau.adb +++ b/gcc/ada/libgnat/a-tienau.adb @@ -213,7 +213,7 @@ package body Ada.Text_IO.Enumeration_Aux is Start : out Natural; Stop : out Natural) is - C : Character; + C : Character; -- Processing for Scan_Enum_Lit diff --git a/gcc/ada/libgnat/a-tigeau.adb b/gcc/ada/libgnat/a-tigeau.adb --- a/gcc/ada/libgnat/a-tigeau.adb +++ b/gcc/ada/libgnat/a-tigeau.adb @@ -384,7 +384,7 @@ package body Ada.Text_IO.Generic_Aux is Buf : out String; Ptr : in out Natural) is - Loaded : Boolean; + Loaded : Boolean; begin -- Skip initial blanks, and load possible sign diff --git a/gcc/ada/libgnat/a-witeio.adb b/gcc/ada/libgnat/a-witeio.adb --- a/gcc/ada/libgnat/a-witeio.adb +++ b/gcc/ada/libgnat/a-witeio.adb @@ -274,7 +274,7 @@ package body Ada.Wide_Text_IO is ----------------- function End_Of_File (File : File_Type) return Boolean is - ch : int; + ch : int; begin FIO.Check_Read_Status (AP (File)); @@ -368,7 +368,7 @@ package body Ada.Wide_Text_IO is ----------------- function End_Of_Page (File : File_Type) return Boolean is - ch : int; + ch : int; begin FIO.Check_Read_Status (AP (File)); @@ -444,7 +444,7 @@ package body Ada.Wide_Text_IO is (File : File_Type; Item : out Wide_Character) is - C : Character; + C : Character; begin FIO.Check_Read_Status (AP (File)); diff --git a/gcc/ada/libgnat/a-wtenau.adb b/gcc/ada/libgnat/a-wtenau.adb --- a/gcc/ada/libgnat/a-wtenau.adb +++ b/gcc/ada/libgnat/a-wtenau.adb @@ -227,7 +227,7 @@ package body Ada.Wide_Text_IO.Enumeration_Aux is Start : out Natural; Stop : out Natural) is - WC : Wide_Character; + WC : Wide_Character; -- Processing for Scan_Enum_Lit diff --git a/gcc/ada/libgnat/a-wtgeau.adb b/gcc/ada/libgnat/a-wtgeau.adb --- a/gcc/ada/libgnat/a-wtgeau.adb +++ b/gcc/ada/libgnat/a-wtgeau.adb @@ -410,7 +410,7 @@ package body Ada.Wide_Text_IO.Generic_Aux is Buf : out String; Ptr : in out Natural) is - Loaded : Boolean; + Loaded : Boolean; begin -- Skip initial blanks and load possible sign diff --git a/gcc/ada/libgnat/a-ztenau.adb b/gcc/ada/libgnat/a-ztenau.adb --- a/gcc/ada/libgnat/a-ztenau.adb +++ b/gcc/ada/libgnat/a-ztenau.adb @@ -229,7 +229,7 @@ package body Ada.Wide_Wide_Text_IO.Enumeration_Aux is Start : out Natural; Stop : out Natural) is - WC : Wide_Wide_Character; + WC : Wide_Wide_Character; -- Processing for Scan_Enum_Lit diff --git a/gcc/ada/libgnat/a-ztexio.adb b/gcc/ada/libgnat/a-ztexio.adb --- a/gcc/ada/libgnat/a-ztexio.adb +++ b/gcc/ada/libgnat/a-ztexio.adb @@ -274,7 +274,7 @@ package body Ada.Wide_Wide_Text_IO is ----------------- function End_Of_File (File : File_Type) return Boolean is - ch : int; + ch : int; begin FIO.Check_Read_Status (AP (File)); @@ -368,7 +368,7 @@ package body Ada.Wide_Wide_Text_IO is ----------------- function End_Of_Page (File : File_Type) return Boolean is - ch : int; + ch : int; begin FIO.Check_Read_Status (AP (File)); @@ -444,7 +444,7 @@ package body Ada.Wide_Wide_Text_IO is (File : File_Type; Item : out Wide_Wide_Character) is - C : Character; + C : Character; begin FIO.Check_Read_Status (AP (File)); diff --git a/gcc/ada/libgnat/a-ztgeau.adb b/gcc/ada/libgnat/a-ztgeau.adb --- a/gcc/ada/libgnat/a-ztgeau.adb +++ b/gcc/ada/libgnat/a-ztgeau.adb @@ -410,7 +410,7 @@ package body Ada.Wide_Wide_Text_IO.Generic_Aux is Buf : out String; Ptr : in out Natural) is - Loaded : Boolean; + Loaded : Boolean; begin -- Skip initial blanks and load possible sign diff --git a/gcc/ada/libgnat/g-comlin.adb b/gcc/ada/libgnat/g-comlin.adb --- a/gcc/ada/libgnat/g-comlin.adb +++ b/gcc/ada/libgnat/g-comlin.adb @@ -465,8 +465,8 @@ package body GNAT.Command_Line is if Do_Expansion then declare - Arg : constant String := - Argument (Parser, Parser.Current_Argument - 1); + Arg : constant String := + Argument (Parser, Parser.Current_Argument - 1); begin for Index in Arg'Range loop if Arg (Index) in '*' | '?' | '[' then @@ -1257,7 +1257,7 @@ package body GNAT.Command_Line is Expanded : String; Section : String := "") is - Def : Alias_Definition; + Def : Alias_Definition; begin if Config = null then diff --git a/gcc/ada/libgnat/g-debpoo.adb b/gcc/ada/libgnat/g-debpoo.adb --- a/gcc/ada/libgnat/g-debpoo.adb +++ b/gcc/ada/libgnat/g-debpoo.adb @@ -777,7 +777,7 @@ package body GNAT.Debug_Pools is function Is_Valid_Or_Handled (Storage : System.Address; Valid : Boolean) return Boolean is - Int_Storage : constant Integer_Address := To_Integer (Storage); + Int_Storage : constant Integer_Address := To_Integer (Storage); begin -- The pool only returns addresses aligned on Storage_Alignment so diff --git a/gcc/ada/libgnat/g-expect.adb b/gcc/ada/libgnat/g-expect.adb --- a/gcc/ada/libgnat/g-expect.adb +++ b/gcc/ada/libgnat/g-expect.adb @@ -193,7 +193,7 @@ package body GNAT.Expect is Str : String; Filter_On : Filter_Type) is - Current_Filter : Filter_List; + Current_Filter : Filter_List; begin if Pid.Filters_Lock = 0 then diff --git a/gcc/ada/libgnat/s-fileio.adb b/gcc/ada/libgnat/s-fileio.adb --- a/gcc/ada/libgnat/s-fileio.adb +++ b/gcc/ada/libgnat/s-fileio.adb @@ -244,7 +244,7 @@ package body System.File_IO is if File.Shared_Status = Yes then declare - P : AFCB_Ptr; + P : AFCB_Ptr; begin P := Open_Files; diff --git a/gcc/ada/libgnat/s-memory.adb b/gcc/ada/libgnat/s-memory.adb --- a/gcc/ada/libgnat/s-memory.adb +++ b/gcc/ada/libgnat/s-memory.adb @@ -134,7 +134,7 @@ package body System.Memory is Size : size_t) return System.Address is - Result : System.Address; + Result : System.Address; begin if Size = size_t'Last then raise Storage_Error with "object too large"; diff --git a/gcc/ada/libgnat/s-mmap.adb b/gcc/ada/libgnat/s-mmap.adb --- a/gcc/ada/libgnat/s-mmap.adb +++ b/gcc/ada/libgnat/s-mmap.adb @@ -367,7 +367,7 @@ package body System.Mmap is Length : File_Size := 0; Mutable : Boolean := False) return Mapped_Region is - Region : Mapped_Region := Invalid_Mapped_Region; + Region : Mapped_Region := Invalid_Mapped_Region; begin Read (File, Region, Offset, Length, Mutable); return Region; diff --git a/gcc/ada/libgnat/s-objrea.adb b/gcc/ada/libgnat/s-objrea.adb --- a/gcc/ada/libgnat/s-objrea.adb +++ b/gcc/ada/libgnat/s-objrea.adb @@ -1472,7 +1472,7 @@ package body System.Object_Reader is (Obj : in out XCOFF32_Object_File; Sym : Object_Symbol) return String_Ptr_Len is - Symbol : Symbol_Entry; + Symbol : Symbol_Entry; begin Seek (Obj.Symtab_Stream, Sym.Off); @@ -1820,7 +1820,7 @@ package body System.Object_Reader is (S : in out Mapped_Stream; Off : Offset) return String is - Buf : Buffer; + Buf : Buffer; begin Seek (S, Off); diff --git a/gcc/ada/libgnat/s-pehage.adb b/gcc/ada/libgnat/s-pehage.adb --- a/gcc/ada/libgnat/s-pehage.adb +++ b/gcc/ada/libgnat/s-pehage.adb @@ -1233,7 +1233,7 @@ package body System.Perfect_Hash_Generators is ------------ procedure Insert (Value : String) is - Len : constant Natural := Value'Length; + Len : constant Natural := Value'Length; begin if Verbose then diff --git a/gcc/ada/libgnat/s-regpat.adb b/gcc/ada/libgnat/s-regpat.adb --- a/gcc/ada/libgnat/s-regpat.adb +++ b/gcc/ada/libgnat/s-regpat.adb @@ -664,7 +664,7 @@ package body System.Regpat is Operand : Pointer; Greedy : Boolean := True) is - Old : Pointer; + Old : Pointer; begin Old := Insert_Operator_Before (Op, Operand, Greedy, Opsize => 7); Emit_Natural (Old + Next_Pointer_Bytes, Min); @@ -2108,7 +2108,7 @@ package body System.Regpat is if Do_Print then declare - Point : constant String := Pointer'Image (Index); + Point : constant String := Pointer'Image (Index); begin Put ([1 .. 4 - Point'Length => ' '] & Point & ":" diff --git a/gcc/ada/libgnat/s-shasto.adb b/gcc/ada/libgnat/s-shasto.adb --- a/gcc/ada/libgnat/s-shasto.adb +++ b/gcc/ada/libgnat/s-shasto.adb @@ -440,7 +440,7 @@ package body System.Shared_Storage is if SFE = null then declare - S : aliased constant String := Dir.all & Var; + S : aliased constant String := Dir.all & Var; begin SFE := new Shared_Var_File_Entry; @@ -521,7 +521,7 @@ package body System.Shared_Storage is if SFE = null then declare - S : aliased constant String := Dir.all & Var; + S : aliased constant String := Dir.all & Var; begin SFE := new Shared_Var_File_Entry; diff --git a/gcc/ada/libgnat/s-valued.adb b/gcc/ada/libgnat/s-valued.adb --- a/gcc/ada/libgnat/s-valued.adb +++ b/gcc/ada/libgnat/s-valued.adb @@ -186,7 +186,7 @@ package body System.Value_D is elsif S > 0 then declare - LS : Integer := S; + LS : Integer := S; begin Y := Safe_Expont (B, LS, 10 ** Integer'Max (0, Scale)); diff --git a/gcc/ada/libgnat/s-valuef.adb b/gcc/ada/libgnat/s-valuef.adb --- a/gcc/ada/libgnat/s-valuef.adb +++ b/gcc/ada/libgnat/s-valuef.adb @@ -255,7 +255,7 @@ package body System.Value_F is elsif ScaleB > 0 then declare - LS : Integer := ScaleB; + LS : Integer := ScaleB; begin Y := Safe_Expont (B, LS, Den); diff --git a/gcc/ada/par-ch11.adb b/gcc/ada/par-ch11.adb --- a/gcc/ada/par-ch11.adb +++ b/gcc/ada/par-ch11.adb @@ -56,7 +56,7 @@ package body Ch11 is -- Error_Recovery : Cannot raise Error_Resync function P_Handled_Sequence_Of_Statements return Node_Id is - Handled_Stmt_Seq_Node : Node_Id; + Handled_Stmt_Seq_Node : Node_Id; begin Handled_Stmt_Seq_Node := New_Node (N_Handled_Sequence_Of_Statements, Token_Ptr); diff --git a/gcc/ada/par-ch4.adb b/gcc/ada/par-ch4.adb --- a/gcc/ada/par-ch4.adb +++ b/gcc/ada/par-ch4.adb @@ -1194,7 +1194,7 @@ package body Ch4 is (Prefix_Node : Node_Id) return Node_Id is - Attr_Node : Node_Id; + Attr_Node : Node_Id; begin Attr_Node := New_Node (N_Attribute_Reference, Token_Ptr); diff --git a/gcc/ada/par-ch6.adb b/gcc/ada/par-ch6.adb --- a/gcc/ada/par-ch6.adb +++ b/gcc/ada/par-ch6.adb @@ -1144,7 +1144,7 @@ package body Ch6 is -------------- function Real_Dot return Boolean is - Scan_State : Saved_Scan_State; + Scan_State : Saved_Scan_State; begin if Token /= Tok_Dot then diff --git a/gcc/ada/par-ch9.adb b/gcc/ada/par-ch9.adb --- a/gcc/ada/par-ch9.adb +++ b/gcc/ada/par-ch9.adb @@ -283,7 +283,7 @@ package body Ch9 is -- Error recovery: cannot raise Error_Resync function P_Task_Definition return Node_Id is - Def_Node : Node_Id; + Def_Node : Node_Id; begin Def_Node := New_Node (N_Task_Definition, Token_Ptr); diff --git a/gcc/ada/par_sco.adb b/gcc/ada/par_sco.adb --- a/gcc/ada/par_sco.adb +++ b/gcc/ada/par_sco.adb @@ -922,8 +922,8 @@ package body Par_SCO is --------------------- procedure Record_Instance (Id : Instance_Id; Inst_Sloc : Source_Ptr) is - Inst_Src : constant Source_File_Index := - Get_Source_File_Index (Inst_Sloc); + Inst_Src : constant Source_File_Index := + Get_Source_File_Index (Inst_Sloc); begin SCO_Instance_Table.Append ((Inst_Dep_Num => Dependency_Num (Unit (Inst_Src)), diff --git a/gcc/ada/repinfo-input.adb b/gcc/ada/repinfo-input.adb --- a/gcc/ada/repinfo-input.adb +++ b/gcc/ada/repinfo-input.adb @@ -288,7 +288,7 @@ package body Repinfo.Input is ---------------------- function Decode_Integer (Lo, Hi : Text_Ptr) return Uint is - Len : constant Nat := Int (Hi) - Int (Lo) + 1; + Len : constant Nat := Int (Hi) - Int (Lo) + 1; begin -- Decode up to 9 characters manually, otherwise call into Uint diff --git a/gcc/ada/sem_cat.adb b/gcc/ada/sem_cat.adb --- a/gcc/ada/sem_cat.adb +++ b/gcc/ada/sem_cat.adb @@ -526,8 +526,8 @@ package body Sem_Cat is ---------------------------- function In_Package_Declaration return Boolean is - Unit_Kind : constant Node_Kind := - Nkind (Unit (Cunit (Current_Sem_Unit))); + Unit_Kind : constant Node_Kind := + Nkind (Unit (Cunit (Current_Sem_Unit))); begin -- There are no restrictions on the body of an RCI or RT unit diff --git a/gcc/ada/sem_ch10.adb b/gcc/ada/sem_ch10.adb --- a/gcc/ada/sem_ch10.adb +++ b/gcc/ada/sem_ch10.adb @@ -2279,7 +2279,7 @@ package body Sem_Ch10 is ---------------------------- procedure Re_Install_Use_Clauses is - U : Node_Id; + U : Node_Id; begin for J in reverse 1 .. Num_Scopes loop U := Use_Clauses (J); diff --git a/gcc/ada/sem_ch12.adb b/gcc/ada/sem_ch12.adb --- a/gcc/ada/sem_ch12.adb +++ b/gcc/ada/sem_ch12.adb @@ -2394,7 +2394,7 @@ package body Sem_Ch12 is T : Entity_Id; Def : Node_Id) is - Loc : constant Source_Ptr := Sloc (Def); + Loc : constant Source_Ptr := Sloc (Def); begin -- Rewrite as a type declaration of a derived type. This ensures that @@ -10348,7 +10348,7 @@ package body Sem_Ch12 is Formal_Ent : Entity_Id; Actual_Ent : Entity_Id) is - Act_Pkg : Entity_Id; + Act_Pkg : Entity_Id; begin Set_Instance_Of (Formal_Ent, Actual_Ent); diff --git a/gcc/ada/sem_ch13.adb b/gcc/ada/sem_ch13.adb --- a/gcc/ada/sem_ch13.adb +++ b/gcc/ada/sem_ch13.adb @@ -593,7 +593,7 @@ package body Sem_Ch13 is Comp := First_Component_Or_Discriminant (R); while Present (Comp) loop declare - CC : constant Node_Id := Component_Clause (Comp); + CC : constant Node_Id := Component_Clause (Comp); begin -- Collect only component clauses whose last bit is less than diff --git a/gcc/ada/sem_ch4.adb b/gcc/ada/sem_ch4.adb --- a/gcc/ada/sem_ch4.adb +++ b/gcc/ada/sem_ch4.adb @@ -8263,7 +8263,7 @@ package body Sem_Ch4 is and then Is_Entity_Name (Name (Parent (Par))) then declare - Proc : Entity_Id; + Proc : Entity_Id; begin -- We should look for an interpretation with the proper diff --git a/gcc/ada/sem_eval.adb b/gcc/ada/sem_eval.adb --- a/gcc/ada/sem_eval.adb +++ b/gcc/ada/sem_eval.adb @@ -4727,7 +4727,7 @@ package body Sem_Eval is ------------------ function Expr_Value_E (N : Node_Id) return Entity_Id is - Ent : constant Entity_Id := Entity (N); + Ent : constant Entity_Id := Entity (N); begin if Ekind (Ent) = E_Enumeration_Literal then return Ent; diff --git a/gcc/ada/sem_prag.adb b/gcc/ada/sem_prag.adb --- a/gcc/ada/sem_prag.adb +++ b/gcc/ada/sem_prag.adb @@ -32677,7 +32677,7 @@ package body Sem_Prag is -------------------------------------------- procedure Defer_Compile_Time_Warning_Error_To_BE (N : Node_Id) is - Arg1 : constant Node_Id := First (Pragma_Argument_Associations (N)); + Arg1 : constant Node_Id := First (Pragma_Argument_Associations (N)); begin Compile_Time_Warnings_Errors.Append (New_Val => CTWE_Entry'(Eloc => Sloc (Arg1), diff --git a/gcc/ada/sem_res.adb b/gcc/ada/sem_res.adb --- a/gcc/ada/sem_res.adb +++ b/gcc/ada/sem_res.adb @@ -9774,7 +9774,7 @@ package body Sem_Res is ---------------------------- procedure Resolve_Set_Membership is - Alt : Node_Id; + Alt : Node_Id; begin -- If the left operand is overloaded, find type compatible with not diff --git a/gcc/ada/sem_util.adb b/gcc/ada/sem_util.adb --- a/gcc/ada/sem_util.adb +++ b/gcc/ada/sem_util.adb @@ -1659,7 +1659,7 @@ package body Sem_Util is Typ : Entity_Id; Suggest_Static : Boolean := False) is - Gen : Entity_Id; + Gen : Entity_Id; begin -- Avoid cascaded errors @@ -10729,7 +10729,7 @@ package body Sem_Util is ------------------------------------- function Get_Actual_Subtype_If_Available (N : Node_Id) return Entity_Id is - Typ : constant Entity_Id := Etype (N); + Typ : constant Entity_Id := Etype (N); begin -- If what we have is an identifier that references a subprogram @@ -21951,7 +21951,7 @@ package body Sem_Util is ------------------------------------ function Prefix_Has_Volatile_Components (P : Node_Id) return Boolean is - Typ : constant Entity_Id := Etype (P); + Typ : constant Entity_Id := Etype (P); begin if Is_Access_Type (Typ) then diff --git a/gcc/ada/sinput.adb b/gcc/ada/sinput.adb --- a/gcc/ada/sinput.adb +++ b/gcc/ada/sinput.adb @@ -329,7 +329,7 @@ package body Sinput is begin for X in 1 .. Source_File.Last loop declare - S : Source_File_Record renames Source_File.Table (X); + S : Source_File_Record renames Source_File.Table (X); begin if S.Instance = No_Instance_Id then Free_Source_Buffer (S.Source_Text); diff --git a/gcc/ada/switch-c.adb b/gcc/ada/switch-c.adb --- a/gcc/ada/switch-c.adb +++ b/gcc/ada/switch-c.adb @@ -1285,7 +1285,7 @@ package body Switch.C is else declare - OK : Boolean; + OK : Boolean; begin Set_Validity_Check_Options @@ -1408,7 +1408,7 @@ package body Switch.C is Store_Switch := False; declare - OK : Boolean; + OK : Boolean; begin Set_Style_Check_Options