public inbox for gcc-cvs@sourceware.org
help / color / mirror / Atom feed
* [gcc r12-6300] [Ada] Fix typo in comments found running aspell
@ 2022-01-06 17:13 Pierre-Marie de Rodat
0 siblings, 0 replies; only message in thread
From: Pierre-Marie de Rodat @ 2022-01-06 17:13 UTC (permalink / raw)
To: gcc-cvs
https://gcc.gnu.org/g:41a7b9484a39657deab7cac7092c2bf634a39365
commit r12-6300-g41a7b9484a39657deab7cac7092c2bf634a39365
Author: Etienne Servais <servais@adacore.com>
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;
--
- -- <original delarations after the object renaming declaration
+ -- <original declarations after the object renaming declaration
-- of Comp>
--
-- begin
@@ -2977,7 +2977,7 @@ package body Exp_Ch9 is
-- (_Object.Comp'Address));
-- Comp : Comp_Type renames Expected_Comp;
--
- -- <original delarations after the object renaming declaration of
+ -- <original declarations after the object renaming declaration of
-- 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
<<Leave>>
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
^ permalink raw reply [flat|nested] only message in thread
only message in thread, other threads:[~2022-01-06 17:13 UTC | newest]
Thread overview: (only message) (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2022-01-06 17:13 [gcc r12-6300] [Ada] Fix typo in comments found running aspell Pierre-Marie de Rodat
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for read-only IMAP folder(s) and NNTP newsgroup(s).