* [Ada] Fix typos in comments
@ 2022-07-16 20:26 Jesper Quorning
2022-07-18 7:28 ` Arnaud Charlet
0 siblings, 1 reply; 2+ messages in thread
From: Jesper Quorning @ 2022-07-16 20:26 UTC (permalink / raw)
To: gcc-patches
[-- Attachment #1: 0001-Fix-typos-in-comments.patch --]
[-- Type: application/octet-stream, Size: 149227 bytes --]
From 1cc408b6742491ae85261d3199340500fa0961dc Mon Sep 17 00:00:00 2001
From: Jesper Quorning <jesper.quorning@gmail.com>
Date: Sat, 16 Jul 2022 14:39:01 +0200
Subject: [Ada] Fix typos in comments
To: gcc-patches@gcc.gnu.org
Fix many typos in comments.
gcc/ada/
* ali.adb: Fix typos in comments.
* ali.ads, atree.adb, atree.ads, binde.adb, binderr.ads,
bindgen.adb, bindo-graphs.adb, bindo.adb, butil.adb,
casing.adb, checks.adb, checks.ads, contracts.adb,
contracts.ads, cstand.adb, debug.adb, einfo.ads, errout.ads,
eval_fat.adb, exp_aggr.adb, exp_attr.adb, exp_ch11.adb,
exp_ch11.ads, exp_ch13.adb, exp_ch3.adb, exp_ch3.ads,
exp_ch4.adb, exp_ch5.adb, exp_ch6.adb, exp_ch7.adb,
exp_ch9.adb, exp_dbug.ads, exp_dist.adb, exp_prag.adb,
exp_spark.adb, exp_unst.adb, exp_util.adb, exp_util.ads,
expander.adb, fname-uf.adb, freeze.adb,
gen_il-gen-gen_nodes.adb, gen_il-gen.ads, get_targ.ads,
inline.adb, layout.adb, lib-load.adb, lib-writ.adb,
lib-writ.ads, lib-xref.adb, make.adb, make_util.ads,
namet.adb, opt.ads, par-ch13.adb, par-ch3.adb, par-ch4.adb,
par-ch6.adb, par-util.adb, par.adb, par_sco.adb,
repinfo-input.adb, repinfo.ads, sa_messages.ads, scos.ads,
sem_aggr.adb, sem_attr.adb, sem_case.adb, sem_ch10.adb,
sem_ch12.adb, sem_ch12.ads, sem_ch13.adb, sem_ch13.ads,
sem_ch3.adb, sem_ch4.adb, sem_ch5.adb, sem_ch6.adb,
sem_ch8.adb, sem_ch9.adb, sem_dim.adb, sem_dim.ads,
sem_elab.adb, sem_elab.ads, sem_eval.adb, sem_prag.adb,
sem_prag.ads, sem_res.adb, sem_type.adb, sem_util.adb,
sem_util.ads, sinfo-cn.adb, sinfo-utils.ads, sinfo.ads,
sinput.ads, styleg.adb, switch-b.adb, switch-c.adb,
treepr.adb, uintp.adb, warnsw.ads: Same.
---
gcc/ada/ali.adb | 4 +-
gcc/ada/ali.ads | 2 +-
gcc/ada/atree.adb | 2 +-
gcc/ada/atree.ads | 2 +-
gcc/ada/binde.adb | 2 +-
gcc/ada/binderr.ads | 2 +-
gcc/ada/bindgen.adb | 6 +--
gcc/ada/bindo-graphs.adb | 4 +-
gcc/ada/bindo.adb | 2 +-
gcc/ada/butil.adb | 2 +-
gcc/ada/casing.adb | 2 +-
gcc/ada/checks.adb | 6 +--
gcc/ada/checks.ads | 2 +-
gcc/ada/contracts.adb | 8 ++--
gcc/ada/contracts.ads | 2 +-
gcc/ada/cstand.adb | 2 +-
gcc/ada/debug.adb | 4 +-
gcc/ada/einfo.ads | 19 +++++-----
gcc/ada/errout.ads | 2 +-
gcc/ada/eval_fat.adb | 4 +-
gcc/ada/exp_aggr.adb | 22 +++++------
gcc/ada/exp_attr.adb | 6 +--
gcc/ada/exp_ch11.adb | 2 +-
gcc/ada/exp_ch11.ads | 2 +-
gcc/ada/exp_ch13.adb | 4 +-
gcc/ada/exp_ch3.adb | 4 +-
gcc/ada/exp_ch3.ads | 2 +-
gcc/ada/exp_ch4.adb | 6 +--
gcc/ada/exp_ch5.adb | 6 +--
gcc/ada/exp_ch6.adb | 4 +-
gcc/ada/exp_ch7.adb | 18 ++++-----
gcc/ada/exp_ch9.adb | 6 +--
gcc/ada/exp_dbug.ads | 2 +-
gcc/ada/exp_dist.adb | 4 +-
gcc/ada/exp_prag.adb | 4 +-
gcc/ada/exp_spark.adb | 2 +-
gcc/ada/exp_unst.adb | 4 +-
gcc/ada/exp_util.adb | 14 +++----
gcc/ada/exp_util.ads | 6 +--
gcc/ada/expander.adb | 2 +-
gcc/ada/fname-uf.adb | 2 +-
gcc/ada/freeze.adb | 12 +++---
gcc/ada/gen_il-gen-gen_nodes.adb | 2 +-
gcc/ada/gen_il-gen.ads | 2 +-
gcc/ada/get_targ.ads | 2 +-
gcc/ada/inline.adb | 6 +--
gcc/ada/layout.adb | 2 +-
gcc/ada/lib-load.adb | 2 +-
gcc/ada/lib-writ.adb | 2 +-
gcc/ada/lib-writ.ads | 6 +--
gcc/ada/lib-xref.adb | 2 +-
gcc/ada/make.adb | 8 ++--
gcc/ada/make_util.ads | 2 +-
gcc/ada/namet.adb | 2 +-
gcc/ada/opt.ads | 2 +-
gcc/ada/par-ch13.adb | 2 +-
gcc/ada/par-ch3.adb | 4 +-
gcc/ada/par-ch4.adb | 2 +-
gcc/ada/par-ch6.adb | 2 +-
gcc/ada/par-util.adb | 2 +-
gcc/ada/par.adb | 6 +--
gcc/ada/par_sco.adb | 6 +--
gcc/ada/repinfo-input.adb | 2 +-
gcc/ada/repinfo.ads | 2 +-
gcc/ada/sa_messages.ads | 2 +-
gcc/ada/scos.ads | 2 +-
gcc/ada/sem_aggr.adb | 2 +-
gcc/ada/sem_attr.adb | 10 ++---
gcc/ada/sem_case.adb | 2 +-
gcc/ada/sem_ch10.adb | 10 ++---
gcc/ada/sem_ch12.adb | 15 ++++----
gcc/ada/sem_ch12.ads | 4 +-
gcc/ada/sem_ch13.adb | 10 ++---
gcc/ada/sem_ch13.ads | 4 +-
gcc/ada/sem_ch3.adb | 12 +++---
gcc/ada/sem_ch4.adb | 6 +--
gcc/ada/sem_ch5.adb | 8 ++--
gcc/ada/sem_ch6.adb | 12 +++---
gcc/ada/sem_ch8.adb | 6 +--
gcc/ada/sem_ch9.adb | 4 +-
gcc/ada/sem_dim.adb | 2 +-
gcc/ada/sem_dim.ads | 4 +-
gcc/ada/sem_elab.adb | 64 ++++++++++++++++----------------
gcc/ada/sem_elab.ads | 2 +-
gcc/ada/sem_eval.adb | 4 +-
gcc/ada/sem_prag.adb | 38 +++++++++----------
gcc/ada/sem_prag.ads | 2 +-
gcc/ada/sem_res.adb | 16 ++++----
gcc/ada/sem_type.adb | 4 +-
gcc/ada/sem_util.adb | 30 +++++++--------
gcc/ada/sem_util.ads | 6 +--
gcc/ada/sinfo-cn.adb | 2 +-
gcc/ada/sinfo-utils.ads | 4 +-
gcc/ada/sinfo.ads | 19 +++++-----
gcc/ada/sinput.ads | 2 +-
gcc/ada/styleg.adb | 2 +-
gcc/ada/switch-b.adb | 2 +-
gcc/ada/switch-c.adb | 4 +-
gcc/ada/treepr.adb | 2 +-
gcc/ada/uintp.adb | 2 +-
gcc/ada/warnsw.ads | 2 +-
101 files changed, 303 insertions(+), 300 deletions(-)
diff --git a/gcc/ada/ali.adb b/gcc/ada/ali.adb
index bcc882294..490551666 100644
--- a/gcc/ada/ali.adb
+++ b/gcc/ada/ali.adb
@@ -174,7 +174,7 @@ package body ALI is
Sig_To_Sig_Map : constant Sig_Map.Dynamic_Hash_Table :=
Sig_Map.Create (500);
- -- The folowing table maps declaration placement kinds to character codes
+ -- The following table maps declaration placement kinds to character codes
-- for invocation construct encoding in ALI files.
Declaration_Placement_Codes :
@@ -987,7 +987,7 @@ package body ALI is
function Get_Nat return Nat;
-- Skip blanks, then scan out an unsigned integer value in Nat range
- -- raises ALI_Reading_Error if the encoutered type is not natural.
+ -- raises ALI_Reading_Error if the encountered type is not natural.
function Get_Stamp return Time_Stamp_Type;
-- Skip blanks, then scan out a time stamp
diff --git a/gcc/ada/ali.ads b/gcc/ada/ali.ads
index a5af75e84..f631ef44b 100644
--- a/gcc/ada/ali.ads
+++ b/gcc/ada/ali.ads
@@ -1103,7 +1103,7 @@ package ALI is
-- set to zero. One or more such entries can follow any other reference.
-- When there is more than one such entry, this is to be read as:
-- e.g. ref1 ref2 ref3
- -- ref1 is a reference to an entity that was instantied at ref2.
+ -- ref1 is a reference to an entity that was instantiated at ref2.
-- ref2 itself is also the result of an instantiation, that took
-- place at ref3
diff --git a/gcc/ada/atree.adb b/gcc/ada/atree.adb
index 446c7960a..1a0b1b031 100644
--- a/gcc/ada/atree.adb
+++ b/gcc/ada/atree.adb
@@ -2147,7 +2147,7 @@ package body Atree is
and not In_List (New_Node));
-- Allocate a new node, to be used to preserve the original contents
- -- of the Old_Node, for possible later retrival by Original_Node and
+ -- of the Old_Node, for possible later retrieval by Original_Node and
-- make an entry in the Orig_Nodes table. This is only done if we have
-- not already rewritten the node, as indicated by an Orig_Nodes entry
-- that does not reference the Old_Node.
diff --git a/gcc/ada/atree.ads b/gcc/ada/atree.ads
index 0c809f564..103905049 100644
--- a/gcc/ada/atree.ads
+++ b/gcc/ada/atree.ads
@@ -928,7 +928,7 @@ package Atree is
subtype Call_Count is Nat_64;
Get_Count, Set_Count : array (Node_Or_Entity_Field) of Call_Count :=
(others => 0);
- -- Number of calls to each getter and setter. See documentaton for
+ -- Number of calls to each getter and setter. See documentation for
-- -gnatd.A.
Get_Original_Node_Count, Set_Original_Node_Count : Call_Count := 0;
diff --git a/gcc/ada/binde.adb b/gcc/ada/binde.adb
index 156960469..dbb3dddd3 100644
--- a/gcc/ada/binde.adb
+++ b/gcc/ada/binde.adb
@@ -3121,7 +3121,7 @@ package body Binde is
Write_Eol;
end if;
- -- This is a candididate to be considered for choice
+ -- This is a candidate to be considered for choice
if Better_Choice (U, Best_So_Far) then
if Debug_Flag_N then
diff --git a/gcc/ada/binderr.ads b/gcc/ada/binderr.ads
index 57cbd6487..c63cd29c5 100644
--- a/gcc/ada/binderr.ads
+++ b/gcc/ada/binderr.ads
@@ -110,7 +110,7 @@ package Binderr is
-- counts appropriately.
procedure Error_Msg_Info (Msg : String);
- -- Output information line. Indentical in effect to Error_Msg, except
+ -- Output information line. Identical in effect to Error_Msg, except
-- that the prefix is info: instead of error: and the error count is
-- not incremented. The prefix may be suppressed by setting the global
-- variable Info_Prefix_Suppress to True.
diff --git a/gcc/ada/bindgen.adb b/gcc/ada/bindgen.adb
index c70268d4f..99b82465e 100644
--- a/gcc/ada/bindgen.adb
+++ b/gcc/ada/bindgen.adb
@@ -71,7 +71,7 @@ package body Bindgen is
-- to determine whether or not to initialize the restrictions information
-- in the body of the binder generated file (we do not want to do this
-- unconditionally, since it drags in the System.Restrictions unit
- -- unconditionally, which is unpleasand, especially for ZFP etc.)
+ -- unconditionally, which is unpleasant, especially for ZFP etc.)
Dispatching_Domains_Used : Boolean := False;
-- Flag indicating whether multiprocessor dispatching domains are used in
@@ -87,7 +87,7 @@ package body Bindgen is
-- the elaboration when partition elaboration policy is sequential.
System_Interrupts_Used : Boolean := False;
- -- Flag indicating whether the unit System.Interrups is in the closure of
+ -- Flag indicating whether the unit System.Interrupts is in the closure of
-- the partition. This is set by Resolve_Binder_Options, and it used to
-- attach interrupt handlers at the end of the elaboration when partition
-- elaboration policy is sequential.
@@ -105,7 +105,7 @@ package body Bindgen is
-- the version definitions can be removed.
Lib_Final_Built : Boolean := False;
- -- Flag indicating whether the finalize_library rountine has been built
+ -- Flag indicating whether the finalize_library routine has been built
Bind_Env_String_Built : Boolean := False;
-- Flag indicating whether a bind environment string has been built
diff --git a/gcc/ada/bindo-graphs.adb b/gcc/ada/bindo-graphs.adb
index e33f2ce65..b61101882 100644
--- a/gcc/ada/bindo-graphs.adb
+++ b/gcc/ada/bindo-graphs.adb
@@ -1542,7 +1542,7 @@ package body Bindo.Graphs is
elsif Cycle_Len > Comp_Len then
return Lower_Precedence;
- -- Prefer a cycle wih fewer invocation edges
+ -- Prefer a cycle with fewer invocation edges
elsif Cycle_Invs < Comp_Invs then
return Higher_Precedence;
@@ -1880,7 +1880,7 @@ package body Bindo.Graphs is
procedure Find_Cycles (G : Library_Graph) is
All_Cycle_Limit : constant Natural := 64;
- -- The performance of Tarjan's algorithm may degrate to exponential
+ -- The performance of Tarjan's algorithm may degrade to exponential
-- when pragma Elaborate_All is in effect, or some vertex is part of
-- an Elaborate_Body pair. In this case the algorithm discovers all
-- combinations of edges that close a circuit starting and ending on
diff --git a/gcc/ada/bindo.adb b/gcc/ada/bindo.adb
index 46aa6cc9f..eb997f9cf 100644
--- a/gcc/ada/bindo.adb
+++ b/gcc/ada/bindo.adb
@@ -52,7 +52,7 @@ package body Bindo is
-- - Additional dependencies between units supplied to the binder by
-- means of a forced-elaboration-order file.
--
- -- The high-level idea empoyed by the EO mechanism is to construct two
+ -- The high-level idea employed by the EO mechanism is to construct two
-- graphs and use the information they represent to find an ordering of
-- all units.
--
diff --git a/gcc/ada/butil.adb b/gcc/ada/butil.adb
index 9536c109a..bc720c8e3 100644
--- a/gcc/ada/butil.adb
+++ b/gcc/ada/butil.adb
@@ -210,7 +210,7 @@ package body Butil is
function At_Comment return Boolean is
begin
- -- The interator is over a comment when the index is positioned over
+ -- The iterator is over a comment when the index is positioned over
-- the start of a comment header.
--
-- unit (spec) -- comment
diff --git a/gcc/ada/casing.adb b/gcc/ada/casing.adb
index 6d2f2f495..3ac24be3e 100644
--- a/gcc/ada/casing.adb
+++ b/gcc/ada/casing.adb
@@ -152,7 +152,7 @@ package body Casing is
Skip_Wide (Buf.Chars, Ptr);
After_Und := False;
- -- Underscore, or non-identifer character (error case)
+ -- Underscore, or non-identifier character (error case)
elsif Buf.Chars (Ptr) = '_'
or else not Identifier_Char (Buf.Chars (Ptr))
diff --git a/gcc/ada/checks.adb b/gcc/ada/checks.adb
index 22577c8fe..a37cb9c50 100644
--- a/gcc/ada/checks.adb
+++ b/gcc/ada/checks.adb
@@ -626,7 +626,7 @@ package body Checks is
-- Use the dynamic accessibility parameter for the function's result
-- when one has been created instead of statically referring to the
- -- deepest type level so as to appropriatly handle the rules for
+ -- deepest type level so as to appropriately handle the rules for
-- RM 3.10.2 (10.1/3).
if Ekind (Scope (Param_Ent)) = E_Function
@@ -2107,7 +2107,7 @@ package body Checks is
-- Note: Previously the declaration was inserted above the parent
-- of the conversion, apparently as a small optimization for the
- -- subequent traversal in Insert_Actions. Unfortunately a similar
+ -- subsequent traversal in Insert_Actions. Unfortunately a similar
-- optimization takes place in Insert_Actions, assuming that the
-- insertion point must be above the expression that creates
-- actions. This is not correct in the presence of conditional
@@ -2768,7 +2768,7 @@ package body Checks is
or else Nkind (Subp_Decl) = N_Abstract_Subprogram_Declaration
- -- Do not consider subprogram renaminds because the renamed entity
+ -- Do not consider subprogram renamings because the renamed entity
-- already has the proper PPC pragmas.
or else Nkind (Subp_Decl) = N_Subprogram_Renaming_Declaration
diff --git a/gcc/ada/checks.ads b/gcc/ada/checks.ads
index 48678cd01..e01e4a9d2 100644
--- a/gcc/ada/checks.ads
+++ b/gcc/ada/checks.ads
@@ -238,7 +238,7 @@ package Checks is
Typ : Entity_Id;
Lhs : Node_Id := Empty);
-- Given an expression N of a discriminated type, or of an access type
- -- whose designated type is a discriminanted type, generates a check to
+ -- whose designated type is a discriminated type, generates a check to
-- ensure that the expression can be converted to the subtype given as
-- the second parameter. Lhs is empty except in the case of assignments,
-- where the target object may be needed to determine the subtype to
diff --git a/gcc/ada/contracts.adb b/gcc/ada/contracts.adb
index 1081b981e..a61121f5a 100644
--- a/gcc/ada/contracts.adb
+++ b/gcc/ada/contracts.adb
@@ -84,7 +84,7 @@ package body Contracts is
-- type declarations and object declarations.
procedure Expand_Subprogram_Contract (Body_Id : Entity_Id);
- -- Expand the contracts of a subprogram body and its correspoding spec (if
+ -- Expand the contracts of a subprogram body and its corresponding spec (if
-- any). This routine processes all [refined] pre- and postconditions as
-- well as Contract_Cases, Subprogram_Variant, invariants and predicates.
-- Body_Id denotes the entity of the subprogram body.
@@ -629,7 +629,7 @@ package body Contracts is
-- Do not analyze the pre/postconditions of an entry declaration
-- unless annotating the original tree for GNATprove. The
- -- real analysis occurs when the pre/postconditons are relocated to
+ -- real analysis occurs when the pre/postconditions are relocated to
-- the contract wrapper procedure (see Build_Contract_Wrapper).
if Skip_Assert_Exprs then
@@ -3826,7 +3826,7 @@ package body Contracts is
procedure Map_Quantified_Expression_Loop_Identifiers;
-- Traverse Expr and append to Assoc_List the mapping of loop
- -- identifers of quantified expressions with its new copy.
+ -- identifiers of quantified expressions with its new copy.
------------------------------------------------
-- Map_Quantified_Expression_Loop_Identifiers --
@@ -3834,7 +3834,7 @@ package body Contracts is
procedure Map_Quantified_Expression_Loop_Identifiers is
function Map_Loop_Param (N : Node_Id) return Traverse_Result;
- -- Append to Assoc_List the mapping of loop identifers of
+ -- Append to Assoc_List the mapping of loop identifiers of
-- quantified expressions with its new copy.
--------------------
diff --git a/gcc/ada/contracts.ads b/gcc/ada/contracts.ads
index 5178373bf..11fcc6ea5 100644
--- a/gcc/ada/contracts.ads
+++ b/gcc/ada/contracts.ads
@@ -278,7 +278,7 @@ package Contracts is
(Templ : Node_Id;
Gen_Id : Entity_Id);
-- Save all global references found within the aspect specifications and
- -- the contract-related source pragmas assocated with generic template
+ -- the contract-related source pragmas associated with generic template
-- Templ. Gen_Id denotes the entity of the analyzed generic copy.
end Contracts;
diff --git a/gcc/ada/cstand.adb b/gcc/ada/cstand.adb
index 8ae0e47a9..ade4dd512 100644
--- a/gcc/ada/cstand.adb
+++ b/gcc/ada/cstand.adb
@@ -111,7 +111,7 @@ package body CStand is
-- useless. The only place it has semantics is Subtypes_Statically_Match.
-- Consequently, we arrange for it to be identical apart from the setting
-- of the constrained bit. This routine takes an entity E for the Type,
- -- copies it to estabish the base type, then resets the Ekind of the
+ -- copies it to establish the base type, then resets the Ekind of the
-- original entity to K (the Ekind for the subtype). The Etype field of
-- E is set by the call (to point to the created base type entity), and
-- also the Is_Constrained flag of E is set.
diff --git a/gcc/ada/debug.adb b/gcc/ada/debug.adb
index d0bcdb0c3..02b5ded99 100644
--- a/gcc/ada/debug.adb
+++ b/gcc/ada/debug.adb
@@ -529,7 +529,7 @@ package body Debug is
-- ds Print the source recreated from the generated tree. In the case
-- where the tree has been rewritten this output includes both the
-- generated code and the original code with the generated code
- -- being enlosed in curly brackets (see also df,do,ds,dz)
+ -- being enclosed in curly brackets (see also df,do,ds,dz)
-- dt Print full tree. The generated tree is output (see also df,dy)
@@ -605,7 +605,7 @@ package body Debug is
-- dH Inhibit call to gigi. This is useful for testing front end data
-- layout, and may be useful in other debugging situations where
- -- you do not want gigi to intefere with the testing.
+ -- you do not want gigi to interfere with the testing.
-- dI Inhibit internal name numbering in gnatDG listing. Any sequence of
-- the form <uppercase-letter><digits><lowercase-letter> appearing in
diff --git a/gcc/ada/einfo.ads b/gcc/ada/einfo.ads
index ed6301919..ff5478864 100644
--- a/gcc/ada/einfo.ads
+++ b/gcc/ada/einfo.ads
@@ -530,7 +530,7 @@ package Einfo is
-- BIP_Initialization_Call
-- Defined in constants and variables whose corresponding declaration
--- is wrapped in a transient block and the inital value is provided by
+-- is wrapped in a transient block and the initial value is provided by
-- a build-in-place function call. Contains the relocated build-in-place
-- call after the expansion has decoupled the call from the object. This
-- attribute is used by the finalization machinery to insert cleanup code
@@ -875,7 +875,7 @@ package Einfo is
-- are generated (subprograms, package declarations and package
-- bodies). Defined if there are pending generic body instantiations
-- for the corresponding entity. If this flag is set, then generation
--- of the subprogram descriptor for the corresponding enities must
+-- of the subprogram descriptor for the corresponding entities must
-- be delayed, since the insertion of the generic body may add entries
-- to the list of handlers.
--
@@ -1449,9 +1449,9 @@ package Einfo is
-- Freeze for further details.
-- From_Limited_With
--- Defined in abtract states, package and type entities. Set to True when
--- the related entity is generated by the expansion of a limited with
--- clause. Such an entity is said to be a "shadow" - it acts as the
+-- Defined in abstract states, package and type entities. Set to True
+-- when the related entity is generated by the expansion of a limited
+-- with clause. Such an entity is said to be a "shadow" - it acts as the
-- abstract view of a state or variable or as the incomplete view of a
-- type by inheriting relevant attributes from the said entity.
@@ -3115,7 +3115,7 @@ package Einfo is
-- Defined in all entities, set in E_Package and E_Generic_Package
-- entities to which a pragma Preelaborate is applied, and also in
-- all entities within such packages. Note that the fact that this
--- flag is set does not necesarily mean that no elaboration code is
+-- flag is set does not necessarily mean that no elaboration code is
-- generated for the package.
-- Is_Primitive
@@ -3582,7 +3582,7 @@ package Einfo is
-- tasks implementing such interface.
-- Materialize_Entity
--- Defined in all entities. Set only for renamed obects which should be
+-- Defined in all entities. Set only for renamed objects which should be
-- materialized for debugging purposes. This means that a memory location
-- containing the renamed address should be allocated. This is needed so
-- that the debugger can find the entity.
@@ -3965,7 +3965,8 @@ package Einfo is
-- Present in variable entities. Contains all references to the variable
-- when it is subject to pragma Part_Of. If the variable is a constituent
-- of a single protected/task type, the references are examined as they
--- must appear only within the type defintion and the corresponding body.
+-- must appear only within the type definition and the corresponding
+-- body.
-- Partial_DIC_Procedure (synthesized)
-- Defined in type entities. Set for a private type and its full view
@@ -4113,7 +4114,7 @@ package Einfo is
-- Protected_Subprogram
-- Defined in functions and procedures. Set for the pair of subprograms
-- which emulate the runtime semantics of a protected subprogram. Denotes
--- the entity of the origial protected subprogram.
+-- the entity of the original protected subprogram.
-- Protection_Object
-- Applies to protected entries, entry families and subprograms. Denotes
diff --git a/gcc/ada/errout.ads b/gcc/ada/errout.ads
index 45166f5e8..3d89da68f 100644
--- a/gcc/ada/errout.ads
+++ b/gcc/ada/errout.ads
@@ -587,7 +587,7 @@ package Errout is
No_Error_Msg : constant Error_Msg_Id := Erroutc.No_Error_Msg;
-- A constant which is different from any value returned by Get_Error_Id.
- -- Typically used by a client to indicate absense of a saved Id value.
+ -- Typically used by a client to indicate absence of a saved Id value.
Warning_Msg : Error_Msg_Id := No_Error_Msg;
-- This is set if a warning message is generated to the ID of the resulting
diff --git a/gcc/ada/eval_fat.adb b/gcc/ada/eval_fat.adb
index 5370ef632..3fb2d838a 100644
--- a/gcc/ada/eval_fat.adb
+++ b/gcc/ada/eval_fat.adb
@@ -500,7 +500,7 @@ package body Eval_Fat is
-- Mant - 1 spots. The gap between subsequent denormalized numbers is
-- the same as for the smallest normalized numbers. However, the number
-- of significant digits left decreases as a result of the mantissa now
- -- having leading seros.
+ -- having leading zeros.
if X_Exp < Emin then
declare
@@ -747,7 +747,7 @@ package body Eval_Fat is
Exp := Exp - Mantissa;
Frac := Scaling (RT, X, -Exp);
- -- Round to the neareast integer towards +Inf
+ -- Round to the nearest integer towards +Inf
New_Frac := Ceiling (RT, Frac);
diff --git a/gcc/ada/exp_aggr.adb b/gcc/ada/exp_aggr.adb
index 4493f0ffe..4b6d14d36 100644
--- a/gcc/ada/exp_aggr.adb
+++ b/gcc/ada/exp_aggr.adb
@@ -344,7 +344,7 @@ package body Exp_Aggr is
-- If the type of the aggregate is a two-dimensional bit_packed array
-- it may be transformed into an array of bytes with constant values,
-- and presented to the back-end as a static value. The function returns
- -- false if this transformation cannot be performed. THis is similar to,
+ -- false if this transformation cannot be performed. This is similar to,
-- and reuses part of the machinery in Packed_Array_Aggregate_Handled.
------------------------------------
@@ -2593,7 +2593,7 @@ package body Exp_Aggr is
-- If type has discriminants, retrieve their values from aggregate,
-- and generate explicit assignments for each. This does not include
-- discriminants inherited from ancestor, which are handled above.
- -- The type of the aggregate is a subtype created ealier using the
+ -- The type of the aggregate is a subtype created earlier using the
-- given values of the discriminant components of the aggregate.
procedure Initialize_Ctrl_Record_Component
@@ -5944,7 +5944,7 @@ package body Exp_Aggr is
-- [constraint_error when
-- Aggr_Lo /= Sub_Lo or else Aggr_Hi /= Sub_Hi]
- -- As an optimization try to see if some tests are trivially vacuos
+ -- As an optimization try to see if some tests are trivially vacuous
-- because we are comparing an expression against itself. Also for
-- the first dimension the test is trivially vacuous because there
-- is just one aggregate for dimension 1.
@@ -6445,7 +6445,7 @@ package body Exp_Aggr is
-- Build a constrained subtype with the calculated length
-- and declare the proper bounded aggregate object.
-- The index type is some discrete type, so the bounds of the
- -- constructed array are computed as T'Val (T'Pos (ineger bound));
+ -- constructed array are computed as T'Val (T'Pos (integer bound));
declare
Pos_Lo : constant Node_Id :=
@@ -7651,7 +7651,7 @@ package body Exp_Aggr is
Append (Init_Stat, Aggr_Code);
- -- Size is dynamic: Create declaration for object, and intitialize
+ -- Size is dynamic: Create declaration for object, and initialize
-- with a call to the null container, or an assignment to it.
else
@@ -7784,7 +7784,7 @@ package body Exp_Aggr is
function Expand_Range_Component
(Rng : Node_Id;
Expr : Node_Id) return Node_Id;
- -- Transform a component assoication with a range into an
+ -- Transform a component association with a range into an
-- explicit loop. If the choice is a subtype name, it is
-- rewritten as a range with the corresponding bounds, which
-- are known to be static.
@@ -7795,9 +7795,9 @@ package body Exp_Aggr is
Stat : Node_Id;
Key : Node_Id;
- -----------------------------
- -- Expand_Raange_Component --
- -----------------------------
+ ----------------------------
+ -- Expand_Range_Component --
+ ----------------------------
function Expand_Range_Component
(Rng : Node_Id;
@@ -7837,7 +7837,7 @@ package body Exp_Aggr is
if Siz > 0 then
-- Modify the call to the constructor to allocate the
- -- required size for the aggregwte : call the provided
+ -- required size for the aggregate : call the provided
-- constructor rather than the Empty aggregate.
Index := Make_Op_Add (Loc,
@@ -9530,7 +9530,7 @@ package body Exp_Aggr is
Left_Justified := not Left_Justified;
end if;
- -- Switch justfification if reverse storage order
+ -- Switch justification if reverse storage order
if Reverse_Storage_Order (Base_Type (Typ)) then
Left_Justified := not Left_Justified;
diff --git a/gcc/ada/exp_attr.adb b/gcc/ada/exp_attr.adb
index ad7545353..2491b9747 100644
--- a/gcc/ada/exp_attr.adb
+++ b/gcc/ada/exp_attr.adb
@@ -1786,7 +1786,7 @@ package body Exp_Attr is
Installed := Current_Scope = Scope (Loop_Id);
- -- Depending on the pracement of attribute 'Loop_Entry relative to the
+ -- Depending on the placement of attribute 'Loop_Entry relative to the
-- associated loop, ensure the proper visibility for analysis.
if not Installed then
@@ -3423,7 +3423,7 @@ package body Exp_Attr is
-- External_Tag --
------------------
- -- transforme X'External_Tag into Ada.Tags.External_Tag (X'tag)
+ -- Transforms X'External_Tag into Ada.Tags.External_Tag (X'tag)
when Attribute_External_Tag =>
Rewrite (N,
@@ -7178,7 +7178,7 @@ package body Exp_Attr is
end if;
-- Turn off validity checks. We do not want any implicit validity
- -- checks to intefere with the explicit check from the attribute
+ -- checks to interfere with the explicit check from the attribute
Validity_Checks_On := False;
diff --git a/gcc/ada/exp_ch11.adb b/gcc/ada/exp_ch11.adb
index c4a59f56c..d07d61136 100644
--- a/gcc/ada/exp_ch11.adb
+++ b/gcc/ada/exp_ch11.adb
@@ -265,7 +265,7 @@ package body Exp_Ch11 is
-- These Push/Pop nodes are inhibited if No_Exception_Handlers is set
-- since they are useless in this case, and in CodePeer mode, where
- -- they serve no purpose and can intefere with the analysis.
+ -- they serve no purpose and can interfere with the analysis.
-- The back end must maintain three stacks, one for each exception case,
-- the Push node pushes an entry onto the corresponding stack, and Pop
diff --git a/gcc/ada/exp_ch11.ads b/gcc/ada/exp_ch11.ads
index e9d9a1013..8ea68c25f 100644
--- a/gcc/ada/exp_ch11.ads
+++ b/gcc/ada/exp_ch11.ads
@@ -59,7 +59,7 @@ package Exp_Ch11 is
(Ename : Entity_Id;
Nod : Node_Id) return Node_Id;
-- This function searches for a local exception handler that will handle
- -- the exception named by Ename. If such a local hander exists, then the
+ -- the exception named by Ename. If such a local handler exists, then the
-- corresponding N_Exception_Handler is returned. If no such handler is
-- found then Empty is returned. In order to match and return True, the
-- handler may not have a choice parameter specification. Nod is the raise
diff --git a/gcc/ada/exp_ch13.adb b/gcc/ada/exp_ch13.adb
index 444f75294..6960f99c2 100644
--- a/gcc/ada/exp_ch13.adb
+++ b/gcc/ada/exp_ch13.adb
@@ -559,7 +559,7 @@ package body Exp_Ch13 is
-- its final resting place. These contexts are:
-- * Entry bodies - The declarations and statements are moved to
- -- the procedure equivalen of the entry.
+ -- the procedure equivalent of the entry.
-- * Protected subprograms - The declarations and statements are
-- moved to the non-protected version of the subprogram.
-- * Task bodies - The declarations and statements are moved to the
@@ -683,7 +683,7 @@ package body Exp_Ch13 is
end loop;
-- If we are to delete this N_Freeze_Entity, do so by rewriting so that
- -- a loop on all nodes being inserted will work propertly.
+ -- a loop on all nodes being inserted will work properly.
if Delete then
Rewrite (N, Make_Null_Statement (Sloc (N)));
diff --git a/gcc/ada/exp_ch3.adb b/gcc/ada/exp_ch3.adb
index 38552eff9..c52a581e2 100644
--- a/gcc/ada/exp_ch3.adb
+++ b/gcc/ada/exp_ch3.adb
@@ -2056,7 +2056,7 @@ package body Exp_Ch3 is
procedure Build_Offset_To_Top_Functions;
-- Ada 2005 (AI-251): Build the tree corresponding to the procedure spec
- -- and body of Offset_To_Top, a function used in conjuction with types
+ -- and body of Offset_To_Top, a function used in conjunction with types
-- having secondary dispatch tables.
procedure Build_Record_Checks (S : Node_Id; Check_List : List_Id);
@@ -7485,7 +7485,7 @@ package body Exp_Ch3 is
-- is very low level, and as a result it resets flags and
-- fields which belong to the original Def_Id. Several of
-- these attributes are saved and restored, but there may
- -- be many more that need to be preserverd.
+ -- be many more that need to be preserved.
Exchange_Entities (Defining_Identifier (N), Def_Id);
diff --git a/gcc/ada/exp_ch3.ads b/gcc/ada/exp_ch3.ads
index f7d43c4aa..97085773e 100644
--- a/gcc/ada/exp_ch3.ads
+++ b/gcc/ada/exp_ch3.ads
@@ -144,7 +144,7 @@ package Exp_Ch3 is
-- active, or if N is the node for a 'Invalid_Value attribute node.
function Init_Proc_Level_Formal (Proc : Entity_Id) return Entity_Id;
- -- Fetch the extra formal from an initalization procedure "proc"
+ -- Fetch the extra formal from an initialization procedure "proc"
-- corresponding to the level of the object being initialized. When none
-- is present Empty is returned.
diff --git a/gcc/ada/exp_ch4.adb b/gcc/ada/exp_ch4.adb
index 18fb88f3f..09b8e48e9 100644
--- a/gcc/ada/exp_ch4.adb
+++ b/gcc/ada/exp_ch4.adb
@@ -919,7 +919,7 @@ package body Exp_Ch4 is
-- For a class wide allocation generate the following code:
-- type Equiv_Record is record ... end record;
- -- implicit subtype CW is <Class_Wide_Subytpe>;
+ -- implicit subtype CW is <Class_Wide_Subtype>;
-- temp : PtrT := new CW'(CW!(expr));
if Is_Class_Wide_Type (T) then
@@ -3711,7 +3711,7 @@ package body Exp_Ch4 is
Lop : constant Node_Id := Left_Opnd (N);
Rop : constant Node_Id := Right_Opnd (N);
- -- Note: there are many referencs to Etype (Lop) and Etype (Rop). It
+ -- Note: there are many references to Etype (Lop) and Etype (Rop). It
-- is thus tempting to capture these values, but due to the rewrites
-- that occur as a result of overflow checking, these values change
-- as we go along, and it is safe just to always use Etype explicitly.
@@ -14937,7 +14937,7 @@ package body Exp_Ch4 is
-- corresponding index type be integer or shorter (i.e. not 64-bit),
-- and the same for the comparison value. Then we do the comparison
-- using 64-bit arithmetic (actually long long integer), so that we
- -- cannot have overflow intefering with the result.
+ -- cannot have overflow interfering with the result.
-- First deal with warning cases
diff --git a/gcc/ada/exp_ch5.adb b/gcc/ada/exp_ch5.adb
index 9a2a1101d..7bc8fc21a 100644
--- a/gcc/ada/exp_ch5.adb
+++ b/gcc/ada/exp_ch5.adb
@@ -272,7 +272,7 @@ package body Exp_Ch5 is
Statements => Stats,
End_Label => Empty);
- -- If the contruct has a specified loop name, preserve it in the new
+ -- If the construct has a specified loop name, preserve it in the new
-- loop, for possible use in exit statements.
if Present (Identifier (N))
@@ -3872,7 +3872,7 @@ package body Exp_Ch5 is
Declarations : constant List_Id := New_List (Selector_Decl);
- -- Start of processing for Expand_General_Case_Statment
+ -- Start of processing for Expand_General_Case_Statement
begin
if Present (Choice_Index_Decl) then
@@ -5201,7 +5201,7 @@ package body Exp_Ch5 is
-- Find declarations needed for "for ... of" optimization.
-- These declarations come from GNAT sources or sources
-- derived from them. User code may include additional
- -- overloadings with similar names, and we need to perforn
+ -- overloadings with similar names, and we need to perform
-- some reasonable resolution to find the needed primitives.
-- Note that we use _Next or _Previous to avoid picking up
-- some arbitrary user-defined Next or Previous.
diff --git a/gcc/ada/exp_ch6.adb b/gcc/ada/exp_ch6.adb
index fad130da3..3e7e75a68 100644
--- a/gcc/ada/exp_ch6.adb
+++ b/gcc/ada/exp_ch6.adb
@@ -2994,7 +2994,7 @@ package body Exp_Ch6 is
-- Start of processing for Insert_Level_Assign
begin
- -- Examine further nested condtionals
+ -- Examine further nested conditionals
pragma Assert (Nkind (Branch) =
N_Expression_With_Actions);
@@ -3195,7 +3195,7 @@ package body Exp_Ch6 is
function Augments_Other_Dynamic_Predicate (DP_Aspect_Spec : Node_Id)
return Boolean;
- -- Given a Dynamic_Predicate aspect aspecification for a
+ -- Given a Dynamic_Predicate aspect a specification for a
-- discrete type, returns True iff another DP specification
-- applies (indirectly, via a subtype type or a derived type)
-- to the same entity that this aspect spec applies to.
diff --git a/gcc/ada/exp_ch7.adb b/gcc/ada/exp_ch7.adb
index 7ce39f4da..9ed81c2ed 100644
--- a/gcc/ada/exp_ch7.adb
+++ b/gcc/ada/exp_ch7.adb
@@ -744,7 +744,7 @@ package body Exp_Ch7 is
while Present (FM_Elmt) loop
FM_Id := Node (FM_Elmt);
- -- The currect master services the same designated type. As a
+ -- The current master services the same designated type. As a
-- result the master can be reused and associated with another
-- anonymous access-to-controlled type.
@@ -1502,7 +1502,7 @@ package body Exp_Ch7 is
-----------------------
procedure Build_Components;
- -- Create all entites and initialize all lists used in the creation of
+ -- Create all entities and initialize all lists used in the creation of
-- the finalizer.
procedure Create_Finalizer;
@@ -1683,7 +1683,7 @@ package body Exp_Ch7 is
else
-- Generation of a finalization procedure exclusively for 'Old
- -- interally generated constants requires different name since
+ -- internally generated constants requires different name since
-- there will need to be multiple finalization routines in the
-- same scope. See Build_Finalizer for details.
@@ -4287,7 +4287,7 @@ package body Exp_Ch7 is
-- In certain scenarios, finalization can be triggered by an abort. If
-- the finalization itself fails and raises an exception, the resulting
- -- Program_Error must be supressed and replaced by an abort signal. In
+ -- Program_Error must be suppressed and replaced by an abort signal. In
-- order to detect this scenario, save the state of entry into the
-- finalization code.
@@ -9106,11 +9106,11 @@ package body Exp_Ch7 is
-- In certain cases, such as the creation of Stream_Read, the
-- visible entity of the type is its full view. Since Stream_Read
-- will have to create an object of type Typ, the local object
- -- will be finalzed by the scope finalizer generated later on. The
- -- object parameter of Deep_Finalize will always use the private
- -- view of the type. To avoid such a clash between a private and a
- -- full view, perform an unchecked conversion of the object
- -- reference to the private view.
+ -- will be finalized by the scope finalizer generated later on.
+ -- The object parameter of Deep_Finalize will always use the
+ -- private view of the type. To avoid such a clash between a
+ -- private and a full view, perform an unchecked conversion of
+ -- the object reference to the private view.
declare
Formal_Typ : constant Entity_Id :=
diff --git a/gcc/ada/exp_ch9.adb b/gcc/ada/exp_ch9.adb
index ed6844ea3..2d8e863da 100644
--- a/gcc/ada/exp_ch9.adb
+++ b/gcc/ada/exp_ch9.adb
@@ -445,7 +445,7 @@ package body Exp_Ch9 is
Lo : Node_Id;
Hi : Node_Id) return Boolean;
-- Determine whether an entry family is potentially large because one of
- -- its bounds denotes a discrminant.
+ -- its bounds denotes a discriminant.
function Is_Private_Primitive_Subprogram (Id : Entity_Id) return Boolean;
-- Determine whether Id is a function or a procedure and is marked as a
@@ -14116,7 +14116,7 @@ package body Exp_Ch9 is
end if;
-- Always create a locale variable to capture the priority.
- -- The priority is also passed to Install_Restriced_Handlers.
+ -- The priority is also passed to Install_Restricted_Handlers.
-- Note that it is really necessary to create this variable
-- explicitly. It might be thought that removing side effects
-- would the appropriate approach, but that could generate
@@ -14923,7 +14923,7 @@ package body Exp_Ch9 is
-- Jnn'unchecked_access
- -- and add it to aggegate for access to formals. Note that the
+ -- and add it to aggregate for access to formals. Note that the
-- actual may be by-copy but still be a controlling actual if it
-- is an access to class-wide interface.
diff --git a/gcc/ada/exp_dbug.ads b/gcc/ada/exp_dbug.ads
index 273d6eded..60e439a13 100644
--- a/gcc/ada/exp_dbug.ads
+++ b/gcc/ada/exp_dbug.ads
@@ -391,7 +391,7 @@ package Exp_Dbug is
-- lock_setP
-- lock_update_E1s
- -- lock_udpate_B2s
+ -- lock_update_B2s
-- If the protected type implements at least one interface, the
-- following additional operations are created:
diff --git a/gcc/ada/exp_dist.adb b/gcc/ada/exp_dist.adb
index e1df9d271..72ba9de59 100644
--- a/gcc/ada/exp_dist.adb
+++ b/gcc/ada/exp_dist.adb
@@ -4221,7 +4221,7 @@ package body Exp_Dist is
-- Read_Out_Parameters_And_Function_Return_From_Stream; end X;
-- There are some variations: Do_APC is called for an asynchronous
- -- procedure and the part after the call is completely ommitted as
+ -- procedure and the part after the call is completely omitted as
-- well as the declaration of Result. For a function call, 'Input is
-- always used to read the result even if it is constrained.
@@ -8121,7 +8121,7 @@ package body Exp_Dist is
-- block in this case. No specific processing is required here for
-- the dynamically asynchronous case: the indication of whether
-- call is asynchronous or not is managed by the Sync_Scope
- -- attibute of the request, and is handled entirely in the
+ -- attribute of the request, and is handled entirely in the
-- protocol layer.
Append_To (After_Statements,
diff --git a/gcc/ada/exp_prag.adb b/gcc/ada/exp_prag.adb
index 0631172ea..514328965 100644
--- a/gcc/ada/exp_prag.adb
+++ b/gcc/ada/exp_prag.adb
@@ -681,7 +681,7 @@ package body Exp_Prag is
Decls : List_Id;
Copies : Elist_Id);
-- For each parameter in list Params, create an object declaration of
- -- the followinng form:
+ -- the following form:
--
-- Copy_Id : Param_Typ := Param_Val;
--
@@ -739,7 +739,7 @@ package body Exp_Prag is
-- generated declarations that hold the kernel's dimensions. Args is the
-- entity of the temporary array that holds the arguments of the kernel.
-- Memory and Stream are the entities of the temporaries that hold the
- -- fourth and fith arguments of CUDA_Execute or their default values.
+ -- fourth and fifth arguments of CUDA_Execute or their default values.
function Build_Shared_Memory_Declaration
(Decl_Id : Entity_Id;
diff --git a/gcc/ada/exp_spark.adb b/gcc/ada/exp_spark.adb
index c89d604aa..104360782 100644
--- a/gcc/ada/exp_spark.adb
+++ b/gcc/ada/exp_spark.adb
@@ -164,7 +164,7 @@ package body Exp_SPARK is
when N_Freeze_Entity =>
-- Currently we only expand type freeze entities, so ignore other
- -- freeze entites, because it is expensive to create a suitable
+ -- freeze entities, because it is expensive to create a suitable
-- freezing environment.
if Is_Type (Entity (N)) then
diff --git a/gcc/ada/exp_unst.adb b/gcc/ada/exp_unst.adb
index 2fb929908..45958e8e1 100644
--- a/gcc/ada/exp_unst.adb
+++ b/gcc/ada/exp_unst.adb
@@ -1248,7 +1248,7 @@ package body Exp_Unst is
-- Pragmas and component declarations are ignored. Quantified
-- expressions are expanded into explicit loops and the
- -- original epression must be ignored.
+ -- original expression must be ignored.
when N_Component_Declaration
| N_Pragma
@@ -2533,7 +2533,7 @@ package body Exp_Unst is
-- We analyze with all checks suppressed (since we do not
-- expect any exceptions, and also we temporarily turn off
- -- Unested_Subprogram_Mode to avoid trying to mark uplevel
+ -- Unnest_Subprogram_Mode to avoid trying to mark uplevel
-- references (not needed at this stage, and in fact causes
-- a bit of recursive chaos).
diff --git a/gcc/ada/exp_util.adb b/gcc/ada/exp_util.adb
index 3286bf6c8..f4e27202f 100644
--- a/gcc/ada/exp_util.adb
+++ b/gcc/ada/exp_util.adb
@@ -4770,7 +4770,7 @@ package body Exp_Util is
-- Hook := Ptr_Typ (Obj_Id);
-- <or>
- -- Hool := Obj_Id'Unrestricted_Access;
+ -- Hook := Obj_Id'Unrestricted_Access;
if Is_Access_Type (Obj_Typ) then
Hook_Expr :=
@@ -4787,7 +4787,7 @@ package body Exp_Util is
Name => New_Occurrence_Of (Hook_Id, Loc),
Expression => Hook_Expr);
- -- Crear the hook prior to finalizing the object. Generate:
+ -- Clear the hook prior to finalizing the object. Generate:
-- Hook := null;
@@ -7702,7 +7702,7 @@ package body Exp_Util is
-- the expansion of Task and protected type declarations can
-- create declarations for temporaries which, like other actions
- -- are inserted and analyzed before the current declaraation.
+ -- are inserted and analyzed before the current declaration.
-- However, the current scope is the synchronized type, and
-- for unnesting it is critical that the proper scope for these
-- generated entities be the enclosing one.
@@ -10581,7 +10581,7 @@ package body Exp_Util is
end if;
end if;
- -- Use the underlying record view when the type is an extenstion of
+ -- Use the underlying record view when the type is an extension of
-- a parent type with unknown discriminants because the view contains
-- all inherited discriminants or stored constraints.
@@ -10625,7 +10625,7 @@ package body Exp_Util is
begin
if Nkind (Constr) in N_Entity then
- -- The constraint denotes a discriminant of the curren type
+ -- The constraint denotes a discriminant of the current type
-- which renames the ancestor discriminant:
-- vv
@@ -10770,7 +10770,7 @@ package body Exp_Util is
Pos := Uint_1;
- -- When a derived type constrains its parent type, all constaints
+ -- When a derived type constrains its parent type, all constraints
-- appear in the Stored_Constraint list. Examine the list looking
-- for a positional match.
@@ -12269,7 +12269,7 @@ package body Exp_Util is
Par : constant Node_Id := Parent (Ref);
begin
- -- Detect the folowing selected component form:
+ -- Detect the following selected component form:
-- Deriv_Obj.(something)
diff --git a/gcc/ada/exp_util.ads b/gcc/ada/exp_util.ads
index d854672cc..4d71c018c 100644
--- a/gcc/ada/exp_util.ads
+++ b/gcc/ada/exp_util.ads
@@ -1037,7 +1037,7 @@ package Exp_Util is
-- call and is analyzed and resolved on return. Name_Req may only be set to
-- True if Exp has the form of a name, and the effect is to guarantee that
-- any replacement maintains the form of name. If Renaming_Req is set to
- -- True, the routine produces an object renaming reclaration capturing the
+ -- True, the routine produces an object renaming declaration capturing the
-- expression. If Variable_Ref is set to True, a variable is considered as
-- side effect (used in implementing Force_Evaluation). Note: after call to
-- Remove_Side_Effects, it is safe to call New_Copy_Tree to obtain a copy
@@ -1052,7 +1052,7 @@ package Exp_Util is
-- of the Is_xxx_Bound flags must be set. For use of these parameters see
-- the warning in the body of Sem_Ch3.Process_Range_Expr_In_Decl.
--
- -- If Discr_Number is positive, the expression denotes a discrimant value
+ -- If Discr_Number is positive, the expression denotes a discriminant value
-- in a constraint, the suffix DISCR is used to create the external name.
-- The side effects are captured using one of the following methods:
@@ -1189,7 +1189,7 @@ package Exp_Util is
-- N is the node for a boolean array XOR operation, T is the type of the
-- array, and R is a copy of the right operand of N, required to prevent
-- scope anomalies when unnesting is in effect. This routine deals with
- -- the admitedly silly case where the subtype of the boolean array is
+ -- the admittedly silly case where the subtype of the boolean array is
-- True..True, where a raise of a Constraint_Error exception is required
-- (RM 4.5.6(6)) and ACATS-tested.
diff --git a/gcc/ada/expander.adb b/gcc/ada/expander.adb
index 13ec86967..313a0ca43 100644
--- a/gcc/ada/expander.adb
+++ b/gcc/ada/expander.adb
@@ -59,7 +59,7 @@ package body Expander is
----------------
-- The following table is used to save values of the Expander_Active flag
- -- when they are saved by Expander_Mode_Save_And_Set. We use an extendible
+ -- when they are saved by Expander_Mode_Save_And_Set. We use an extendable
-- table (which is a bit of overkill) because it is easier than figuring
-- out a maximum value or bothering with range checks.
diff --git a/gcc/ada/fname-uf.adb b/gcc/ada/fname-uf.adb
index f21b0f159..a93556e23 100644
--- a/gcc/ada/fname-uf.adb
+++ b/gcc/ada/fname-uf.adb
@@ -81,7 +81,7 @@ package body Fname.UF is
Dot : String_Ptr; -- Dot_Separator string
Cas : Casing_Type; -- Upper/Lower/Mixed
end record;
- -- Records single call to Set_File_Name_Patterm
+ -- Records single call to Set_File_Name_Pattern
package SFN_Patterns is new Table.Table (
Table_Component_Type => SFN_Pattern_Entry,
diff --git a/gcc/ada/freeze.adb b/gcc/ada/freeze.adb
index 382e5b4b0..a4499232f 100644
--- a/gcc/ada/freeze.adb
+++ b/gcc/ada/freeze.adb
@@ -2068,7 +2068,7 @@ package body Freeze is
Analyze (DTW_Decl);
end if;
- -- The analyis of DTW_Decl has removed Prim from its scope
+ -- The analysis of DTW_Decl has removed Prim from its scope
-- chain and added DTW_Id at the end of the scope chain. Move
-- DTW_Id to its correct place in the scope chain: the analysis
-- of the wrapper declaration has just added DTW_Id at the end
@@ -2619,7 +2619,7 @@ package body Freeze is
-- Historical note: We used to create a finalization master for an
-- access type whose designated type is not controlled, but contains
- -- private controlled compoments. This form of postprocessing is no
+ -- private controlled components. This form of postprocessing is no
-- longer needed because the finalization master is now created when
-- the access type is frozen (see Exp_Ch3.Freeze_Type).
@@ -2982,7 +2982,7 @@ package body Freeze is
function Find_Aspect_No_Parts
(Typ : Entity_Id) return Node_Id;
-- Search for Aspect_No_Parts on a given type. When
- -- the aspect is not explicity specified Empty is returned.
+ -- the aspect is not explicitly specified Empty is returned.
function Get_Aspect_No_Parts_Value
(Typ : Entity_Id) return Entity_Id;
@@ -3213,7 +3213,7 @@ package body Freeze is
-- Issue an error if the aspect applies to a type declared inside a
-- generic body and if said type derives from or has a component
- -- of ageneric formal type - since those are considered to have
+ -- of a generic formal type - since those are considered to have
-- controlled/task parts and have Aspect_No_Parts specified as
-- False by default (RM H.4.1(4/5) is about the language-defined
-- No_Controlled_Parts aspect, and we are using the same rules for
@@ -5546,7 +5546,7 @@ package body Freeze is
-- In GNATprove mode, the component invariants are checked by
-- other means. They should not be added to the record type
-- invariant procedure, so that the procedure can be used to
- -- check the recordy type invariants if any.
+ -- check the record type invariants if any.
if Comes_From_Source (Comp)
and then Has_Invariants (Etype (Comp))
@@ -7694,7 +7694,7 @@ package body Freeze is
Layout_Type (Etype (Designated_Type (E)));
end if;
- -- If the type has a Defaut_Value/Default_Component_Value aspect,
+ -- If the type has a Default_Value/Default_Component_Value aspect,
-- this is where we analyze the expression (after the type is frozen,
-- since in the case of Default_Value, we are analyzing with the
-- type itself, and we treat Default_Component_Value similarly for
diff --git a/gcc/ada/gen_il-gen-gen_nodes.adb b/gcc/ada/gen_il-gen-gen_nodes.adb
index 97c16bce0..680524093 100644
--- a/gcc/ada/gen_il-gen-gen_nodes.adb
+++ b/gcc/ada/gen_il-gen-gen_nodes.adb
@@ -1725,6 +1725,6 @@ begin -- Gen_IL.Gen.Gen_Nodes
Children =>
(N_Case_Statement_Alternative,
N_Variant));
- -- Nodes that can be alternatives in case contructs
+ -- Nodes that can be alternatives in case constructs
end Gen_IL.Gen.Gen_Nodes;
diff --git a/gcc/ada/gen_il-gen.ads b/gcc/ada/gen_il-gen.ads
index 4233ce81b..2df88a261 100644
--- a/gcc/ada/gen_il-gen.ads
+++ b/gcc/ada/gen_il-gen.ads
@@ -171,7 +171,7 @@ package Gen_IL.Gen is
-- in Sinfo or Einfo needs to be updated.
-- To add a new node or entity type, add it to the enumeration type in
- -- Gen_IL.Types, taking care that it is in the approprate range
+ -- Gen_IL.Types, taking care that it is in the appropriate range
-- (Abstract_Node, Abstract_Entity, Concrete_Node, or Concrete_Entity).
-- Then add a call to one of the above type-creation procedures to
-- Gen_IL.Gen.Gen_Nodes or Gen_IL.Gen.Gen_Entities.
diff --git a/gcc/ada/get_targ.ads b/gcc/ada/get_targ.ads
index 904322554..62e6118d9 100644
--- a/gcc/ada/get_targ.ads
+++ b/gcc/ada/get_targ.ads
@@ -89,7 +89,7 @@ package Get_Targ is
-- Non-zero iff bit order big endian
function Get_Strict_Alignment return Nat;
- -- Non-zero if target requires strict alignent
+ -- Non-zero if target requires strict alignment
function Get_System_Allocator_Alignment return Nat;
-- Alignment guaranteed by malloc falls
diff --git a/gcc/ada/inline.adb b/gcc/ada/inline.adb
index e32df6815..efda3b101 100644
--- a/gcc/ada/inline.adb
+++ b/gcc/ada/inline.adb
@@ -1898,7 +1898,7 @@ package body Inline is
return False;
-- Do not inline subprograms with a parameter of an unconstrained
- -- record type if it has discrimiant dependent fields. Indeed, with
+ -- record type if it has discriminant dependent fields. Indeed, with
-- such parameters, the frontend cannot always ensure type compliance
-- in record component accesses (in particular with records containing
-- packed arrays).
@@ -3170,7 +3170,7 @@ package body Inline is
Uses_Back_End : constant Boolean :=
Back_End_Inlining and then Optimization_Level > 0;
-- The back-end expansion is used if the target supports back-end
- -- inlining and some level of optimixation is required; otherwise
+ -- inlining and some level of optimization is required; otherwise
-- the inlining takes place fully as a tree expansion.
Blk : Node_Id;
@@ -4108,7 +4108,7 @@ package body Inline is
Remove (Parent (Targ1));
- -- Update the reference to the result (since we have rewriten the
+ -- Update the reference to the result (since we have rewritten the
-- object declaration)
declare
diff --git a/gcc/ada/layout.adb b/gcc/ada/layout.adb
index b6cdee0eb..67e892a59 100644
--- a/gcc/ada/layout.adb
+++ b/gcc/ada/layout.adb
@@ -671,7 +671,7 @@ package body Layout is
-- the setting of the Optimize_Alignment mode.
-- If Optimize_Alignment is set to Space, then we try to give packed
- -- records an aligmment of 1, unless there is some reason we can't.
+ -- records an alignment of 1, unless there is some reason we can't.
if Optimize_Alignment_Space (E)
and then Is_Record_Type (E)
diff --git a/gcc/ada/lib-load.adb b/gcc/ada/lib-load.adb
index cab72c0ef..81d5995bb 100644
--- a/gcc/ada/lib-load.adb
+++ b/gcc/ada/lib-load.adb
@@ -823,7 +823,7 @@ package body Lib.Load is
Units.Table (Calling_Unit).Fatal_Error := Error_Detected;
-- If with'ed unit had an ignored error, then propagate it
- -- but do not overide an existing setting.
+ -- but do not override an existing setting.
when Error_Ignored =>
if Units.Table (Calling_Unit).Fatal_Error = None then
diff --git a/gcc/ada/lib-writ.adb b/gcc/ada/lib-writ.adb
index b525bbac0..0f50b31df 100644
--- a/gcc/ada/lib-writ.adb
+++ b/gcc/ada/lib-writ.adb
@@ -1706,7 +1706,7 @@ package body Lib.Writ is
For_Each_Invocation_Construct (Write_Invocation_Construct'Access);
-- Write out all invocation relations that originate from invocation
- -- constructs delared in the current unit.
+ -- constructs declared in the current unit.
For_Each_Invocation_Relation (Write_Invocation_Relation'Access);
end Write_Invocation_Graph;
diff --git a/gcc/ada/lib-writ.ads b/gcc/ada/lib-writ.ads
index 5eb11e065..3f1802e2f 100644
--- a/gcc/ada/lib-writ.ads
+++ b/gcc/ada/lib-writ.ads
@@ -272,7 +272,7 @@ package Lib.Writ is
-- approach.
-- Note that R lines are generated using the information in unit Rident,
- -- and intepreted by the binder using the information in System.Rident.
+ -- and interpreted by the binder using the information in System.Rident.
-- Normally these two units should be effectively identical. However in
-- some cases of inconsistent builds, they may be different. This may lead
-- to binder diagnostics, which can be suppressed using the -C switch for
@@ -375,7 +375,7 @@ package Lib.Writ is
-- The first R line for named form announces that named notation will be
-- used, and also assures that there is at least one R line present, which
- -- makes parsing of ali files simpler. A blank line preceds the RN line.
+ -- makes parsing of ali files simpler. A blank line precedes the RN line.
-- RN
@@ -721,7 +721,7 @@ package Lib.Writ is
-- constructing the set of linker arguments.
-- Note: Linker_Options lines never appear in the ALI file generated for
- -- a predefined generic unit, and there is cicuitry in Sem_Prag to enforce
+ -- a predefined generic unit, and there is circuitry in Sem_Prag to enforce
-- this restriction, which is needed because of not generating source name
-- and lib name parameters on the with lines for such files, as explained
-- above in the section on with lines.
diff --git a/gcc/ada/lib-xref.adb b/gcc/ada/lib-xref.adb
index a4ff69a72..906710008 100644
--- a/gcc/ada/lib-xref.adb
+++ b/gcc/ada/lib-xref.adb
@@ -714,7 +714,7 @@ package body Lib.Xref is
Set_Referenced (E);
-- For the case where the entity is on the left hand side of an
- -- assignment statment, we do nothing here.
+ -- assignment statement, we do nothing here.
-- The processing for Analyze_Assignment_Statement will set the
-- Referenced_As_LHS flag.
diff --git a/gcc/ada/make.adb b/gcc/ada/make.adb
index 3ed465612..b3cf956d8 100644
--- a/gcc/ada/make.adb
+++ b/gcc/ada/make.adb
@@ -73,10 +73,10 @@ package body Make is
Standard_Library_Package_Body_Name : constant String := "s-stalib.adb";
System_Package_Spec_Name : constant String := "system.ads";
- -- Every program depends on one of these packages: usually the first one,
- -- or if Supress_Standard_Library is true on the second one. The dependency
- -- is not always explicit and considering it is important when -f and -a
- -- are used.
+ -- Every program depends on one of these packages: usually the first
+ -- one, or if Suppress_Standard_Library is true on the second one. The
+ -- dependency is not always explicit and considering it is important
+ -- when -f and -a are used.
procedure Sigint_Intercepted;
pragma No_Return (Sigint_Intercepted);
diff --git a/gcc/ada/make_util.ads b/gcc/ada/make_util.ads
index cb1fc4e12..3d10e64b4 100644
--- a/gcc/ada/make_util.ads
+++ b/gcc/ada/make_util.ads
@@ -290,7 +290,7 @@ package Make_Util is
-- extracted.
function Processed return Natural;
- -- Return the number of source in the queue that have aready been
+ -- Return the number of source in the queue that have already been
-- processed.
function Element (Rank : Positive) return File_Name_Type;
diff --git a/gcc/ada/namet.adb b/gcc/ada/namet.adb
index 50dc78332..e25e6114f 100644
--- a/gcc/ada/namet.adb
+++ b/gcc/ada/namet.adb
@@ -367,7 +367,7 @@ package body Namet is
"le<=" & -- Ole => "<="
"lt< " & -- Olt => "<"
"mo " & -- Omod => "mod"
- "mu* " & -- Omutliply => "*"
+ "mu* " & -- Omultiply => "*"
"ne/=" & -- One => "/="
"no " & -- Onot => "not"
"or " & -- Oor => "or"
diff --git a/gcc/ada/opt.ads b/gcc/ada/opt.ads
index 04908954f..67e7934e4 100644
--- a/gcc/ada/opt.ads
+++ b/gcc/ada/opt.ads
@@ -456,7 +456,7 @@ package Opt is
-- Request to disable front end inlining from pragma Inline in the
-- presence of the -fno-inline back end flag on the command line,
-- regardless of any other switches that are set.
- -- It remains the back end's reponsibility to honor -fno-inline at the
+ -- It remains the back end's responsibility to honor -fno-inline at the
-- back end level.
Display_Compilation_Progress : Boolean := False;
diff --git a/gcc/ada/par-ch13.adb b/gcc/ada/par-ch13.adb
index ca925d0f5..c63cbcd20 100644
--- a/gcc/ada/par-ch13.adb
+++ b/gcc/ada/par-ch13.adb
@@ -351,7 +351,7 @@ package body Ch13 is
-- Here we have either an arrow, or an aspect that definitely
-- needs an aspect definition, and we will look for one even if
- -- no arrow is preseant.
+ -- no arrow is present.
-- Otherwise we have an aspect definition
diff --git a/gcc/ada/par-ch3.adb b/gcc/ada/par-ch3.adb
index 82df4cf9c..eb0619387 100644
--- a/gcc/ada/par-ch3.adb
+++ b/gcc/ada/par-ch3.adb
@@ -2964,7 +2964,7 @@ package body Ch3 is
("generalized use of anonymous access types");
-- AI95-406 makes "aliased" legal (and useless) in this context so
- -- followintg code which used to be needed is commented out.
+ -- following code which used to be needed is commented out.
-- if Aliased_Present then
-- Error_Msg_SP ("ALIASED not allowed here");
@@ -5159,7 +5159,7 @@ package body Ch3 is
else
-- Do not give error message if we are operating in -gnatd.2 mode
- -- (alllow statements to appear in declarative parts).
+ -- (allow statements to appear in declarative parts).
if not Debug_Flag_Dot_2 then
diff --git a/gcc/ada/par-ch4.adb b/gcc/ada/par-ch4.adb
index 4ab4dcb09..f17560ce9 100644
--- a/gcc/ada/par-ch4.adb
+++ b/gcc/ada/par-ch4.adb
@@ -575,7 +575,7 @@ package body Ch4 is
-- Named notation allowed only for the special
-- case of System'Restriction_Set (No_Dependence =>
-- unit_NAME), in which case construct a parameter
- -- assocation node and append to the arguments.
+ -- association node and append to the arguments.
if Attr_Name = Name_Restriction_Set
and then Nkind (Expr) = N_Identifier
diff --git a/gcc/ada/par-ch6.adb b/gcc/ada/par-ch6.adb
index 95fa9374c..0748923ca 100644
--- a/gcc/ada/par-ch6.adb
+++ b/gcc/ada/par-ch6.adb
@@ -953,7 +953,7 @@ package body Ch6 is
-- If aspects are present, the specification is parsed as
-- a subprogram declaration, and we jump here after seeing
- -- the keyword IS. Attach asspects previously collected to
+ -- the keyword IS. Attach aspects previously collected to
-- the body.
if Is_Non_Empty_List (Aspects) then
diff --git a/gcc/ada/par-util.adb b/gcc/ada/par-util.adb
index 3f1247a51..d5f05d2d1 100644
--- a/gcc/ada/par-util.adb
+++ b/gcc/ada/par-util.adb
@@ -681,7 +681,7 @@ package body Util is
procedure No_Constraint is
begin
-- If we have a token that could start a constraint on the same line
- -- then cnsider this an illegal constraint. It seems unlikely it could
+ -- then consider this an illegal constraint. It seems unlikely it could
-- be anything else if it is on the same line.
if Token in Token_Class_Consk then
diff --git a/gcc/ada/par.adb b/gcc/ada/par.adb
index b6ffdae90..50341162b 100644
--- a/gcc/ada/par.adb
+++ b/gcc/ada/par.adb
@@ -1034,7 +1034,7 @@ function Par (Configuration_Pragmas : Boolean) return List_Id is
--
-- P_Aspect_Specifications is called with the current token pointing
-- to either a WITH keyword starting an aspect specification, or an
- -- instance of what shpould be a terminator token. In the former case,
+ -- instance of what should be a terminator token. In the former case,
-- the aspect specifications are scanned out including the terminator
-- token if it is a semicolon, and the Has_Aspect_Specifications
-- flag is set in the given declaration node. A list of aspects
@@ -1135,7 +1135,7 @@ function Par (Configuration_Pragmas : Boolean) return List_Id is
-- In the case where Decl is null, Is_Sloc determines the handling. If
-- it is set to No_Location, then aspect specifications are ignored and
-- an error message is given. Is_Sloc is used in the package declaration
- -- case to point to the IS, and is used to specialize the error emssages
+ -- case to point to the IS, and is used to specialize the error messages
-- issued in this case.
end Endh;
@@ -1299,7 +1299,7 @@ function Par (Configuration_Pragmas : Boolean) return List_Id is
procedure Check_Bad_Layout;
-- Check for bad indentation in RM checking mode. Used for statements
-- and declarations. Checks if current token is at start of line and
- -- is exdented from the current expected end column, and if so an
+ -- is extended from the current expected end column, and if so an
-- error message is generated.
procedure Check_Misspelling_Of (T : Token_Type);
diff --git a/gcc/ada/par_sco.adb b/gcc/ada/par_sco.adb
index e8875cf28..0fb6acdc9 100644
--- a/gcc/ada/par_sco.adb
+++ b/gcc/ada/par_sco.adb
@@ -144,7 +144,7 @@ package body Par_SCO is
-- This must be used in the first pass (SCO_Record_Raw) only: here AND/OR
-- operators are considered as short circuit, just in case the
-- Short_Circuit_And_Or pragma is used: only real short circuit operations
- -- will be kept in the secord pass.
+ -- will be kept in the second pass.
type Tristate is (False, True, Unknown);
@@ -409,7 +409,7 @@ package body Par_SCO is
-- If we are not sure this is a logical operator (AND and OR may be
-- turned into logical operators with the Short_Circuit_And_Or
-- pragma), assume it is. Putative decisions will be discarded if
- -- needed in the secord pass.
+ -- needed in the second pass.
if Is_Logical_Operator (N) /= False
or else Nkind (N) = N_If_Expression
@@ -3002,7 +3002,7 @@ package body Par_SCO is
-- Index of the current SCO raw table entry
New_From : constant Nat := SCO_Table.Last + 1;
- -- After copying SCO enties of interest to the final table, we
+ -- After copying SCO entries of interest to the final table, we
-- will have to change the From/To indexes this unit targets.
-- This constant keeps track of the new From index.
diff --git a/gcc/ada/repinfo-input.adb b/gcc/ada/repinfo-input.adb
index 845da1247..6c4dbc9d0 100644
--- a/gcc/ada/repinfo-input.adb
+++ b/gcc/ada/repinfo-input.adb
@@ -278,7 +278,7 @@ package body Repinfo.Input is
-- The current position in the text buffer
Name_Buffer : Bounded_String (4 * Max_Name_Length);
- -- The buffer used to build full qualifed names
+ -- The buffer used to build full qualified names
Prefix_Len : Natural := 0;
-- The length of the prefix present in Name_Buffer
diff --git a/gcc/ada/repinfo.ads b/gcc/ada/repinfo.ads
index 64624077c..097ddd45a 100644
--- a/gcc/ada/repinfo.ads
+++ b/gcc/ada/repinfo.ads
@@ -214,7 +214,7 @@ package Repinfo is
-- has a variant part and its value is the list of variants.
-- "formal" is present for every subprogram and entry, and its value is
-- the list of formal parameters. "mechanism" is present for functions
- -- only and its value is the return mechanim.
+ -- only and its value is the return mechanism.
-- The other pairs may be present when the eponymous aspect/attribute is
-- defined for the Ada entity, and their value is set by the language.
diff --git a/gcc/ada/sa_messages.ads b/gcc/ada/sa_messages.ads
index c44839749..fb6baea91 100644
--- a/gcc/ada/sa_messages.ads
+++ b/gcc/ada/sa_messages.ads
@@ -24,7 +24,7 @@ with Ada.Strings.Unbounded; use Ada.Strings.Unbounded;
package SA_Messages is
-- This package can be used for reading/writing a file containing a
- -- sequence of static anaysis results. Each element can describe a runtime
+ -- sequence of static analysis results. Each element can describe a runtime
-- check whose outcome has been statically determined, or it might be a
-- warning or diagnostic message. It is expected that typically CodePeer
-- will do the writing and SPARK will do the reading; this will allow SPARK
diff --git a/gcc/ada/scos.ads b/gcc/ada/scos.ads
index 2eb2e72d5..a367a75da 100644
--- a/gcc/ada/scos.ads
+++ b/gcc/ada/scos.ads
@@ -381,7 +381,7 @@ package SCOs is
-- aspect identifier token.
Pragma_Aspect_Name : Name_Id := No_Name;
- -- For the SCO for a pragma/aspect, gives the pragma/apsect name
+ -- For the SCO for a pragma/aspect, gives the pragma/aspect name
end record;
package SCO_Table is new Table.Table (
diff --git a/gcc/ada/sem_aggr.adb b/gcc/ada/sem_aggr.adb
index 2cd8807a2..484e9b6b4 100644
--- a/gcc/ada/sem_aggr.adb
+++ b/gcc/ada/sem_aggr.adb
@@ -558,7 +558,7 @@ package body Sem_Aggr is
-- Make sure that the list of index constraints is properly attached to
-- the tree, and then collect the aggregate bounds.
- -- If no aggregaate bounds have been set, this is an aggregate with
+ -- If no aggregate bounds have been set, this is an aggregate with
-- iterator specifications and a dynamic size to be determined by
-- first pass of expanded code.
diff --git a/gcc/ada/sem_attr.adb b/gcc/ada/sem_attr.adb
index 93bb6f42b..aa1c0a9ef 100644
--- a/gcc/ada/sem_attr.adb
+++ b/gcc/ada/sem_attr.adb
@@ -5996,7 +5996,7 @@ package body Sem_Attr is
if Nkind (Stream) /= N_Aggregate then
-- Prefix is a name, as for other attributes.
- -- If the object is a function we asume that it is not
+ -- If the object is a function we assume that it is not
-- overloaded. AI12-242 does not suggest a name resolution
-- rule for that case, but we can suppose that the expected
-- type of the reduction is the expected type of the component
@@ -7213,7 +7213,7 @@ package body Sem_Attr is
Base_Typ := Base_Type (Etype (Comp));
-- Save the type of the first component reference as the
- -- remaning references (if any) must resolve to this type.
+ -- renaming references (if any) must resolve to this type.
if No (Common_Typ) then
Common_Typ := Base_Typ;
@@ -7964,7 +7964,7 @@ package body Sem_Attr is
-- subtype indication. This is syntactically a pain, but should
-- not propagate to the entity for the corresponding index subtype.
-- After checking that the subtype indication is legal, the range
- -- of the subtype indication should be transfered to the entity.
+ -- of the subtype indication should be transferred to the entity.
-- The attributes for the bounds should remain the simple retrievals
-- that they are now.
@@ -9468,7 +9468,7 @@ package body Sem_Attr is
-- Loop_Entry acts as an alias of a constant initialized to the prefix
-- of the said attribute at the point of entry into the related loop. As
-- such, the attribute reference does not need to be evaluated because
- -- the prefix is the one that is evaluted.
+ -- the prefix is the one that is evaluated.
when Attribute_Loop_Entry =>
null;
@@ -11600,7 +11600,7 @@ package body Sem_Attr is
-- Verify that static checking is OK (namely that we aren't
-- in a specific context requiring dynamic checks on
- -- expicitly aliased parameters), and then check the level.
+ -- explicitly aliased parameters), and then check the level.
-- Otherwise a check will be generated later when the return
-- statement gets expanded.
diff --git a/gcc/ada/sem_case.adb b/gcc/ada/sem_case.adb
index 0bb358a68..a0fdec7f2 100644
--- a/gcc/ada/sem_case.adb
+++ b/gcc/ada/sem_case.adb
@@ -1783,7 +1783,7 @@ package body Sem_Case is
-- Deal with any trailing inactive-variant
-- components.
--
- -- See earlier commment about calling
+ -- See earlier comment about calling
-- Update_Result_For_Full_Coverage for such
-- components.
diff --git a/gcc/ada/sem_ch10.adb b/gcc/ada/sem_ch10.adb
index 8c1c00cc8..41726e75e 100644
--- a/gcc/ada/sem_ch10.adb
+++ b/gcc/ada/sem_ch10.adb
@@ -2956,7 +2956,7 @@ package body Sem_Ch10 is
Set_Fatal_Error (Current_Sem_Unit, Error_Detected);
-- If with'ed unit had an ignored error, then propagate it but do not
- -- overide an existring setting.
+ -- override an existing setting.
when Error_Ignored =>
if Fatal_Error (Current_Sem_Unit) = None then
@@ -4359,7 +4359,7 @@ package body Sem_Ch10 is
-- If the unit is an ancestor of the current one, it is the
-- case of a private limited with clause on a child unit, and
-- the compilation of one of its descendants, In that case the
- -- limited view is errelevant.
+ -- limited view is irrelevant.
if Limited_Present (Item) then
if not Limited_View_Installed (Item)
@@ -6253,9 +6253,9 @@ package body Sem_Ch10 is
raise Program_Error;
end case;
- -- The withed unit may not be analyzed, but the with calause itself
+ -- The withed unit may not be analyzed, but the with clause itself
-- must be minimally decorated. This ensures that the checks on unused
- -- with clauses also process limieted withs.
+ -- with clauses also process limited withs.
Mutate_Ekind (Pack, E_Package);
Set_Etype (Pack, Standard_Void_Type);
@@ -6275,7 +6275,7 @@ package body Sem_Ch10 is
return;
end if;
- -- Create the shadow package wich hides the withed unit and provides
+ -- Create the shadow package which hides the withed unit and provides
-- incomplete view of all types and packages declared within.
Shadow_Pack := Make_Temporary (Sloc (N), 'Z');
diff --git a/gcc/ada/sem_ch12.adb b/gcc/ada/sem_ch12.adb
index 9525140b4..a98f784e8 100644
--- a/gcc/ada/sem_ch12.adb
+++ b/gcc/ada/sem_ch12.adb
@@ -514,7 +514,7 @@ package body Sem_Ch12 is
(Formal_Subp : Entity_Id;
Actual_Name : Node_Id) return Node_Id;
-- The body of the wrapper is a call to the actual, with the generated
- -- pre/postconditon checks added.
+ -- pre/postcondition checks added.
procedure Check_Abbreviated_Instance
(N : Node_Id;
@@ -918,7 +918,7 @@ package body Sem_Ch12 is
-- in a few ways so that this machinery cannot be reused as is: on one
-- hand there are no visibility issues for a default, because it is
-- analyzed in the same context as the formal type definition; on the
- -- other hand the check needs to take into acount the use of a previous
+ -- other hand the check needs to take into account the use of a previous
-- formal type in the current formal type definition (see details in
-- AI12-0205).
@@ -1391,7 +1391,7 @@ package body Sem_Ch12 is
function Has_Fully_Defined_Profile (Subp : Entity_Id) return Boolean is
function Is_Fully_Defined_Type (Typ : Entity_Id) return Boolean;
- -- Determine whethet type Typ is fully defined
+ -- Determine whether type Typ is fully defined
---------------------------
-- Is_Fully_Defined_Type --
@@ -1823,7 +1823,7 @@ package body Sem_Ch12 is
Assoc_List);
-- Warn when an actual is a fixed-point with user-
- -- defined promitives. The warning is superfluous
+ -- defined primitives. The warning is superfluous
-- if the formal is private, because there can be
-- no arithmetic operations in the generic so there
-- no danger of confusion.
@@ -3176,7 +3176,7 @@ package body Sem_Ch12 is
-- A formal package declaration behaves as a package instantiation with
-- respect to SPARK_Mode "off". If the annotation is "off" or altogether
- -- missing, set the global flag which signals Analyze_Pragma to ingnore
+ -- missing, set the global flag which signals Analyze_Pragma to ignore
-- all SPARK_Mode pragmas within the generic_package_name.
if SPARK_Mode /= On then
@@ -7081,7 +7081,8 @@ package body Sem_Ch12 is
-- enclosing scope of the generic unit, the body of the generic
-- sees the full view of the type (because it has to appear in
-- the corresponding package body). If the type is private now,
- -- exchange views to restore the proper visiblity in the instance.
+ -- exchange views to restore the proper visibility in the
+ -- instance.
declare
Typ : constant Entity_Id := Base_Type (Etype (E));
@@ -16616,7 +16617,7 @@ package body Sem_Ch12 is
else
N2 := Get_Associated_Node (N);
- -- The operator resoved to a function call
+ -- The operator resolved to a function call
if Nkind (N2) = N_Function_Call then
diff --git a/gcc/ada/sem_ch12.ads b/gcc/ada/sem_ch12.ads
index 58a945529..9efce6bb2 100644
--- a/gcc/ada/sem_ch12.ads
+++ b/gcc/ada/sem_ch12.ads
@@ -186,12 +186,12 @@ package Sem_Ch12 is
Act_Unit : Entity_Id);
-- Because instantiations can be nested, the compiler maintains a stack
-- of environments that holds variables relevant to the current instance:
- -- most importanty Instantiated_Parent, Exchanged_Views, Hidden_Entities,
+ -- most importantly Instantiated_Parent, Exchanged_Views, Hidden_Entities,
-- and others (see full list in Instance_Env).
procedure Restore_Env;
-- After processing an instantiation, or aborting one because of semantic
- -- errors, remove the current Instantiation_Env from Instantation_Envs.
+ -- errors, remove the current Instantiation_Env from Instantiation_Envs.
procedure Initialize;
-- Initializes internal data structures
diff --git a/gcc/ada/sem_ch13.adb b/gcc/ada/sem_ch13.adb
index a64a3cd90..d974391f8 100644
--- a/gcc/ada/sem_ch13.adb
+++ b/gcc/ada/sem_ch13.adb
@@ -2618,7 +2618,7 @@ package body Sem_Ch13 is
(Pragma_Argument_Associations (Import_Pragma (E)));
-- The aspect applies only to expression functions that
- -- statisfy the requirements for a static expression function
+ -- satisfy the requirements for a static expression function
-- (such as having an expression that is predicate-static) as
-- well as Intrinsic imported functions as a -gnatX extension.
@@ -2933,7 +2933,7 @@ package body Sem_Ch13 is
-- a failed precondition/postcondition or invariant. Note that
-- the source location of the expression is not usually the best
-- choice here. For example, it gets located on the last AND
- -- keyword in a chain of boolean expressiond AND'ed together.
+ -- keyword in a chain of boolean expressions AND'ed together.
-- It is best to put the message on the first character of the
-- assertion, which is the effect of the First_Node call here.
@@ -15176,8 +15176,8 @@ package body Sem_Ch13 is
function Visible_Component (Comp : Name_Id) return Entity_Id;
-- Given an identifier in the expression, check whether there is a
-- discriminant, component, protected procedure, or entry of the type
- -- that is directy visible, and rewrite it as the corresponding selected
- -- component of the formal of the subprogram.
+ -- that is directly visible, and rewrite it as the corresponding
+ -- selected component of the formal of the subprogram.
----------------------
-- Replace_Type_Ref --
@@ -16184,7 +16184,7 @@ package body Sem_Ch13 is
Op_Name := Chars (First (Choices (Assoc)));
-- When verifying the consistency of aspects between the freeze point
- -- and the end of declarqtions, we use a copy which is not analyzed
+ -- and the end of declarations, we use a copy which is not analyzed
-- yet, so do it now.
Subp_Id := Expression (Assoc);
diff --git a/gcc/ada/sem_ch13.ads b/gcc/ada/sem_ch13.ads
index e0d84c99b..98c1e7cd8 100644
--- a/gcc/ada/sem_ch13.ads
+++ b/gcc/ada/sem_ch13.ads
@@ -246,7 +246,7 @@ package Sem_Ch13 is
-- to leave the aspect "laying in wait" for the freeze point, and at that
-- point materialize and analyze the corresponding attribute definition
-- clause or pragma. There is some special processing for preconditions
- -- and postonditions, where the pragmas themselves deal with the required
+ -- and postconditions, where the pragmas themselves deal with the required
-- delay, but basically the approach is the same, delay analysis of the
-- expression to the freeze point.
@@ -304,7 +304,7 @@ package Sem_Ch13 is
-- in these two expressions are the same, by seeing if the two expressions
-- are fully conformant, and if not, issue appropriate error messages.
- -- Quite an awkward approach, but this is an awkard requirement
+ -- Quite an awkward approach, but this is an awkward requirement
procedure Analyze_Aspects_At_Freeze_Point (E : Entity_Id);
-- Analyze all the delayed aspects for entity E at freezing point. This
diff --git a/gcc/ada/sem_ch3.adb b/gcc/ada/sem_ch3.adb
index 790d1d1b2..bef3c317c 100644
--- a/gcc/ada/sem_ch3.adb
+++ b/gcc/ada/sem_ch3.adb
@@ -871,7 +871,7 @@ package body Sem_Ch3 is
-- because the itype will be used in the subsequent bodies.
-- If the anonymous access itself is protected, a full type
- -- declaratiton will be created for it, so that the equivalent
+ -- declaration will be created for it, so that the equivalent
-- record type can be constructed. For further details, see
-- Replace_Anonymous_Access_To_Protected-Subprogram.
@@ -1780,7 +1780,7 @@ package body Sem_Ch3 is
-- a progenitor operation.
-- If the operation is a primitive wrapper it is an explicit
- -- (overriding) operqtion and all is fine.
+ -- (overriding) operation and all is fine.
if Present (Anc)
and then Has_Non_Trivial_Precondition (Anc)
@@ -2243,7 +2243,7 @@ package body Sem_Ch3 is
procedure Build_Assertion_Bodies (Decls : List_Id; Context : Node_Id);
-- Create the subprogram bodies which verify the run-time semantics of
- -- the pragmas listed below for each elibigle type found in declarative
+ -- the pragmas listed below for each eligible type found in declarative
-- list Decls. The pragmas are:
--
-- Default_Initial_Condition
@@ -15822,7 +15822,7 @@ package body Sem_Ch3 is
-- Set size of anonymous access type. If we have an access
-- to an unconstrained array, this is a fat pointer, so it
- -- is sizes at twice addtress size.
+ -- is sizes at twice address size.
if Is_Array_Type (Desig_Typ)
and then not Is_Constrained (Desig_Typ)
@@ -15835,7 +15835,7 @@ package body Sem_Ch3 is
Init_Size (Acc_Type, System_Address_Size);
end if;
- -- Set remaining characterstics of anonymous access type
+ -- Set remaining characteristics of anonymous access type
Reinit_Alignment (Acc_Type);
Set_Directly_Designated_Type (Acc_Type, Derived_Type);
@@ -20637,7 +20637,7 @@ package body Sem_Ch3 is
if Present (Expression (Discr)) then
Preanalyze_Default_Expression (Expression (Discr), Discr_Type);
- -- Legaity checks
+ -- Legality checks
if Nkind (N) = N_Formal_Type_Declaration then
Error_Msg_N
diff --git a/gcc/ada/sem_ch4.adb b/gcc/ada/sem_ch4.adb
index 54974832c..82be35186 100644
--- a/gcc/ada/sem_ch4.adb
+++ b/gcc/ada/sem_ch4.adb
@@ -274,7 +274,7 @@ package body Sem_Ch4 is
-- not exist.
-- The typical example is an if_expression whose then_expression is of a
- -- tagged type and whose else_expresssion is of an extension of this type:
+ -- tagged type and whose else_expression is of an extension of this type:
-- the types are not compatible but such an if_expression can be legal if
-- its expected type is the 'Class of the tagged type, so the function will
-- return the tagged type in this case. If the expected type turns out to
@@ -8807,7 +8807,7 @@ package body Sem_Ch4 is
Assoc := New_List (Relocate_Node (Prefix));
- -- A generalized indexing may have nore than one index expression, so
+ -- A generalized indexing may have more than one index expression, so
-- transfer all of them to the argument list to be used in the call.
-- Note that there may be named associations, in which case the node
-- was rewritten earlier as a call, and has been transformed back into
@@ -9497,7 +9497,7 @@ package body Sem_Ch4 is
function First_Formal_Match
(Subp_Id : Entity_Id;
Typ : Entity_Id) return Boolean;
- -- Predicate to verify that the first foramal of class-wide
+ -- Predicate to verify that the first formal of class-wide
-- subprogram Subp_Id matches type Typ of the prefix.
------------------------
diff --git a/gcc/ada/sem_ch5.adb b/gcc/ada/sem_ch5.adb
index e1b572222..3a8bfba2e 100644
--- a/gcc/ada/sem_ch5.adb
+++ b/gcc/ada/sem_ch5.adb
@@ -403,7 +403,7 @@ package body Sem_Ch5 is
procedure Transform_BIP_Assignment (Typ : Entity_Id) is
- -- Tranform "X : [constant] T := F (...);" into:
+ -- Transform "X : [constant] T := F (...);" into:
--
-- Temp : constant T := F (...);
-- X := Temp;
@@ -605,7 +605,7 @@ package body Sem_Ch5 is
end if;
-- Deal with build-in-place calls for nonlimited types. We don't do this
- -- later, because resolving the rhs tranforms it incorrectly for build-
+ -- later, because resolving the rhs transforms it incorrectly for build-
-- in-place.
if Should_Transform_BIP_Assignment (Typ => T1) then
@@ -3076,7 +3076,7 @@ package body Sem_Ch5 is
-- Now that this temporary variable is initialized we decorate it
-- as safe-to-reevaluate to inform to the backend that no further
- -- asignment will be issued and hence it can be handled as side
+ -- assignment will be issued and hence it can be handled as side
-- effect free. Note that this decoration must be done when the
-- assignment has been analyzed because otherwise it will be
-- rejected (see Analyze_Assignment).
@@ -4210,7 +4210,7 @@ package body Sem_Ch5 is
Kill_Current_Values;
-- Check for infinite loop. Skip check for generated code, since it
- -- justs waste time and makes debugging the routine called harder.
+ -- just wastes time and makes debugging the routine called harder.
-- Note that we have to wait till the body of the loop is fully analyzed
-- before making this call, since Check_Infinite_Loop_Warning relies on
diff --git a/gcc/ada/sem_ch6.adb b/gcc/ada/sem_ch6.adb
index e4af71cef..004ca34a4 100644
--- a/gcc/ada/sem_ch6.adb
+++ b/gcc/ada/sem_ch6.adb
@@ -418,7 +418,7 @@ package body Sem_Ch6 is
-- Propagate any pragmas that apply to expression function to the
-- proper body when the expression function acts as a completion.
- -- Aspects are automatically transfered because of node rewriting.
+ -- Aspects are automatically transferred because of node rewriting.
Relocate_Pragmas_To_Body (N);
Analyze (N);
@@ -979,7 +979,7 @@ package body Sem_Ch6 is
elsif Present (Expression (Obj_Decl)) then
if Nkind (Unqualify (Expression (Obj_Decl))) = N_Aggregate then
- -- Grab the first associated discriminant expresion
+ -- Grab the first associated discriminant expression
if Present
(Expressions (Unqualify (Expression (Obj_Decl))))
@@ -2032,7 +2032,7 @@ package body Sem_Ch6 is
end loop;
-- Determine whether the null procedure may be a completion of a generic
- -- suprogram, in which case we use the new null body as the completion
+ -- subprogram, in which case we use the new null body as the completion
-- and set minimal semantic information on the original declaration,
-- which is rewritten as a null statement.
@@ -4389,7 +4389,7 @@ package body Sem_Ch6 is
-- Deactivate expansion inside the body of ignored Ghost entities,
-- as this code will ultimately be ignored. This avoids requiring the
-- presence of run-time units which are not needed. Only do this for
- -- user entities, as internally generated entitities might still need
+ -- user entities, as internally generated entities might still need
-- to be expanded (e.g. those generated for types).
if Present (Ignored_Ghost_Region)
@@ -5884,7 +5884,7 @@ package body Sem_Ch6 is
-- derived from a synchronized interface.
-- This modification is not done for invariant procedures because
- -- the corresponding record may not necessarely be visible when the
+ -- the corresponding record may not necessarily be visible when the
-- concurrent type acts as the full view of a private type.
-- package Pack is
@@ -8556,7 +8556,7 @@ package body Sem_Ch6 is
-- other ???.
-- See code in Find_Corresponding_Spec that applies an additional
- -- filter to handle accidental amiguities in instances.
+ -- filter to handle accidental ambiguities in instances.
return
not Is_Generic_Actual_Type (Typ_1)
diff --git a/gcc/ada/sem_ch8.adb b/gcc/ada/sem_ch8.adb
index eb9e359e4..0fcf39b67 100644
--- a/gcc/ada/sem_ch8.adb
+++ b/gcc/ada/sem_ch8.adb
@@ -8078,7 +8078,7 @@ package body Sem_Ch8 is
Save_Interps (P, Nam);
-- We use Replace here because this is one of those cases
- -- where the parser has missclassified the node, and we fix
+ -- where the parser has misclassified the node, and we fix
-- things up and then do the semantic analysis on the fixed
-- up node. Normally we do this using one of the Sinfo.CN
-- routines, but this is too tricky for that.
@@ -8846,7 +8846,7 @@ package body Sem_Ch8 is
for J in reverse 0 .. Scope_Stack.Last loop
- -- S was reached without seing a loop scope first
+ -- S was reached without seeing a loop scope first
if Scope_Stack.Table (J).Entity = S then
return False;
@@ -9239,7 +9239,7 @@ package body Sem_Ch8 is
begin
-- Check if the clause appears in the context area
- -- Note we cannot employ Enclosing_Packge for use clauses within
+ -- Note we cannot employ Enclosing_Package for use clauses within
-- context clauses since they are not actually "enclosed."
if Nkind (Parent (Clause)) = N_Compilation_Unit then
diff --git a/gcc/ada/sem_ch9.adb b/gcc/ada/sem_ch9.adb
index 2f8f01bcc..146e0376f 100644
--- a/gcc/ada/sem_ch9.adb
+++ b/gcc/ada/sem_ch9.adb
@@ -2201,7 +2201,7 @@ package body Sem_Ch9 is
-- If the Attach_Handler aspect is specified or the Interrupt_Handler
-- aspect is True, then the initial ceiling priority must be in the
- -- range of System.Interrupt_Priority. It is therefore recommanded
+ -- range of System.Interrupt_Priority. It is therefore recommended
-- to use the Interrupt_Priority aspect instead of the Priority aspect.
if Has_Interrupt_Handler (T) or else Has_Attach_Handler (T) then
@@ -3175,7 +3175,7 @@ package body Sem_Ch9 is
T : Entity_Id;
begin
- -- Attempt to use tasking in no run time mode is not allowe. Issue hard
+ -- Attempt to use tasking in no run time mode is not allowed. Issue hard
-- error message to disable expansion which leads to crashes.
if Opt.No_Run_Time_Mode then
diff --git a/gcc/ada/sem_dim.adb b/gcc/ada/sem_dim.adb
index a24b9d72d..be3e1b1b8 100644
--- a/gcc/ada/sem_dim.adb
+++ b/gcc/ada/sem_dim.adb
@@ -571,7 +571,7 @@ package body Sem_Dim is
-- aggregate (Step 2).
--
-- At the end of the analysis, there is a check to verify that this
- -- count equals to Serious_Errors_Detected i.e. no erros have been
+ -- count equals to Serious_Errors_Detected i.e. no errors have been
-- encountered during the process. Otherwise the Dimension_Table is
-- not filled.
diff --git a/gcc/ada/sem_dim.ads b/gcc/ada/sem_dim.ads
index 8e219d18e..637a2663a 100644
--- a/gcc/ada/sem_dim.ads
+++ b/gcc/ada/sem_dim.ads
@@ -111,7 +111,7 @@ package Sem_Dim is
Id : Entity_Id;
Aggr : Node_Id);
-- Analyze the contents of aspect Dimension_System. Extract the numerical
- -- type, unit name and corresponding symbol from each indivitual dimension.
+ -- type, unit name and corresponding symbol from each individual dimension.
-- Id is the corresponding Aspect_Id (Aspect_Dimension_System). Aggr is
-- the corresponding expression for the aspect Dimension_System from the
-- declaration of N.
@@ -123,7 +123,7 @@ package Sem_Dim is
-- * attribute reference
-- * binary operator
-- * call
- -- * compontent declaration
+ -- * component declaration
-- * extended return statement
-- * expanded name
-- * explicit dereference
diff --git a/gcc/ada/sem_elab.adb b/gcc/ada/sem_elab.adb
index 077c988ae..eb347a52d 100644
--- a/gcc/ada/sem_elab.adb
+++ b/gcc/ada/sem_elab.adb
@@ -576,7 +576,7 @@ package body Sem_Elab is
--
-- The ABE mechanism assumes that any scenario is elaborated or
-- invoked by elaboration code. The ABE mechanism performs very
- -- little diagnostics and generates condintional ABE checks to
+ -- little diagnostics and generates conditional ABE checks to
-- detect ABE issues at run-time.
--
-- -gnatel turn on info messages on generated Elaborate[_All] pragmas
@@ -716,17 +716,17 @@ package body Sem_Elab is
Invocation_Construct_Processing,
-- The ABE mechanism locates all invocation constructs within the main
- -- unit and utilizes them as roots of miltiple DFS traversals aimed at
+ -- unit and utilizes them as roots of multiple DFS traversals aimed at
-- detecting transitions from the main unit to an external unit.
Invocation_Body_Processing,
-- The ABE mechanism utilizes all library-level body scenarios as roots
- -- of miltiple DFS traversals aimed at detecting transitions from the
+ -- of multiple DFS traversals aimed at detecting transitions from the
-- main unit to an external unit.
Invocation_Spec_Processing,
-- The ABE mechanism utilizes all library-level spec scenarios as roots
- -- of miltiple DFS traversals aimed at detecting transitions from the
+ -- of multiple DFS traversals aimed at detecting transitions from the
-- main unit to an external unit.
SPARK_Processing,
@@ -925,7 +925,7 @@ package body Sem_Elab is
-- The guaranteed ABE state is used when processing scenarios that appear
-- at the declaration, instantiation, and library levels to detect errors
- -- and install guarateed ABE failures.
+ -- and install guaranteed ABE failures.
Guaranteed_ABE_State : constant Processing_In_State :=
(Processing => Guaranteed_ABE_Processing,
@@ -979,7 +979,7 @@ package body Sem_Elab is
Traversal => Deep_Traversal,
others => False);
- -- The SPARK state is used when verying SPARK-specific semantics of certain
+ -- The SPARK state is used when varying SPARK-specific semantics of certain
-- scenarios.
SPARK_State : constant Processing_In_State :=
@@ -1104,7 +1104,7 @@ package body Sem_Elab is
end Activation_Processor;
use Activation_Processor;
- -- The following package profides functionality for traversing subprogram
+ -- The following package provides functionality for traversing subprogram
-- bodies in DFS manner and processing of eligible scenarios within.
package Body_Processor is
@@ -1333,7 +1333,7 @@ package body Sem_Elab is
pragma Inline (Find_Early_Call_Region);
-- Find the start of the early call region that belongs to subprogram
-- body Body_Decl as defined in SPARK RM 7.7. This routine finds the
- -- early call region, memoizes it, and returns it, but this behavior
+ -- early call region, memorizes it, and returns it, but this behavior
-- can be altered. Flag Assume_Elab_Body should be set when a package
-- spec may lack pragma Elaborate_Body, but the routine must still
-- examine that spec. Flag Skip_Memoization should be set when the
@@ -1993,7 +1993,7 @@ package body Sem_Elab is
(N : Node_Id;
Target_Decl : Node_Id) return Boolean;
pragma Inline (In_External_Instance);
- -- Determine whether a target desctibed by its declaration Target_Decl
+ -- Determine whether a target described by its declaration Target_Decl
-- resides in a package instance which is external to scenario N.
function In_Main_Context (N : Node_Id) return Boolean;
@@ -2796,7 +2796,7 @@ package body Sem_Elab is
In_State => New_In_State);
-- Reset the association between the current task and the
- -- activtion call.
+ -- activation call.
Set_Activated_Task_Type (Call_Rep, Empty);
@@ -4069,7 +4069,7 @@ package body Sem_Elab is
if not Check_Or_Failure_Generation_OK then
return False;
- -- Nothing to do when the scenario denots a compilation unit because
+ -- Nothing to do when the scenario denotes a compilation unit because
-- there is no executable environment at that level.
elsif Nkind (Parent (Ins_Node)) = N_Compilation_Unit then
@@ -4657,7 +4657,7 @@ package body Sem_Elab is
pragma Inline (Process_Conditional_ABE_Instantiation_Ada);
-- Perform ABE checks and diagnostics for instantiation Inst of generic
-- Gen_Id using the Ada rules. Inst_Rep denotes the representation of
- -- the instnace. Gen_Rep is the representation of the generic. In_State
+ -- the instance. Gen_Rep is the representation of the generic. In_State
-- is the current state of the Processing phase.
procedure Process_Conditional_ABE_Instantiation_SPARK
@@ -4669,7 +4669,7 @@ package body Sem_Elab is
pragma Inline (Process_Conditional_ABE_Instantiation_SPARK);
-- Perform ABE checks and diagnostics for instantiation Inst of generic
-- Gen_Id using the SPARK rules. Inst_Rep denotes the representation of
- -- the instnace. Gen_Rep is the representation of the generic. In_State
+ -- the instance. Gen_Rep is the representation of the generic. In_State
-- is the current state of the Processing phase.
procedure Process_Conditional_ABE_Variable_Assignment
@@ -5145,7 +5145,7 @@ package body Sem_Elab is
-- Y : ... := A; -- root scenario
--
-- IMPORTANT: The activation of T is a possible ABE for X, but
- -- not for Y. Intalling an unconditional ABE raise prior to the
+ -- not for Y. Installing an unconditional ABE raise prior to the
-- activation call would be wrong as it will fail for Y as well
-- but in Y's case the activation of T is never an ABE.
@@ -5167,7 +5167,7 @@ package body Sem_Elab is
elsif New_In_State.Within_Partial_Finalization then
null;
- -- Otherwise emit the ABE disgnostic
+ -- Otherwise emit the ABE diagnostic
else
Error_Msg_Sloc := Sloc (Call);
@@ -7068,7 +7068,7 @@ package body Sem_Elab is
raise ECR_Found;
- -- Otherwise current construct is preelaborable. Unpdate the
+ -- Otherwise current construct is preelaborable. Update the
-- early call region to include it.
else
@@ -7535,7 +7535,7 @@ package body Sem_Elab is
-- The search came from the visible declarations and finished
-- their inspections. The construct to inspect is the node which
- -- precedes the context, unless the context is a compilaton unit.
+ -- precedes the context, unless the context is a compilation unit.
-- The transitions are:
--
-- visible declarations -> upper level
@@ -7688,7 +7688,7 @@ package body Sem_Elab is
-- Types --
-----------
- -- The following type idenfities the elaboration attributes of a unit
+ -- The following type identifies the elaboration attributes of a unit
type Elaboration_Attributes_Id is new Natural;
@@ -8187,8 +8187,8 @@ package body Sem_Elab is
--
-- In the example above, the elaboration of C invokes B.Proc. B is
-- subject to pragma Elaborate_Body. If no pragma Elaborate[_All]
- -- is gnerated for B in C, then the following elaboratio order will
- -- lead to an ABE:
+ -- is generated for B in C, then the following elaboration order
+ -- will lead to an ABE:
--
-- spec of A elaborated
-- spec of B elaborated
@@ -9091,7 +9091,7 @@ package body Sem_Elab is
Context := Parent (Curr);
-- The sole exception is when the encapsulator is the compilation
- -- utit itself because the compilation unit node requires special
+ -- unit itself because the compilation unit node requires special
-- processing (see below).
if Present (Context)
@@ -10237,7 +10237,7 @@ package body Sem_Elab is
function Instantiated_Generic (Inst : Node_Id) return Entity_Id is
begin
-- Traverse a possible chain of renamings to obtain the original generic
- -- being instantiatied.
+ -- being instantiated.
return Get_Renamed_Entity (Entity (Name (Inst)));
end Instantiated_Generic;
@@ -11472,14 +11472,14 @@ package body Sem_Elab is
-- The Processing phase is working with a partially analyzed tree,
-- where various attributes become available as analysis continues.
- -- This case arrises in the context of guaranteed ABE processing.
+ -- This case arises in the context of guaranteed ABE processing.
-- Update the existing representation by including new attributes.
elsif In_State.Representation = Inconsistent_Representation then
Target_Reps.Table (T_Id) := Create_Target_Rep (Id, In_State);
-- Otherwise the Processing phase imposes a particular representation
- -- version which is not satisfied by the target. This case arrises
+ -- version which is not satisfied by the target. This case arises
-- when the Processing phase switches from guaranteed ABE checks and
-- diagnostics to some other mode of operation. Update the existing
-- representation to include all attributes.
@@ -11610,7 +11610,7 @@ package body Sem_Elab is
function Signature_Of (Id : Entity_Id) return Invocation_Signature_Id;
pragma Inline (Signature_Of);
- -- Obtain the invication signature id of arbitrary entity Id
+ -- Obtain the invocation signature id of arbitrary entity Id
-----------------------
-- Local subprograms --
@@ -11896,7 +11896,7 @@ package body Sem_Elab is
Proc_Id := Make_Defining_Identifier (Loc, Proc_Nam);
-- Partially decorate the elaboration procedure because it will not
- -- be insertred into the tree and analyzed.
+ -- be inserted into the tree and analyzed.
Mutate_Ekind (Proc_Id, E_Procedure);
Set_Etype (Proc_Id, Standard_Void_Type);
@@ -12515,7 +12515,7 @@ package body Sem_Elab is
then
return;
- -- Nothin to do for a formal subprogram because it has no body to
+ -- Nothing to do for a formal subprogram because it has no body to
-- examine.
elsif Is_Formal_Subprogram (Subp_Id) then
@@ -12781,7 +12781,7 @@ package body Sem_Elab is
(Decls => Private_Declarations (Spec),
In_State => In_State);
- -- The package body containst at least one generic unit or an
+ -- The package body contains at least one generic unit or an
-- inlinable subprogram. Such constructs may grant clients of
-- the main unit access to the private enclosing contexts of
-- the constructs. Process the main unit body to discover and
@@ -13699,7 +13699,7 @@ package body Sem_Elab is
procedure Kill_Elaboration_Scenario (N : Node_Id) is
begin
-- Nothing to do when switch -gnatH (legacy elaboration checking mode
- -- enabled) is in effect because the legacy ABE lechanism does not need
+ -- enabled) is in effect because the legacy ABE mechanism does not need
-- to carry out this action.
if Legacy_Elaboration_Checks then
@@ -14360,7 +14360,7 @@ package body Sem_Elab is
procedure Replace_Scenario_In (Scenarios : NE_Set.Membership_Set) is
begin
- -- The set is intentionally checked for existance because node
+ -- The set is intentionally checked for existence because node
-- rewriting may occur after Sem_Elab has verified all scenarios
-- and data structures have been destroyed.
@@ -14931,7 +14931,7 @@ package body Sem_Elab is
(N : Node_Id) return Boolean
is
begin
- -- To qualfy, the pragma must denote Refined_State
+ -- To qualify, the pragma must denote Refined_State
return
Nkind (N) = N_Pragma
@@ -15062,7 +15062,7 @@ package body Sem_Elab is
Scenario_Representation_Of (Root, In_State);
begin
- -- The root appears within the declaratons of a block statement,
+ -- The root appears within the declarations of a block statement,
-- entry body, subprogram body, or task body ignoring enclosing
-- packages. The root is always within the main unit.
diff --git a/gcc/ada/sem_elab.ads b/gcc/ada/sem_elab.ads
index b76965b7d..a42a3cd9e 100644
--- a/gcc/ada/sem_elab.ads
+++ b/gcc/ada/sem_elab.ads
@@ -126,7 +126,7 @@ package Sem_Elab is
procedure Record_Elaboration_Scenario (N : Node_Id);
pragma Inline (Record_Elaboration_Scenario);
- -- Determine whether atribtray node N denotes a scenario which requires
+ -- Determine whether arbitrary node N denotes a scenario which requires
-- ABE diagnostics or runtime checks. If this is the case, store N for
-- later processing.
diff --git a/gcc/ada/sem_eval.adb b/gcc/ada/sem_eval.adb
index 2ba460889..7655c65e3 100644
--- a/gcc/ada/sem_eval.adb
+++ b/gcc/ada/sem_eval.adb
@@ -730,7 +730,7 @@ package body Sem_Eval is
Set_Raises_Constraint_Error (Choice);
return Non_Static;
- -- When the choice denotes a subtype with a static predictate, check the
+ -- When the choice denotes a subtype with a static predicate, check the
-- expression against the predicate values. Different procedures apply
-- to discrete and non-discrete types.
@@ -7718,7 +7718,7 @@ package body Sem_Eval is
Error_Msg_N ("!non-static function call (RM 4.9(6,18))", N);
end if;
- -- Parameter assocation (test actual parameter)
+ -- Parameter association (test actual parameter)
when N_Parameter_Association =>
Why_Not_Static (Explicit_Actual_Parameter (N));
diff --git a/gcc/ada/sem_prag.adb b/gcc/ada/sem_prag.adb
index df3d348b3..c4300db8c 100644
--- a/gcc/ada/sem_prag.adb
+++ b/gcc/ada/sem_prag.adb
@@ -226,7 +226,7 @@ package body Sem_Prag is
-- Subsidiary to the analysis of pragmas Contract_Cases, Part_Of, Post, and
-- Pre. Emit a freezing-related error message where Freeze_Id is the entity
-- of a body which caused contract freezing and Contract_Id denotes the
- -- entity of the affected contstruct.
+ -- entity of the affected construct.
procedure Duplication_Error (Prag : Node_Id; Prev : Node_Id);
-- Subsidiary to all Find_Related_xxx routines. Emit an error on pragma
@@ -637,7 +637,7 @@ package body Sem_Prag is
Constits_Seen : Elist_Id := No_Elist;
-- A list containing the entities of all constituents processed so far.
-- It aids in detecting illegal usage of a state and a corresponding
- -- constituent in pragma [Refinde_]Depends.
+ -- constituent in pragma [Refined_]Depends.
Global_Seen : Boolean := False;
-- A flag set when pragma Global has been processed
@@ -684,7 +684,7 @@ package body Sem_Prag is
-- denotes whether Clause is the last clause in the relation.
procedure Check_Function_Return;
- -- Verify that Funtion'Result appears as one of the outputs
+ -- Verify that Function'Result appears as one of the outputs
-- (SPARK RM 6.1.5(10)).
procedure Check_Role
@@ -1730,7 +1730,7 @@ package body Sem_Prag is
function In_Input_List
(Item : Entity_Id;
Inputs : List_Id) return Boolean;
- -- Determine whether a particulat item appears in the input
+ -- Determine whether a particular item appears in the input
-- list of a clause.
-------------------
@@ -2193,7 +2193,7 @@ package body Sem_Prag is
Constits_Seen : Elist_Id := No_Elist;
-- A list containing the entities of all constituents processed so far.
-- It aids in detecting illegal usage of a state and a corresponding
- -- constituent in pragma [Refinde_]Global.
+ -- constituent in pragma [Refined_]Global.
Seen : Elist_Id := No_Elist;
-- A list containing the entities of all the items processed so far. It
@@ -9430,8 +9430,8 @@ package body Sem_Prag is
-- If the pragma comes from an aspect specification, there
-- must be an Import aspect specified as well. In the rare
- -- case where Import is set to False, the suprogram needs to
- -- have a local completion.
+ -- case where Import is set to False, the subprogram needs
+ -- to have a local completion.
declare
Imp_Aspect : constant Node_Id :=
@@ -10327,7 +10327,7 @@ package body Sem_Prag is
Analyze (Expression (EN));
end if;
- -- Analyze the expressio of aspect Link_Name
+ -- Analyze the expression of aspect Link_Name
if Present (LN) then
Analyze (Expression (LN));
@@ -11826,7 +11826,7 @@ package body Sem_Prag is
procedure Analyze_External_Property
(Prop : Node_Id;
Expr : Node_Id := Empty);
- -- Verify the legailty of a single external property. Prop
+ -- Verify the legality of a single external property. Prop
-- denotes the external property. Expr is the expression used
-- to set the property.
@@ -12486,7 +12486,7 @@ package body Sem_Prag is
Next (State);
end loop;
- -- An abstract state with a simple option is being illegaly
+ -- An abstract state with a simple option is being illegally
-- declared with "=>" rather than "with". In this case the
-- state declaration appears as a component association.
@@ -12867,7 +12867,7 @@ package body Sem_Prag is
--------------------------
function Preferred_String_Type (Expr : Node_Id) return Entity_Id;
- -- Infer the type to use for a string literal or a concatentation
+ -- Infer the type to use for a string literal or a concatenation
-- of operands whose types can be inferred. For such expressions,
-- returns the "narrowest" of the three predefined string types
-- that can represent the characters occurring in the expression.
@@ -17272,7 +17272,7 @@ package body Sem_Prag is
-- pragma Ident (static_string_EXPRESSION)
-- Note: pragma Comment shares this processing. Pragma Ident is
- -- identical in effect to pragma Commment.
+ -- identical in effect to pragma Comment.
when Pragma_Comment
| Pragma_Ident
@@ -19486,7 +19486,7 @@ package body Sem_Prag is
-- Apply the pragma to the designated type, rather than to the
-- access type, unless it's a strub annotation. We wish to enable
-- objects of access type, as well as access types themselves, to
- -- be annotated, so that reading the access objects (as oposed to
+ -- be annotated, so that reading the access objects (as opposed to
-- the designated data) automatically enables stack
-- scrubbing. That said, as in the attribute handler that
-- processes the pragma turned into a compiler attribute, a strub
@@ -20139,7 +20139,7 @@ package body Sem_Prag is
end loop;
-- If entity in not in current scope it may be the enclosing
- -- suprogram body to which the aspect applies.
+ -- subprogram body to which the aspect applies.
if not Found then
if Entity (Id) = Current_Scope
@@ -21927,7 +21927,7 @@ package body Sem_Prag is
Ent : Entity_Id;
procedure Declare_Shift_Operator (Nam : Name_Id);
- -- Insert declaration and pragma Instrinsic for named shift op
+ -- Insert declaration and pragma Intrinsic for named shift op
----------------------------
-- Declare_Shift_Operator --
@@ -25593,7 +25593,7 @@ package body Sem_Prag is
-- Note if the second argument of DETAILS is a local_NAME then the
-- second form is always understood. If the intention is to use
-- the fourth form, then you can write NAME & "" to force the
- -- intepretation as a static_string_EXPRESSION.
+ -- interpretation as a static_string_EXPRESSION.
when Pragma_Warnings => Warnings : declare
Reason : String_Id;
@@ -30822,7 +30822,7 @@ package body Sem_Prag is
Prag_Nam : constant Name_Id := Original_Aspect_Pragma_Name (Prag);
procedure Expression_Function_Error;
- -- Emit an error concerning pragma Prag that illegaly applies to an
+ -- Emit an error concerning pragma Prag that illegally applies to an
-- expression function.
-------------------------------
@@ -32138,7 +32138,7 @@ package body Sem_Prag is
end if;
-- The concurrent definition has a visible declaration list. Inspect it
- -- and relocate all canidate pragmas.
+ -- and relocate all candidate pragmas.
if Present (Def) and then Present (Visible_Declarations (Def)) then
Decl := First (Visible_Declarations (Def));
@@ -32638,7 +32638,7 @@ package body Sem_Prag is
end if;
end if;
- -- Some or all arguments may appear as component associatons
+ -- Some or all arguments may appear as component associations
if Present (Component_Associations (Args)) then
Arg := First (Component_Associations (Args));
diff --git a/gcc/ada/sem_prag.ads b/gcc/ada/sem_prag.ads
index e8a65ce50..4bd85bccf 100644
--- a/gcc/ada/sem_prag.ads
+++ b/gcc/ada/sem_prag.ads
@@ -527,7 +527,7 @@ package Sem_Prag is
procedure Relocate_Pragmas_To_Body
(Subp_Body : Node_Id;
Target_Body : Node_Id := Empty);
- -- Resocate all pragmas that follow and apply to subprogram body Subp_Body
+ -- Relocate all pragmas that follow and apply to subprogram body Subp_Body
-- to its own declaration list. Candidate pragmas are classified in table
-- Pragma_On_Body_Or_Stub_OK. If Target_Body is set, the pragma are moved
-- to the declarations of Target_Body. This formal should be set when
diff --git a/gcc/ada/sem_res.adb b/gcc/ada/sem_res.adb
index 44fc955de..7daeafc79 100644
--- a/gcc/ada/sem_res.adb
+++ b/gcc/ada/sem_res.adb
@@ -1091,7 +1091,7 @@ package body Sem_Res is
function Is_Raise_Statement (N : Node_Id) return Boolean is
begin
- -- A raise statement may be transfomed into a Raise_xxx_Error node
+ -- A raise statement may be transformed into a Raise_xxx_Error node
return
Nkind (N) = N_Raise_Statement
@@ -1726,7 +1726,7 @@ package body Sem_Res is
Pack := Entity (Prefix (Name (N)));
-- If this is a package renaming, get renamed entity, which will be
- -- the scope of the operands if operaton is type-correct.
+ -- the scope of the operands if operation is type-correct.
if Present (Renamed_Entity (Pack)) then
Pack := Renamed_Entity (Pack);
@@ -2782,7 +2782,7 @@ package body Sem_Res is
-- AI05-0139-2: Expression is overloaded because type has
-- implicit dereference. The context may be the one that
- -- requires implicit dereferemce.
+ -- requires implicit dereference.
elsif Has_Implicit_Dereference (Expr_Type) then
Set_Etype (N, Expr_Type);
@@ -4792,7 +4792,7 @@ package body Sem_Res is
Apply_Discriminant_Check (A, F_Typ);
-- For view conversions of a discriminated object, apply
- -- check to object itself, the conversion alreay has the
+ -- check to object itself, the conversion already has the
-- proper type.
if Nkind (A) = N_Type_Conversion
@@ -9190,7 +9190,7 @@ package body Sem_Res is
function Get_Literal (Expr : Node_Id) return Node_Id;
-- Expr is an expression with compile-time-known value. This returns the
- -- literal node that reprsents that value.
+ -- literal node that represents that value.
-------------------
-- OK_For_Static --
@@ -11372,7 +11372,7 @@ package body Sem_Res is
Orig : constant Node_Id := Original_Node (Parent (N));
begin
- -- Special handling of Asssert pragma
+ -- Special handling of Assert pragma
if Nkind (Orig) = N_Pragma
and then Pragma_Name (Orig) = Name_Assert
@@ -11401,7 +11401,7 @@ package body Sem_Res is
-- Note: Use Error_Msg_F here rather than Error_Msg_N.
-- The source location of the expression is not usually
-- the best choice here. For example, it gets located on
- -- the last AND keyword in a chain of boolean expressiond
+ -- the last AND keyword in a chain of boolean expressions
-- AND'ed together. It is best to put the message on the
-- first character of the assertion, which is the effect
-- of the First_Node call here.
@@ -14142,7 +14142,7 @@ package body Sem_Res is
-- (10.3/3).
-- Note that when the restriction No_Dynamic_Accessibility_Checks
- -- is in effect wei also want to proceed with the conversion check
+ -- is in effect we also want to proceed with the conversion check
-- described above.
elsif Type_Access_Level (Opnd_Type, Assoc_Ent => Operand)
diff --git a/gcc/ada/sem_type.adb b/gcc/ada/sem_type.adb
index 2fc82d140..43198223f 100644
--- a/gcc/ada/sem_type.adb
+++ b/gcc/ada/sem_type.adb
@@ -109,7 +109,7 @@ package body Sem_Type is
Equal => "=");
Last_Overloaded : Node_Id := Empty;
- -- Overloaded node after initializing a new collection of intepretation
+ -- Overloaded node after initializing a new collection of interpretation
-------------------------------------
-- Handling of Overload Resolution --
@@ -2326,7 +2326,7 @@ package body Sem_Type is
Act := Explicit_Actual_Parameter (Act);
end if;
- -- Use the actual and the type of its correponding formal to test
+ -- Use the actual and the type of its corresponding formal to test
-- for an abstract interpretation and return it when found.
Abstr_Op := Has_Abstract_Op (Act, Etype (Form_Parm));
diff --git a/gcc/ada/sem_util.adb b/gcc/ada/sem_util.adb
index 13ffb11f0..f6f403b73 100644
--- a/gcc/ada/sem_util.adb
+++ b/gcc/ada/sem_util.adb
@@ -5256,7 +5256,7 @@ package body Sem_Util is
begin
-- The lack of attribute 'Result or a post-state is classified as a
-- suspicious contract. Do not perform the check if the corresponding
- -- swich is not set.
+ -- switch is not set.
if not Warn_On_Suspicious_Contract then
return;
@@ -8706,7 +8706,7 @@ package body Sem_Util is
end if;
-- The inherited operation cannot be retrieved
- -- by name, even though it may remain accesssible
+ -- by name, even though it may remain accessible
-- in some cases involving subprogram bodies without
-- specs appearing in with_clauses..
@@ -15019,7 +15019,7 @@ package body Sem_Util is
when N_Simple_Return_Statement =>
return True;
- -- Only include one nexting level of function calls
+ -- Only include one nesting level of function calls
when N_Function_Call =>
if not In_Function_Call then
@@ -16499,7 +16499,7 @@ package body Sem_Util is
Expression (Item_2));
end;
- -- A confirming aspect for Implicit_Derenfence on a derived type
+ -- A confirming aspect for Implicit_Dereference on a derived type
-- has already been checked in Analyze_Aspect_Implicit_Dereference,
-- including the presence of renamed discriminants.
@@ -16851,7 +16851,7 @@ package body Sem_Util is
Param_Typ := Etype (Param);
end if;
- -- In the case where an Itype was created for a dispatchin call, the
+ -- In the case where an Itype was created for a dispatching call, the
-- procedure call has been rewritten. The actual may be an access to
-- interface type in which case it is the designated type that is the
-- controlling type.
@@ -17810,8 +17810,8 @@ package body Sem_Util is
begin
-- Detect a reference to a formal parameter of a specific tagged type
- -- whose related subprogram is subject to pragma Expresions_Visible with
- -- value "False".
+ -- whose related subprogram is subject to pragma Expressions_Visible
+ -- with value "False".
if Is_Entity_Name (N) and then Present (Entity (N)) then
Id := Entity (N);
@@ -17920,7 +17920,7 @@ package body Sem_Util is
-- A scalar type with an aspect Default_Value is fully initialized
- -- Note: Iniitalize/Normalize_Scalars also ensure full initialization
+ -- Note: Initialize/Normalize_Scalars also ensure full initialization
-- of a scalar type, but we don't take that into account here, since
-- we don't want these to affect warnings.
@@ -23636,7 +23636,7 @@ package body Sem_Util is
Calls_OK : Boolean) return Boolean
is
function Within_Suitable_Context (Ref : Node_Id) return Boolean;
- -- Deteremine whether variable reference Ref appears within a suitable
+ -- Determine whether variable reference Ref appears within a suitable
-- context that allows the creation of a marker.
-----------------------------
@@ -24185,7 +24185,7 @@ package body Sem_Util is
NCT_Tables_In_Use := True;
- -- It is not possible to sanity check the NCT_Pendint_Itypes table
+ -- It is not possible to sanity check the NCT_Pending_Itypes table
-- directly because a single node may act as the associated node for
-- multiple itypes.
@@ -30143,8 +30143,8 @@ package body Sem_Util is
return Unique_Name (S) & "__" & This_Name;
end if;
- -- For intances of generic subprograms use the name of the related
- -- instance and skip the scope of its wrapper package.
+ -- For instances of generic subprograms use the name of the
+ -- related instance and skip the scope of its wrapper package.
elsif Is_Wrapper_Package (S) then
pragma Assert (Scope (S) = Scope (Related_Instance (S)));
@@ -30242,7 +30242,7 @@ package body Sem_Util is
-- Start of processing for Unit_Is_Visible
begin
- -- The currrent unit is directly visible
+ -- The current unit is directly visible
if Curr = U then
return True;
@@ -30359,7 +30359,7 @@ package body Sem_Util is
function Validated_View (Typ : Entity_Id) return Entity_Id is
begin
- -- Scalar types can be always validated. In fast, switiching to the base
+ -- Scalar types can always be validated. In fact, switching to the base
-- type would drop the range constraints and force validation to use a
-- larger type than necessary.
@@ -31976,7 +31976,7 @@ package body Sem_Util is
-- test for cases 2 and 3:
-- A subexpression of the expression of an
-- array_component_association or of
- -- a container_element_associatiation.
+ -- a container_element_association.
if Nkind (Par) = N_Component_Association
and then Trailer = Expression (Par)
diff --git a/gcc/ada/sem_util.ads b/gcc/ada/sem_util.ads
index dde5b27fa..c246b323f 100644
--- a/gcc/ada/sem_util.ads
+++ b/gcc/ada/sem_util.ads
@@ -1539,7 +1539,7 @@ package Sem_Util is
subtype Static_Accessibility_Level_Kind
is Accessibility_Level_Kind range Object_Decl_Level
.. Zero_On_Dynamic_Level;
- -- Restrict the reange of Accessibility_Level_Kind to be non-dynamic for
+ -- Restrict the range of Accessibility_Level_Kind to be non-dynamic for
-- use in the static version of Accessibility_Level below.
function Static_Accessibility_Level
@@ -2525,7 +2525,7 @@ package Sem_Util is
-- Assignment_OK is checked, and True is returned for any tree thus marked.
-- Use_Original_Node is used to perform the test on Original_Node (N). By
-- default is True since this routine is commonly invoked as part of the
- -- semantic analysis and it must not be disturbed by the rewriten nodes.
+ -- semantic analysis and it must not be disturbed by the rewritten nodes.
function Is_View_Conversion (N : Node_Id) return Boolean;
-- Returns True if N is a type_conversion whose operand is the name of an
@@ -3441,7 +3441,7 @@ package Sem_Util is
function Unit_Is_Visible (U : Entity_Id) return Boolean;
-- Determine whether a compilation unit is visible in the current context,
-- because there is a with_clause that makes the unit available. Used to
- -- provide better messages on common visiblity errors on operators.
+ -- provide better messages on common visibility errors on operators.
function Universal_Interpretation (Opnd : Node_Id) return Entity_Id;
-- Yields Universal_Integer or Universal_Real if this is a candidate
diff --git a/gcc/ada/sinfo-cn.adb b/gcc/ada/sinfo-cn.adb
index 73ecbb170..ca4efe13e 100644
--- a/gcc/ada/sinfo-cn.adb
+++ b/gcc/ada/sinfo-cn.adb
@@ -28,7 +28,7 @@
-- field. Since Nkind functions logically in a manner similar to a variant
-- record discriminant part, such alterations cannot be permitted in a
-- general manner, but in some specific cases, the fields of related nodes
--- have been deliberately layed out in a manner that permits such alteration.
+-- have been deliberately laid out in a manner that permits such alteration.
with Atree; use Atree;
with Snames; use Snames;
diff --git a/gcc/ada/sinfo-utils.ads b/gcc/ada/sinfo-utils.ads
index 78b2d0ebd..312a051c0 100644
--- a/gcc/ada/sinfo-utils.ads
+++ b/gcc/ada/sinfo-utils.ads
@@ -105,8 +105,8 @@ package Sinfo.Utils is
generic
with function Transform (U : Union_Id) return Union_Id;
procedure Walk_Sinfo_Fields_Pairwise (N1, N2 : Node_Id);
- -- Walks the Sinfo fields of N1 and N2 pairwise, calls Tranform on each N2
- -- field, copying the resut into the corresponding field of N1. The Nkinds
+ -- Walks the Sinfo fields of N1 and N2 pairwise, calls Transform on each N2
+ -- field, copying the result into the corresponding field of N1. The Nkinds
-- must match. Link is skipped.
-------------------------------------------
diff --git a/gcc/ada/sinfo.ads b/gcc/ada/sinfo.ads
index ddac1c928..4a8f1cadf 100644
--- a/gcc/ada/sinfo.ads
+++ b/gcc/ada/sinfo.ads
@@ -522,7 +522,7 @@ package Sinfo is
-- function.
--
-- If the mode of a Ghost region is Ignore, any newly created nodes as well
- -- as source entities are marked as ignored Ghost. In additon, the marking
+ -- as source entities are marked as ignored Ghost. In addition, the marking
-- process signals all enclosing scopes that an ignored Ghost node resides
-- within. The compilation unit where the node resides is also added to an
-- auxiliary table for post processing.
@@ -623,7 +623,7 @@ package Sinfo is
-- specified by means of an aspect or a pragma.
-- The following entities may be subject to a SPARK mode. Entities marked
- -- with * may possess two differente SPARK modes.
+ -- with * may possess two different SPARK modes.
-- E_Entry
-- E_Entry_Family
@@ -1398,7 +1398,7 @@ package Sinfo is
-- Has_Dereference_Action
-- This flag is present in N_Explicit_Dereference nodes. It is set to
- -- indicate that the expansion has aready produced a call to primitive
+ -- indicate that the expansion has already produced a call to primitive
-- Dereference of a System.Checked_Pools.Checked_Pool implementation.
-- Such dereference actions are produced for debugging purposes.
@@ -1549,7 +1549,7 @@ package Sinfo is
-- Is_Analyzed_Pragma
-- Present in N_Pragma nodes. Set for delayed pragmas that require a two
- -- step analysis. The initial step is peformed by routine Analyze_Pragma
+ -- step analysis. The initial step is performed by routine Analyze_Pragma
-- and verifies the overall legality of the pragma. The second step takes
-- place in the various Analyze_xxx_In_Decl_Part routines which perform
-- full analysis. The flag prevents the reanalysis of a delayed pragma.
@@ -1641,8 +1641,9 @@ package Sinfo is
-- variable reference marker
--
-- Set when the node appears within a context which allows the generation
- -- of run-time ABE checks. This flag detemines whether the ABE Processing
- -- phase generates conditional ABE checks and guaranteed ABE failures.
+ -- of run-time ABE checks. This flag determines whether the ABE
+ -- Processing phase generates conditional ABE checks and guaranteed ABE
+ -- failures.
-- Is_Elaboration_Code
-- Present in assignment statements. Set for an assignment which updates
@@ -4207,7 +4208,7 @@ package Sinfo is
-- Etype
---------------------------------
- -- 3.4.5 Comtainer_Aggregates --
+ -- 3.4.5 Container_Aggregates --
---------------------------------
-- N_Iterated_Element_Association
@@ -5561,7 +5562,7 @@ package Sinfo is
-- The term "return statement" is defined in 6.5 to mean either a
-- SIMPLE_RETURN_STATEMENT or an EXTENDED_RETURN_STATEMENT. We avoid
- -- the use of this term, since it used to mean someting else in earlier
+ -- the use of this term, since it used to mean something else in earlier
-- versions of Ada.
-- N_Simple_Return_Statement
@@ -7798,7 +7799,7 @@ package Sinfo is
-- ABE mechanism, regardless of whether expansion took place.
-- * The call marker captures the target of the related call along
- -- with other attributes which are either unavailabe or expensive
+ -- with other attributes which are either unavailable or expensive
-- to recompute once analysis, resolution, and expansion are over.
-- * The call marker aids the ABE Processing phase by signaling the
diff --git a/gcc/ada/sinput.ads b/gcc/ada/sinput.ads
index af2fec74c..e594aa94f 100644
--- a/gcc/ada/sinput.ads
+++ b/gcc/ada/sinput.ads
@@ -477,7 +477,7 @@ package Sinput is
-- end lines. One user raised the issue as a result of some experiments,
-- but no one has ever submitted a program encoded this way, in any of
-- the possible encodings. It seems that even when using wide character
- -- codes extensively, the normal approach is to use standard line enders
+ -- codes extensively, the normal approach is to use standard line endings
-- (LF or CR/LF). So the failure to recognize NEL in this mode seems to
-- have no practical downside.
diff --git a/gcc/ada/styleg.adb b/gcc/ada/styleg.adb
index 6a785b583..9c3496517 100644
--- a/gcc/ada/styleg.adb
+++ b/gcc/ada/styleg.adb
@@ -375,7 +375,7 @@ package body Styleg is
-- indentation checking is active (Style_Check_Indentation non-zero).
-- Either the start column must be a multiple of this indentation,
-- or the indentation must match that of the next non-blank line,
- -- or must match the indentation of the immediately preciding line
+ -- or must match the indentation of the immediately preceding line
-- if it is non-blank.
procedure Check_Comment is
diff --git a/gcc/ada/switch-b.adb b/gcc/ada/switch-b.adb
index 10feb2348..49fe8a366 100644
--- a/gcc/ada/switch-b.adb
+++ b/gcc/ada/switch-b.adb
@@ -139,7 +139,7 @@ package body Switch.B is
-- . digit
-- _ digit
--
- -- Note that the processing of switch -d aleady takes care of the
+ -- Note that the processing of switch -d already takes care of the
-- case where the first flag is a digit (default stack size).
if C in '1' .. '9' or else
diff --git a/gcc/ada/switch-c.adb b/gcc/ada/switch-c.adb
index feac8bdaf..4e57ae54e 100644
--- a/gcc/ada/switch-c.adb
+++ b/gcc/ada/switch-c.adb
@@ -158,7 +158,7 @@ package body Switch.C is
-- the case branch.
Underscore : Boolean;
- -- This flag is set upon encountering an underscode in a debug switch
+ -- This flag is set upon encountering an underscore in a debug switch
begin
Ptr := Switch_Chars'First;
@@ -970,7 +970,7 @@ package body Switch.C is
Debug_Flag_Dot_UU := True;
Debug_Flag_Dot_Y := True;
- -- Relaxatons to the legacy ABE mechanism
+ -- Relaxations to the legacy ABE mechanism
if Legacy_Elaboration_Checks then
null;
diff --git a/gcc/ada/treepr.adb b/gcc/ada/treepr.adb
index 32f6e81d1..2dbf34481 100644
--- a/gcc/ada/treepr.adb
+++ b/gcc/ada/treepr.adb
@@ -87,7 +87,7 @@ package body Treepr is
procedure Destroy (Value : in out Nat) is null;
pragma Annotate (CodePeer, False_Positive, "unassigned parameter",
"in out parameter is required to instantiate generic");
- -- Dummy routine for destroing hashed values
+ -- Dummy routine for destroying hashed values
package Serial_Numbers is new Dynamic_Hash_Tables
(Key_Type => Int,
diff --git a/gcc/ada/uintp.adb b/gcc/ada/uintp.adb
index 921c1d279..e06112aed 100644
--- a/gcc/ada/uintp.adb
+++ b/gcc/ada/uintp.adb
@@ -201,7 +201,7 @@ package body Uintp is
(N : Valid_Uint; Modulo : Valid_Uint) return Valid_Uint with Unreferenced;
-- Compute the multiplicative inverse of N in modular arithmetics with the
-- given Modulo (uses Euclid's algorithm). Note: the call is considered
- -- to be erroneous (and the behavior is undefined) if n is not invertible.
+ -- to be erroneous (and the behavior is undefined) if N is not invertible.
------------
-- Direct --
diff --git a/gcc/ada/warnsw.ads b/gcc/ada/warnsw.ads
index 8fe5ef7f8..fc1cadfc0 100644
--- a/gcc/ada/warnsw.ads
+++ b/gcc/ada/warnsw.ads
@@ -156,7 +156,7 @@ package Warnsw is
end record;
function Save_Warnings return Warning_Record;
- -- Returns current settingh of warnings
+ -- Returns current settings of warnings
procedure Restore_Warnings (W : Warning_Record);
-- Restores current settings of warning flags from W
--
Jesper Quorning
^ permalink raw reply [flat|nested] 2+ messages in thread
* Re: [Ada] Fix typos in comments
2022-07-16 20:26 [Ada] Fix typos in comments Jesper Quorning
@ 2022-07-18 7:28 ` Arnaud Charlet
0 siblings, 0 replies; 2+ messages in thread
From: Arnaud Charlet @ 2022-07-18 7:28 UTC (permalink / raw)
To: Jesper Quorning; +Cc: gcc-patches
OK, thanks.
^ permalink raw reply [flat|nested] 2+ messages in thread
end of thread, other threads:[~2022-07-18 7:28 UTC | newest]
Thread overview: 2+ messages (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2022-07-16 20:26 [Ada] Fix typos in comments Jesper Quorning
2022-07-18 7:28 ` Arnaud Charlet
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).