diff options
| author | Robert Dewar <dewar@adacore.com> | 2010-10-22 13:45:45 +0000 |
|---|---|---|
| committer | Arnaud Charlet <charlet@gcc.gnu.org> | 2010-10-22 15:45:45 +0200 |
| commit | 45010db959f848053fc5e1e08f8e6237ce8beafb (patch) | |
| tree | 949aff9501b1ce8cdbb3ff3912c63c4a3dcc5f33 /gcc/ada/sinfo.ads | |
| parent | 57416708a748d64486037509248f4a35e2d033cc (diff) | |
| download | gcc-45010db959f848053fc5e1e08f8e6237ce8beafb.zip gcc-45010db959f848053fc5e1e08f8e6237ce8beafb.tar.gz gcc-45010db959f848053fc5e1e08f8e6237ce8beafb.tar.bz2 | |
sem_ch4.adb: Minor reformatting.
2010-10-22 Robert Dewar <dewar@adacore.com>
* sem_ch4.adb: Minor reformatting.
* sinfo.ads: Minor comment fixes for Ada 2012 syntax.
From-SVN: r165826
Diffstat (limited to 'gcc/ada/sinfo.ads')
| -rw-r--r-- | gcc/ada/sinfo.ads | 31 |
1 files changed, 16 insertions, 15 deletions
diff --git a/gcc/ada/sinfo.ads b/gcc/ada/sinfo.ads index 91897b1..d306afe 100644 --- a/gcc/ada/sinfo.ads +++ b/gcc/ada/sinfo.ads @@ -1941,7 +1941,7 @@ package Sinfo is -- Note: the value of an integer literal node created by the front end -- is never outside the range of values of the base type. However, it - -- can be the case that the value is outside the range of the + -- can be the case that the created value is outside the range of the -- particular subtype. This happens in the case of integer overflows -- with checks suppressed. @@ -3633,8 +3633,13 @@ package Sinfo is --------------------------- -- RELATION ::= - -- SIMPLE_EXPRESSION [not] in RANGE - -- | SIMPLE_EXPRESSION [not] in SUBTYPE_MARK + -- SIMPLE_EXPRESSION [not] in MEMBERSHIP_CHOICE_LIST + + -- MEMBERSHIP_CHOICE_LIST ::= + -- MEMBERSHIP_CHOICE {'|' MEMBERSHIP CHOICE} + + -- MEMBERSHIP_CHOICE ::= + -- CHOICE_EXPRESSION | RANGE | SUBTYPE_MARK -- Note: although the grammar above allows only a range or a subtype -- mark, the parser in fact will accept any simple expression in place @@ -3642,19 +3647,15 @@ package Sinfo is -- to deal with, and diagnose a simple expression other than a name for -- the right operand. This simplifies error recovery in the parser. - -- If extensions are enabled, the grammar is as follows: - - -- RELATION ::= - -- SIMPLE_EXPRESSION [not] in SET_ALTERNATIVE {| SET_ALTERNATIVE} - - -- SET_ALTERNATIVE ::= RANGE | SUBTYPE_MARK + -- The Alternatives field below is present only if there is more + -- than one Membership_Choice present (which is legitimate only in + -- Ada 2012 mode) in which case Right_Opnd is Empty, and Alternatives + -- contains the list of choices. In the tree passed to the back end, + -- Alternatives is always No_List, and Right_Opnd is set (i.e. the + -- expansion circuitry expands out the complex set membership case + -- using simple membership operations). - -- The Alternatives field below is present only if there is more than - -- one Set_Alternative present, in which case Right_Opnd is set to - -- Empty, and Alternatives contains the list of alternatives. In the - -- tree passed to the back end, Alternatives is always No_List, and - -- Right_Opnd is set (i.e. the expansion circuitry expands out the - -- complex set membership case using simple membership operations). + -- Should we rename Alternatives here to Membership_Choices ??? -- N_In -- Sloc points to IN |