diff options
author | charlet <charlet@138bc75d-0d04-0410-961f-82ee72b054a4> | 2009-04-20 08:44:37 +0000 |
---|---|---|
committer | charlet <charlet@138bc75d-0d04-0410-961f-82ee72b054a4> | 2009-04-20 08:44:37 +0000 |
commit | 07c0e74b0651329054d64a11a878977e5ea2c7ca (patch) | |
tree | b98415d8ee56da393fa95808ab396d529d5d84e8 /gcc/ada/sinfo.ads | |
parent | 79f26f3c20868b666ca3d388880ca803cbee8234 (diff) | |
download | gcc-07c0e74b0651329054d64a11a878977e5ea2c7ca.tar.gz |
Update comments.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@146372 138bc75d-0d04-0410-961f-82ee72b054a4
Diffstat (limited to 'gcc/ada/sinfo.ads')
-rw-r--r-- | gcc/ada/sinfo.ads | 33 |
1 files changed, 15 insertions, 18 deletions
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 |