From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: by sourceware.org (Postfix, from userid 1914) id 91CE3385802F; Thu, 6 Jan 2022 17:13:42 +0000 (GMT) DKIM-Filter: OpenDKIM Filter v2.11.0 sourceware.org 91CE3385802F MIME-Version: 1.0 Content-Transfer-Encoding: 7bit Content-Type: text/plain; charset="utf-8" From: Pierre-Marie de Rodat To: gcc-cvs@gcc.gnu.org Subject: [gcc r12-6300] [Ada] Fix typo in comments found running aspell X-Act-Checkin: gcc X-Git-Author: Etienne Servais X-Git-Refname: refs/heads/master X-Git-Oldrev: 1f26ff11b688e3cec00da85b13f6f33e23fc7410 X-Git-Newrev: 41a7b9484a39657deab7cac7092c2bf634a39365 Message-Id: <20220106171342.91CE3385802F@sourceware.org> Date: Thu, 6 Jan 2022 17:13:42 +0000 (GMT) X-BeenThere: gcc-cvs@gcc.gnu.org X-Mailman-Version: 2.1.29 Precedence: list List-Id: Gcc-cvs mailing list List-Unsubscribe: , List-Archive: List-Help: List-Subscribe: , X-List-Received-Date: Thu, 06 Jan 2022 17:13:42 -0000 https://gcc.gnu.org/g:41a7b9484a39657deab7cac7092c2bf634a39365 commit r12-6300-g41a7b9484a39657deab7cac7092c2bf634a39365 Author: Etienne Servais Date: Fri Dec 3 15:13:07 2021 +0100 [Ada] Fix typo in comments found running aspell gcc/ada/ * atree.adb: Fix typo. * einfo.ads: Likewise. * exp_aggr.adb: Likewise. * exp_ch6.adb: Likewise. * exp_ch7.adb: Likewise. * exp_ch9.adb: Likewise. * exp_prag.adb: Likewise. * exp_unst.adb: Likewise. * exp_unst.ads: Likewise. * exp_util.adb: Likewise. * par-endh.adb: Likewise. * par.adb: Likewise. * restrict.adb: Likewise. * sem.ads: Likewise. * sem_ch4.adb: Likewise. * sem_ch5.adb: Likewise. * sem_ch6.adb: Likewise. * sem_ch8.adb: Likewise. * sem_ch12.adb: Likewise. * sem_ch13.adb: Likewise. * sem_dim.adb: Likewise. * sem_elab.adb: Likewise. * sem_prag.adb: Likewise. * sem_res.adb: Likewise. * sem_util.adb: Likewise. * sem_util.ads: Likewise. * sinfo.ads: Likewise. * sprint.adb: Likewise. * urealp.adb: Likewise. Diff: --- gcc/ada/atree.adb | 2 +- gcc/ada/einfo.ads | 2 +- gcc/ada/exp_aggr.adb | 12 ++++++------ gcc/ada/exp_ch6.adb | 2 +- gcc/ada/exp_ch7.adb | 2 +- gcc/ada/exp_ch9.adb | 4 ++-- gcc/ada/exp_prag.adb | 2 +- gcc/ada/exp_unst.adb | 4 ++-- gcc/ada/exp_unst.ads | 4 ++-- gcc/ada/exp_util.adb | 2 +- gcc/ada/par-endh.adb | 2 +- gcc/ada/par.adb | 12 ++++++------ gcc/ada/restrict.adb | 6 +++--- gcc/ada/sem.ads | 2 +- gcc/ada/sem_ch12.adb | 2 +- gcc/ada/sem_ch13.adb | 10 +++++----- gcc/ada/sem_ch4.adb | 2 +- gcc/ada/sem_ch5.adb | 8 ++++---- gcc/ada/sem_ch6.adb | 4 ++-- gcc/ada/sem_ch8.adb | 2 +- gcc/ada/sem_dim.adb | 4 ++-- gcc/ada/sem_elab.adb | 10 +++++----- gcc/ada/sem_prag.adb | 10 +++++----- gcc/ada/sem_res.adb | 10 +++++----- gcc/ada/sem_util.adb | 4 ++-- gcc/ada/sem_util.ads | 2 +- gcc/ada/sinfo.ads | 4 ++-- gcc/ada/sprint.adb | 6 +++--- gcc/ada/urealp.adb | 4 ++-- 29 files changed, 70 insertions(+), 70 deletions(-) diff --git a/gcc/ada/atree.adb b/gcc/ada/atree.adb index 88d766a2b29..b4a33cb479f 100644 --- a/gcc/ada/atree.adb +++ b/gcc/ada/atree.adb @@ -93,7 +93,7 @@ package body Atree is -------------------------- -- The Small_Paren_Count field has range 0 .. 3. If the Paren_Count is - -- in the range 0 .. 2, then it is stoed as Small_Paren_Count. Otherwise, + -- in the range 0 .. 2, then it is stored as Small_Paren_Count. Otherwise, -- Small_Paren_Count = 3, and the actual Paren_Count is stored in the -- Paren_Counts table. -- diff --git a/gcc/ada/einfo.ads b/gcc/ada/einfo.ads index 546ef569f55..a7a40fc66e9 100644 --- a/gcc/ada/einfo.ads +++ b/gcc/ada/einfo.ads @@ -3745,7 +3745,7 @@ package Einfo is -- No_Dynamic_Predicate_On_Actual -- Defined in discrete types. Set for generic formal types that are used --- in loops and quantified expressions. The corresponing actual cannot +-- in loops and quantified expressions. The corresponding actual cannot -- have dynamic predicates. -- No_Pool_Assigned [root type only] diff --git a/gcc/ada/exp_aggr.adb b/gcc/ada/exp_aggr.adb index df3763820b3..89f2ce65338 100644 --- a/gcc/ada/exp_aggr.adb +++ b/gcc/ada/exp_aggr.adb @@ -169,9 +169,9 @@ package body Exp_Aggr is -- Subsidiary to the expansion of array and record aggregates. Generate -- part of the necessary code to finalize a transient component. Aggr is -- the related aggregate. Fin_Clear is the finalization call used to clean - -- up the transient component. Hook_Clear is the hook reset statment. Stmts - -- is the initialization statement list for the component. All generated - -- code is added to Stmts. + -- up the transient component. Hook_Clear is the hook reset statement. + -- Stmts is the initialization statement list for the component. All + -- generated code is added to Stmts. procedure Sort_Case_Table (Case_Table : in out Case_Table_Type); -- Sort the Case Table using the Lower Bound of each Choice as the key. @@ -6932,7 +6932,7 @@ package body Exp_Aggr is -- In the remaining cases the aggregate appears in the RHS of an -- assignment, which may be part of the expansion of an object - -- delaration. If the aggregate is an actual in a call, itself + -- declaration. If the aggregate is an actual in a call, itself -- possibly in a RHS, building it in the target is not possible. elsif Maybe_In_Place_OK @@ -7271,7 +7271,7 @@ package body Exp_Aggr is -- overestimate if a filter is present, but is a safe approximation. -- If bounds are dynamic the aggregate is created in two passes, and -- the first generates a loop for the sole purpose of computing the - -- number of elements that will be generated on the seocnd pass. + -- number of elements that will be generated on the second pass. procedure Expand_Iterated_Component (Comp : Node_Id); -- Handle iterated_component_association and iterated_Element @@ -7495,7 +7495,7 @@ package body Exp_Aggr is Iterator_Specification => Iterator_Specification (Comp)); else - -- Loop_Parameter_Specifcation is parsed with a choice list. + -- Loop_Parameter_Specification is parsed with a choice list. -- where the range is the first (and only) choice. L_Range := Relocate_Node (First (Discrete_Choices (Comp))); diff --git a/gcc/ada/exp_ch6.adb b/gcc/ada/exp_ch6.adb index c18d8389e10..09e74774515 100644 --- a/gcc/ada/exp_ch6.adb +++ b/gcc/ada/exp_ch6.adb @@ -2817,7 +2817,7 @@ package body Exp_Ch6 is procedure Check_Subprogram_Variant; -- Emit a call to the internally generated procedure with checks for - -- aspect Subprogrgram_Variant, if present and enabled. + -- aspect Subprogram_Variant, if present and enabled. function Inherited_From_Formal (S : Entity_Id) return Entity_Id; -- Within an instance, a type derived from an untagged formal derived diff --git a/gcc/ada/exp_ch7.adb b/gcc/ada/exp_ch7.adb index 16a6a8d7387..367bd3d54ed 100644 --- a/gcc/ada/exp_ch7.adb +++ b/gcc/ada/exp_ch7.adb @@ -4059,7 +4059,7 @@ package body Exp_Ch7 is end if; -- Call _postconditions when no general finalization exceptions have - -- occured taking care to enable the postconditions and save any + -- occurred taking care to enable the postconditions and save any -- exception occurrences. -- Generate: diff --git a/gcc/ada/exp_ch9.adb b/gcc/ada/exp_ch9.adb index 694cf9047ad..b0f81481005 100644 --- a/gcc/ada/exp_ch9.adb +++ b/gcc/ada/exp_ch9.adb @@ -2937,7 +2937,7 @@ package body Exp_Ch9 is -- Desired_Comp : Comp_Type := Expected_Comp; -- Comp : Comp_Type renames Desired_Comp; -- - -- -- -- begin @@ -2977,7 +2977,7 @@ package body Exp_Ch9 is -- (_Object.Comp'Address)); -- Comp : Comp_Type renames Expected_Comp; -- - -- -- -- begin diff --git a/gcc/ada/exp_prag.adb b/gcc/ada/exp_prag.adb index f0b4b0b93ca..f19eedfaad7 100644 --- a/gcc/ada/exp_prag.adb +++ b/gcc/ada/exp_prag.adb @@ -125,7 +125,7 @@ package body Exp_Prag is begin -- Suppress the expansion of an ignored assertion pragma. Such a pragma - -- should not be transformed into a null statment because: + -- should not be transformed into a null statement because: -- -- * The pragma may be part of the rep item chain of a type, in which -- case rewriting it will destroy the chain. diff --git a/gcc/ada/exp_unst.adb b/gcc/ada/exp_unst.adb index be0658034ca..dcae4b31222 100644 --- a/gcc/ada/exp_unst.adb +++ b/gcc/ada/exp_unst.adb @@ -1755,7 +1755,7 @@ package body Exp_Unst is procedure Add_Form_To_Spec (F : Entity_Id; S : Node_Id); -- S is an N_Function/Procedure_Specification node, and F - -- is the new entity to add to this subprogramn spec as + -- is the new entity to add to this subprogram spec as -- the last Extra_Formal. ---------------------- @@ -2206,7 +2206,7 @@ package body Exp_Unst is begin -- Ignore type references, these are implicit references that do - -- not need rewriting (e.g. the appearence in a conversion). + -- not need rewriting (e.g. the appearance in a conversion). -- Also ignore if no reference was specified or if the rewriting -- has already been done (this can happen if the N_Identifier -- occurs more than one time in the tree). Also ignore references diff --git a/gcc/ada/exp_unst.ads b/gcc/ada/exp_unst.ads index 9355380707b..39ab1286d70 100644 --- a/gcc/ada/exp_unst.ads +++ b/gcc/ada/exp_unst.ads @@ -636,7 +636,7 @@ package Exp_Unst is -- the subprogram is declared but not actually referenced. We remove -- such subprograms from the tree, which simplifies our task, because -- we don't have to worry about e.g. uplevel references from such an - -- unreferenced subpogram, which might require (useless) activation + -- unreferenced subprogram, which might require (useless) activation -- records to be created. This is computed by setting the outer level -- subprogram (Subp itself) as reachable, and then doing a transitive -- closure following all calls. @@ -669,7 +669,7 @@ package Exp_Unst is -- uplevel referenced. It contains both objects (which will be put in -- the corresponding AREC activation record), and types. The types are -- not put in the AREC activation record, but referenced bounds (i.e. - -- generated _FIRST and _LAST entites, and formal parameters) will be + -- generated _FIRST and _LAST entities, and formal parameters) will be -- in the list in their own right. Last : SI_Type; diff --git a/gcc/ada/exp_util.adb b/gcc/ada/exp_util.adb index a4c6554e91b..99372e39fcf 100644 --- a/gcc/ada/exp_util.adb +++ b/gcc/ada/exp_util.adb @@ -1422,7 +1422,7 @@ package body Exp_Util is -- Add a runtime check to verify assertion expression DIC_Expr of -- inherited pragma DIC_Prag. This routine applies class-wide pre- -- and postcondition-like runtime semantics to the check. Expr is - -- the assertion expression after substitition has been performed + -- the assertion expression after substitution has been performed -- (via Replace_References). All generated code is added to list Stmts. procedure Add_Inherited_DICs diff --git a/gcc/ada/par-endh.adb b/gcc/ada/par-endh.adb index 272e737919c..612f16dc40d 100644 --- a/gcc/ada/par-endh.adb +++ b/gcc/ada/par-endh.adb @@ -732,7 +732,7 @@ package body Endh is -- ... -- end My_Label; - -- This is the case where we want to use the entry in the suspicous + -- This is the case where we want to use the entry in the suspicious -- label table to flag the semicolon saying it should be a colon. -- Label_OK will be false because the label does not match (we have diff --git a/gcc/ada/par.adb b/gcc/ada/par.adb index c577d283c42..ad902bf36ec 100644 --- a/gcc/ada/par.adb +++ b/gcc/ada/par.adb @@ -484,11 +484,11 @@ function Par (Configuration_Pragmas : Boolean) return List_Id is -- This field is used to provide the name of the construct being parsed -- and indirectly its kind. For loops and blocks, the field contains the -- source name or the generated one. For package specifications, bodies, - -- subprogram specifications and bodies the field holds the correponding - -- program unit name. For task declarations and bodies, protected types - -- and bodies, and accept statements the field hold the name of the type - -- or operation. For if-statements, case-statements, return statements, - -- and selects, the field is initialized to Error. + -- subprogram specifications and bodies the field holds the + -- corresponding program unit name. For task declarations and bodies, + -- protected types and bodies, and accept statements the field hold the + -- name of the type or operation. For if-statements, case-statements, + -- return statements, and selects, the field is initialized to Error. -- Note: this is a bit of an odd (mis)use of Error, since there is no -- Error, but we use this value as a place holder to indicate that it @@ -564,7 +564,7 @@ function Par (Configuration_Pragmas : Boolean) return List_Id is -- Table for Handling Suspicious Labels -- ------------------------------------------ - -- This is a special data structure which is used to deal very spefifically + -- This is a special data structure which is used to deal very specifically -- with the following error case -- label; diff --git a/gcc/ada/restrict.adb b/gcc/ada/restrict.adb index 966c4914f4a..cc5d33a0843 100644 --- a/gcc/ada/restrict.adb +++ b/gcc/ada/restrict.adb @@ -71,12 +71,12 @@ package body Restrict is No_Specification_Of_Aspect_Warning : array (Aspect_Id) of Boolean := (others => True); - -- An entry in this array is set False in reponse to a previous call to - -- Set_No_Speficiation_Of_Aspect for pragmas in the main unit that + -- An entry in this array is set False in response to a previous call to + -- Set_No_Specification_Of_Aspect for pragmas in the main unit that -- specify Warning as False. Once set False, an entry is never reset. No_Specification_Of_Aspect_Set : Boolean := False; - -- Set True if any entry of No_Specifcation_Of_Aspects has been set True. + -- Set True if any entry of No_Specification_Of_Aspects has been set True. -- Once set True, this is never turned off again. No_Use_Of_Attribute : array (Attribute_Id) of Source_Ptr := diff --git a/gcc/ada/sem.ads b/gcc/ada/sem.ads index 699f68520ba..e0c3ac7996a 100644 --- a/gcc/ada/sem.ads +++ b/gcc/ada/sem.ads @@ -503,7 +503,7 @@ package Sem is -- Save contents of Check_Policy_List on entry to restore on exit. The -- Check_Policy pragmas are chained with Check_Policy_List pointing to -- the most recent entry. This list is searched starting here, so that - -- the search finds the most recent appicable entry. When we restore + -- the search finds the most recent applicable entry. When we restore -- Check_Policy_List on exit from the scope, the effect is to remove -- all entries set in the scope being exited. diff --git a/gcc/ada/sem_ch12.adb b/gcc/ada/sem_ch12.adb index af96d58d415..9010410a87f 100644 --- a/gcc/ada/sem_ch12.adb +++ b/gcc/ada/sem_ch12.adb @@ -3192,7 +3192,7 @@ package body Sem_Ch12 is <> if Has_Aspects (N) then - -- Unclear that any other aspects may appear here, snalyze them + -- Unclear that any other aspects may appear here, analyze them -- for completion, given that the grammar allows their appearance. Analyze_Aspect_Specifications (N, Pack_Id); diff --git a/gcc/ada/sem_ch13.adb b/gcc/ada/sem_ch13.adb index ba41209708c..81735328cab 100644 --- a/gcc/ada/sem_ch13.adb +++ b/gcc/ada/sem_ch13.adb @@ -3670,7 +3670,7 @@ package body Sem_Ch13 is begin -- When aspect Abstract_State appears on a generic package, - -- it is propageted to the package instance. The context in + -- it is propagated to the package instance. The context in -- this case is the instance spec. if Nkind (Context) = N_Package_Instantiation then @@ -3903,7 +3903,7 @@ package body Sem_Ch13 is begin -- When aspect Initial_Condition appears on a generic - -- package, it is propageted to the package instance. The + -- package, it is propagated to the package instance. The -- context in this case is the instance spec. if Nkind (Context) = N_Package_Instantiation then @@ -3951,7 +3951,7 @@ package body Sem_Ch13 is begin -- When aspect Initializes appears on a generic package, - -- it is propageted to the package instance. The context + -- it is propagated to the package instance. The context -- in this case is the instance spec. if Nkind (Context) = N_Package_Instantiation then @@ -7404,7 +7404,7 @@ package body Sem_Ch13 is else False); -- can't happen -- For X'Size, X can be a type or object; for X'Value_Size, -- X can be a type. Note that we already checked that 'Size - -- can be specified only for a first subytype. + -- can be specified only for a first subtype. begin FOnly := True; @@ -13675,7 +13675,7 @@ package body Sem_Ch13 is function Is_Pragma_Or_Corr_Pragma_Present_In_Rep_Item (Rep_Item : Node_Id) return Boolean; -- This routine checks if Rep_Item is either a pragma or an aspect - -- specification node whose correponding pragma (if any) is present in + -- specification node whose corresponding pragma (if any) is present in -- the Rep Item chain of the entity it has been specified to. -------------------------------------------------- diff --git a/gcc/ada/sem_ch4.adb b/gcc/ada/sem_ch4.adb index 46e259d26ef..bf453f2a5db 100644 --- a/gcc/ada/sem_ch4.adb +++ b/gcc/ada/sem_ch4.adb @@ -1497,7 +1497,7 @@ package body Sem_Ch4 is while Present (Form) and then Present (Act) loop -- Check whether the formal is aliased and if the accessibility -- level of the actual is deeper than the accessibility level - -- of the enclosing subprogam to which the current return + -- of the enclosing subprogram to which the current return -- statement applies. -- Should we be checking Is_Entity_Name on Act? Won't this miss diff --git a/gcc/ada/sem_ch5.adb b/gcc/ada/sem_ch5.adb index e62161abbdb..78a38d6b1a0 100644 --- a/gcc/ada/sem_ch5.adb +++ b/gcc/ada/sem_ch5.adb @@ -142,7 +142,7 @@ package body Sem_Ch5 is -- If the right-hand side of an assignment statement is a build-in-place -- call we cannot build in place, so we insert a temp initialized with -- the call, and transform the assignment statement to copy the temp. - -- Transform_BIP_Assignment does the tranformation, and + -- Transform_BIP_Assignment does the transformation, and -- Should_Transform_BIP_Assignment determines whether we should. -- The same goes for qualified expressions and conversions whose -- operand is such a call. @@ -2906,8 +2906,8 @@ package body Sem_Ch5 is procedure Check_Predicate_Use (T : Entity_Id); -- Diagnose Attempt to iterate through non-static predicate. Note that -- a type with inherited predicates may have both static and dynamic - -- forms. In this case it is not sufficent to check the static predicate - -- function only, look for a dynamic predicate aspect as well. + -- forms. In this case it is not sufficient to check the static + -- predicate function only, look for a dynamic predicate aspect as well. procedure Process_Bounds (R : Node_Id); -- If the iteration is given by a range, create temporaries and @@ -3560,7 +3560,7 @@ package body Sem_Ch5 is Set_Is_Null_Loop (Loop_Nod); Null_Range := True; - -- Suppress other warnigns about the body of the loop, as + -- Suppress other warnings about the body of the loop, as -- it will never execute. Set_Suppress_Loop_Warnings (Loop_Nod); end if; diff --git a/gcc/ada/sem_ch6.adb b/gcc/ada/sem_ch6.adb index 2368dec8abc..bd1bb5065d2 100644 --- a/gcc/ada/sem_ch6.adb +++ b/gcc/ada/sem_ch6.adb @@ -5040,7 +5040,7 @@ package body Sem_Ch6 is -- object representing the minimum of the accessibility level value that -- is passed in and the accessibility level of the callee's parameter -- and locals and use it in the case of a call to a nested subprogram. - -- This generated object is refered to as a "minimum accessiblity + -- This generated object is referred to as a "minimum accessibility -- level." if Present (Spec_Id) or else Present (Body_Id) then @@ -11637,7 +11637,7 @@ package body Sem_Ch6 is E : Entity_Id; begin - -- Search for entities in the enclosing scope of this synchonized + -- Search for entities in the enclosing scope of this synchronized -- type. pragma Assert (Is_Concurrent_Type (Conc_Typ)); diff --git a/gcc/ada/sem_ch8.adb b/gcc/ada/sem_ch8.adb index 34f7ac15e8a..8ee34966d33 100644 --- a/gcc/ada/sem_ch8.adb +++ b/gcc/ada/sem_ch8.adb @@ -10120,7 +10120,7 @@ package body Sem_Ch8 is return; end if; - -- Set P back to the non-renamed package so that visiblilty of the + -- Set P back to the non-renamed package so that visibility of the -- entities within the package can be properly set below. P := Entity (Pack_Name); diff --git a/gcc/ada/sem_dim.adb b/gcc/ada/sem_dim.adb index 960c5675473..74ebe50d029 100644 --- a/gcc/ada/sem_dim.adb +++ b/gcc/ada/sem_dim.adb @@ -3032,12 +3032,12 @@ package body Sem_Dim is -- symbol is not empty, then the symbol appears as a -- suffix. Otherwise, a new string is created and appears -- as a suffix of Item. This string results in the - -- successive concatanations between each unit symbol + -- successive concatenations between each unit symbol -- raised by its corresponding dimension power from the -- dimensions of Item. -- * Put_Dim_Of : The output is a new string resulting in the successive - -- concatanations between each dimension symbol raised by + -- concatenations between each dimension symbol raised by -- its corresponding dimension power from the dimensions of -- Item. diff --git a/gcc/ada/sem_elab.adb b/gcc/ada/sem_elab.adb index 29f306994f7..ce407bcf77d 100644 --- a/gcc/ada/sem_elab.adb +++ b/gcc/ada/sem_elab.adb @@ -1752,13 +1752,13 @@ package body Sem_Elab is function Is_Ada_Semantic_Target (Id : Entity_Id) return Boolean; pragma Inline (Is_Ada_Semantic_Target); - -- Determine whether arbitrary entity Id denodes a source or internally + -- Determine whether arbitrary entity Id denotes a source or internally -- generated subprogram which emulates Ada semantics. function Is_Assertion_Pragma_Target (Id : Entity_Id) return Boolean; pragma Inline (Is_Assertion_Pragma_Target); -- Determine whether arbitrary entity Id denotes a procedure which - -- varifies the run-time semantics of an assertion pragma. + -- verifies the run-time semantics of an assertion pragma. function Is_Bodiless_Subprogram (Subp_Id : Entity_Id) return Boolean; pragma Inline (Is_Bodiless_Subprogram); @@ -4949,7 +4949,7 @@ package body Sem_Elab is -- which started the recursive search. If this is not the case, then -- there is a potential ABE if the access value is used to call the -- subprogram. Emit a warning only when switch -gnatw.f (warnings on - -- suspucious 'Access) is in effect. + -- suspicious 'Access) is in effect. elsif Warn_On_Elab_Access and then Present (Body_Decl) @@ -9033,7 +9033,7 @@ package body Sem_Elab is if not Comes_From_Source (Curr) then null; - -- If the traversal came from the handled sequence of statments, + -- If the traversal came from the handled sequence of statements, -- then the node appears at the level of the enclosing construct. -- This is a more reliable test because transients scopes within -- the declarative region of the encapsulator are hard to detect. @@ -9055,7 +9055,7 @@ package body Sem_Elab is elsif Nkind (Curr) in N_Entry_Body | N_Subprogram_Body | N_Task_Body then - -- If the traversal came from the handled sequence of statments, + -- If the traversal came from the handled sequence of statements, -- then the node cannot possibly appear at any level. This is -- a more reliable test because transients scopes within the -- declarative region of the encapsulator are hard to detect. diff --git a/gcc/ada/sem_prag.adb b/gcc/ada/sem_prag.adb index ce2b2ef1962..2f723bcdec4 100644 --- a/gcc/ada/sem_prag.adb +++ b/gcc/ada/sem_prag.adb @@ -7113,7 +7113,7 @@ package body Sem_Prag is if From_Aspect_Specification (N) then - -- Change appearence of "pragma" in message to "aspect" + -- Change appearance of "pragma" in message to "aspect" J := Res'First; while J <= Res_Last - 5 loop @@ -26585,7 +26585,7 @@ package body Sem_Prag is -- The current refinement clause is legally constructed following -- the rules in SPARK RM 7.2.5, therefore it can be removed from - -- the pool of candidates. The seach continues because a single + -- the pool of candidates. The search continues because a single -- dependence clause may have multiple matching refinements. if Inputs_Match and Outputs_Match then @@ -30903,8 +30903,8 @@ package body Sem_Prag is return Stmt; -- The subprogram declaration is an internally generated spec - -- for a stand-alone subrogram body declared inside a protected - -- body. + -- for a stand-alone subprogram body declared inside a + -- protected body. elsif Present (Corresponding_Body (Stmt)) and then Comes_From_Source (Corresponding_Body (Stmt)) @@ -31387,7 +31387,7 @@ package body Sem_Prag is -- whether appearance of some name in a given pragma is to be considered -- as a reference for the purposes of warnings about unreferenced objects. - -- -1 indicates that appearence in any argument is significant + -- -1 indicates that appearance in any argument is significant -- 0 indicates that appearance in any argument is not significant -- +n indicates that appearance as argument n is significant, but all -- other arguments are not significant diff --git a/gcc/ada/sem_res.adb b/gcc/ada/sem_res.adb index bd91cec08bd..ee843d39e9d 100644 --- a/gcc/ada/sem_res.adb +++ b/gcc/ada/sem_res.adb @@ -302,7 +302,7 @@ package body Sem_Res is -- of the context, or the type of the other operand has a user-defined -- literal aspect that can be applied to the literal to resolve the node. -- If such aspect exists, replace literal with a call to the - -- corresponing function and return True, return false otherwise. + -- corresponding function and return True, return false otherwise. ------------------------- -- Ambiguous_Character -- @@ -3439,7 +3439,7 @@ package body Sem_Res is end case; -- Mark relevant use-type and use-package clauses as effective using - -- the original node because constant folding may have occured and + -- the original node because constant folding may have occurred and -- removed references that need to be examined. if Nkind (Original_Node (N)) in N_Op then @@ -10574,7 +10574,7 @@ package body Sem_Res is end if; -- AI12-0100: Once the qualified expression is resolved, check whether - -- operand statisfies a static predicate of the target subtype, if any. + -- operand satisfies a static predicate of the target subtype, if any. -- In the static expression case, a predicate check failure is an error. if Has_Predicates (Target_Typ) then @@ -12172,7 +12172,7 @@ package body Sem_Res is end if; -- Ada 2012: Once the type conversion is resolved, check whether the - -- operand statisfies a static predicate of the target subtype, if any. + -- operand satisfies a static predicate of the target subtype, if any. -- In the static expression case, a predicate check failure is an error. if Has_Predicates (Target_Typ) then @@ -13128,7 +13128,7 @@ package body Sem_Res is function In_Instance_Code return Boolean; -- Return True if expression is within an instance but is not in one of -- the actuals of the instantiation. Type conversions within an instance - -- are not rechecked because type visbility may lead to spurious errors, + -- are not rechecked because type visibility may lead to spurious errors -- but conversions in an actual for a formal object must be checked. function Is_Discrim_Of_Bad_Access_Conversion_Argument diff --git a/gcc/ada/sem_util.adb b/gcc/ada/sem_util.adb index acd2f2f3d38..05fa3eda82c 100644 --- a/gcc/ada/sem_util.adb +++ b/gcc/ada/sem_util.adb @@ -503,7 +503,7 @@ package body Sem_Util is (Scope (Defining_Identifier (Par)))); when N_Assignment_Statement => - -- Return the accessiblity level of the left-hand part + -- Return the accessibility level of the left-hand part return Accessibility_Level (Expr => Name (Par), @@ -25132,7 +25132,7 @@ package body Sem_Util is -- * Semantic fields of nodes such as First_Real_Statement must be -- updated to reference the proper replicated nodes. - -- Finally, quantified expressions contain an implicit delaration for + -- Finally, quantified expressions contain an implicit declaration for -- the bound variable. Given that quantified expressions appearing -- in contracts are copied to create pragmas and eventually checking -- procedures, a new bound variable must be created for each copy, to diff --git a/gcc/ada/sem_util.ads b/gcc/ada/sem_util.ads index c37038f7ae1..5ef0a228abe 100644 --- a/gcc/ada/sem_util.ads +++ b/gcc/ada/sem_util.ads @@ -2615,7 +2615,7 @@ package Sem_Util is -- follows: -- -- Checks - Save the status of Elaboration_Check - -- Level - Save the declaration level of N_Id (if appicable) + -- Level - Save the declaration level of N_Id (if applicable) -- Modes - Save the Ghost and SPARK modes in effect (if applicable) -- Warnings - Save the status of Elab_Warnings diff --git a/gcc/ada/sinfo.ads b/gcc/ada/sinfo.ads index b99edf75891..e96227462ba 100644 --- a/gcc/ada/sinfo.ads +++ b/gcc/ada/sinfo.ads @@ -1842,7 +1842,7 @@ package Sinfo is -- Is_Read -- Present in variable reference markers. Set when the original variable - -- reference constitues a read of the variable. + -- reference constitutes a read of the variable. -- Is_Source_Call -- Present in call marker nodes. Set when the related call came from @@ -1902,7 +1902,7 @@ package Sinfo is -- Is_Write -- Present in variable reference markers. Set when the original variable - -- reference constitues a write of the variable. + -- reference constitutes a write of the variable. -- Itype -- Used in N_Itype_Reference node to reference an itype for which it is diff --git a/gcc/ada/sprint.adb b/gcc/ada/sprint.adb index ba2ab3a1e08..252d72d1825 100644 --- a/gcc/ada/sprint.adb +++ b/gcc/ada/sprint.adb @@ -309,7 +309,7 @@ package body Sprint is procedure Write_Param_Specs (N : Node_Id); -- Output parameter specifications for node N (which is a subprogram, or -- entry or entry family or access-subprogram-definition, all of which - -- have a Parameter_Specificatioons field). + -- have a Parameter_Specifications field). procedure Write_Rewrite_Str (S : String); -- Writes out a string (typically containing <<< or >>>}) for a node @@ -1135,7 +1135,7 @@ package body Sprint is -- Note: the following code for N_Aspect_Specification is not -- normally used, since we deal with aspects as part of a -- declaration, but it is here in case we deliberately try - -- to print an N_Aspect_Speficiation node (e.g. from GDB). + -- to print an N_Aspect_Specification node (e.g. from GDB). when N_Aspect_Specification => Sprint_Node (Identifier (Node)); @@ -4806,7 +4806,7 @@ package body Sprint is -- Set true if we output at least one parameter begin - -- Write out explicit specs from Parameter_Speficiations list + -- Write out explicit specs from Parameter_Specifications list if Specs_Present then Write_Str_With_Col_Check (" ("); diff --git a/gcc/ada/urealp.adb b/gcc/ada/urealp.adb index 1367ad3a9e6..cd9bc78d35c 100644 --- a/gcc/ada/urealp.adb +++ b/gcc/ada/urealp.adb @@ -1520,7 +1520,7 @@ package body Urealp is -- We defer to the implementation of UR_Write in all cases, either directly -- for values that are naturally written in a JSON compatible format, or by - -- first computing a decimal approxixmation for other values. + -- first computing a decimal approximation for other values. procedure UR_Write_To_JSON (Real : Ureal) is Val : constant Ureal_Entry := Ureals.Table (Real); @@ -1561,7 +1561,7 @@ package body Urealp is elsif Val.Rbase = 0 and then Val.Num mod Val.Den = 0 then T := Real; - -- For other constants, compute an approxixmation in base 10 + -- For other constants, compute an approximation in base 10 else declare