diff options
| -rw-r--r-- | gcc/ada/par-prag.adb | 1 | ||||
| -rw-r--r-- | gcc/ada/sinfo.ads | 33 |
2 files changed, 15 insertions, 19 deletions
diff --git a/gcc/ada/par-prag.adb b/gcc/ada/par-prag.adb index 5f6ed14b766..7ca24703507 100644 --- a/gcc/ada/par-prag.adb +++ b/gcc/ada/par-prag.adb @@ -264,7 +264,6 @@ begin if Present (Pragma_Argument_Associations (Pragma_Node)) then Arg_Node := Arg1; - while Arg_Node /= Empty loop Arg_Count := Arg_Count + 1; diff --git a/gcc/ada/sinfo.ads b/gcc/ada/sinfo.ads index b87c917c44d..730419ae781 100644 --- a/gcc/ada/sinfo.ads +++ b/gcc/ada/sinfo.ads @@ -6562,11 +6562,10 @@ package Sinfo is -- in the declarations of the innermost enclosing block as specified -- in RM section 5.1 (3). - -- The Defining_Identifier is the actual identifier for the - -- statement identifier. Note that the occurrence of the label - -- is a reference, NOT the defining occurrence. The defining - -- occurrence occurs at the head of the innermost enclosing - -- block, and is represented by this node. + -- The Defining_Identifier is the actual identifier for the statement + -- identifier. Note that the occurrence of the label is a reference, NOT + -- the defining occurrence. The defining occurrence occurs at the head + -- of the innermost enclosing block, and is represented by this node. -- Note: from the grammar, this might better be called an implicit -- statement identifier declaration, but the term we choose seems @@ -6574,11 +6573,10 @@ package Sinfo is -- called labels in both cases (i.e. when used in labels, and when -- used as the identifiers of blocks and loops). - -- Note: although this is logically a semantic node, since it does - -- not correspond directly to a source syntax construction, these - -- nodes are actually created by the parser in a post pass done just - -- after parsing is complete, before semantic analysis is started (see - -- the Par.Labl subunit in file par-labl.adb). + -- Note: although this is logically a semantic node, since it does not + -- correspond directly to a source syntax construction, these nodes are + -- actually created by the parser in a post pass done just after parsing + -- is complete, before semantic analysis is started (see Par.Labl). -- Sprint syntax: labelname : label; @@ -6594,19 +6592,18 @@ package Sinfo is -- Itype_Reference -- --------------------- - -- This node is used to create a reference to an Itype. The only - -- purpose is to make sure that the Itype is defined if this is the - -- first reference. + -- This node is used to create a reference to an Itype. The only purpose + -- is to make sure the Itype is defined if this is the first reference. -- A typical use of this node is when an Itype is to be referenced in - -- two branches of an if statement. In this case it is important that - -- the first use of the Itype not be inside the conditional, since - -- then it might not be defined if the wrong branch of the if is - -- taken in the case where the definition generates elaboration code. + -- two branches of an IF statement. In this case it is important that + -- the first use of the Itype not be inside the conditional, since then + -- it might not be defined if the other branch of the IF is taken, in + -- the case where the definition generates elaboration code. -- The Itype field points to the referenced Itype - -- sprint syntax: reference itype-name + -- Sprint syntax: reference itype-name -- N_Itype_Reference -- Sloc points to the node generating the reference |