From 587af00955c02040f1c552f7b0381f4ec4f1c3f9 Mon Sep 17 00:00:00 2001 From: Piotr Trojanek Date: Fri, 7 Oct 2022 12:42:34 +0200 Subject: ada: Fix various typos in node and entity description comments Fix typos in units that describe GNAT abstract syntax tree. gcc/ada/ * einfo.ads: Fix typos in comments; refill as necessary. * sinfo.ads: Likewise. --- gcc/ada/einfo.ads | 13 +++++++------ gcc/ada/sinfo.ads | 13 +++++++------ 2 files changed, 14 insertions(+), 12 deletions(-) (limited to 'gcc') diff --git a/gcc/ada/einfo.ads b/gcc/ada/einfo.ads index e350f13..2a1a406 100644 --- a/gcc/ada/einfo.ads +++ b/gcc/ada/einfo.ads @@ -874,7 +874,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. -- @@ -2570,7 +2570,7 @@ package Einfo is -- Is_Elaboration_Checks_OK_Id -- Defined in elaboration targets (see terminology in Sem_Elab). Set when --- the target appears in a region which is subject to elabled elaboration +-- the target appears in a region which is subject to enabled elaboration -- checks. Such targets are allowed to generate run-time conditional ABE -- checks or guaranteed ABE failures. @@ -3114,7 +3114,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 @@ -3228,7 +3228,7 @@ package Einfo is -- Defined in all entities, set only for a variable or constant for -- which the Renamed_Object field is non-empty and for which the -- renaming is handled by the front end, by macro substitution of --- a copy of the (evaluated) name tree whereever the variable is used. +-- a copy of the (evaluated) name tree wherever the variable is used. -- Is_Return_Object -- Defined in all object entities. True if the object is the return @@ -3964,7 +3964,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 @@ -4058,7 +4059,7 @@ package Einfo is -- Prev_Entity -- Defined in all entities. The entities of a scope are chained, and this --- field is used as a backward pointer for this entity list - effectivly +-- field is used as a backward pointer for this entity list - effectively -- making the entity chain doubly-linked. -- Primitive_Operations (synthesized) diff --git a/gcc/ada/sinfo.ads b/gcc/ada/sinfo.ads index abea84c..c41b0f2 100644 --- a/gcc/ada/sinfo.ads +++ b/gcc/ada/sinfo.ads @@ -629,7 +629,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 @@ -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 @@ -5570,7 +5571,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 @@ -7815,7 +7816,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 -- cgit v1.1