public inbox for gcc-patches@gcc.gnu.org
 help / color / mirror / Atom feed
* [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).