diff options
| author | Arnaud Charlet <charlet@gcc.gnu.org> | 2010-10-19 12:30:18 +0200 |
|---|---|---|
| committer | Arnaud Charlet <charlet@gcc.gnu.org> | 2010-10-19 12:30:18 +0200 |
| commit | 4adf3c50f1398e6efc4ab6f5e061e2ecea145855 (patch) | |
| tree | 68fe3d1d6a7c9c7ad653e6ddc50449d6d8b5092f /gcc/ada/par-ch4.adb | |
| parent | e2f289f3c75abb5716f15cd7d3e0d78b0439f952 (diff) | |
| download | gcc-4adf3c50f1398e6efc4ab6f5e061e2ecea145855.zip gcc-4adf3c50f1398e6efc4ab6f5e061e2ecea145855.tar.gz gcc-4adf3c50f1398e6efc4ab6f5e061e2ecea145855.tar.bz2 | |
[multiple changes]
2010-10-19 Javier Miranda <miranda@adacore.com>
* par-ch4.adb: Update documentation of Ada 2012 syntax rules for
membership test.
2010-10-19 Bob Duff <duff@adacore.com>
* sem_attr.adb (Eval_Attribute): Implement Max_Alignment_For_Allocation
attribute.
* exp_attr.adb (Expand_N_Attribute_Reference): Add
Attribute_Max_Alignment_For_Allocation to the case statement.
* snames.ads-tmpl (Name_Max_Alignment_For_Allocation,
Attribute_Max_Alignment_For_Allocation): New attribute name.
2010-10-19 Ed Schonberg <schonberg@adacore.com>
* sem_ch3.adb (OK_For_Limited_Init_In_05): a call to an access to
parameterless function appears syntactically as an explicit dereference.
2010-10-19 Thomas Quinot <quinot@adacore.com>
* sem_ch8.adb, sem_ch12.adb, opt.ads, sem_ch6.adb, sem_res.adb,
i-cexten.ads, exp_disp.adb, exp_ch4.adb, exp_ch9.adb: Minor reformatting
2010-10-19 Thomas Quinot <quinot@adacore.com>
* sem_util.adb (Collect_Primitive_Operations): A function with an
anonymous access result designating T is a primitive operation of T.
From-SVN: r165692
Diffstat (limited to 'gcc/ada/par-ch4.adb')
| -rw-r--r-- | gcc/ada/par-ch4.adb | 6 |
1 files changed, 4 insertions, 2 deletions
diff --git a/gcc/ada/par-ch4.adb b/gcc/ada/par-ch4.adb index bcffe80..5069fd1 100644 --- a/gcc/ada/par-ch4.adb +++ b/gcc/ada/par-ch4.adb @@ -1739,8 +1739,7 @@ package body Ch4 is -- RELATION ::= -- SIMPLE_EXPRESSION [RELATIONAL_OPERATOR SIMPLE_EXPRESSION] - -- | SIMPLE_EXPRESSION [not] in RANGE - -- | SIMPLE_EXPRESSION [not] in SUBTYPE_MARK + -- | SIMPLE_EXPRESSION [not] in MEMBERSHIP_CHOICE_LIST -- On return, Expr_Form indicates the categorization of the expression @@ -2882,6 +2881,9 @@ package body Ch4 is -- P_Membership_Test -- ----------------------- + -- MEMBERSHIP_CHOICE_LIST ::= MEMBERHIP_CHOICE {'|' MEMBERSHIP_CHOICE} + -- MEMBERSHIP_CHOICE ::= CHOICE_EXPRESSION | range | subtype_mark + procedure P_Membership_Test (N : Node_Id) is Alt : constant Node_Id := P_Range_Or_Subtype_Mark |