diff options
| author | Arnaud Charlet <charlet@gcc.gnu.org> | 2010-10-22 12:00:18 +0200 |
|---|---|---|
| committer | Arnaud Charlet <charlet@gcc.gnu.org> | 2010-10-22 12:00:18 +0200 |
| commit | c56a9ba447f72fccf12291589aec165cb99a65d2 (patch) | |
| tree | 012fdf002a8460dafcfb42b7a4799ec65a6268f9 /gcc/ada/sinfo.ads | |
| parent | 57d62f0cb7346e2a76e7e70c3b3726d0140ec662 (diff) | |
| download | gcc-c56a9ba447f72fccf12291589aec165cb99a65d2.tar.gz | |
[multiple changes]
2010-10-22 Thomas Quinot <quinot@adacore.com>
* exp_ch5.adb, sem_ch5.adb, sinfo.ads, snames.ads-tmpl, par-ch5.adb:
Minor reformatting.
2010-10-22 Geert Bosch <bosch@adacore.com>
* stand.ads: Fix typo in comment.
2010-10-22 Ed Schonberg <schonberg@adacore.com>
* sem_ch6.adb: Enable in-out parameter for functions.
2010-10-22 Ed Schonberg <schonberg@adacore.com>
* sem_ch4.adb (Analyze_Quantified_Expression): Handle properly loop
iterators that are transformed into container iterators after analysis.
* exp_ch4.adb (Expand_N_Quantified_Expression): Handle properly both
iterator forms before rewriting as a loop.
2010-10-22 Brett Porter <porter@adacore.com>
* a-locale.adb, a-locale.ads, locales.c: New files.
* Makefile.rtl: Add a-locale
* gcc-interface/Makefile.in: Add locales.c
From-SVN: r165812
Diffstat (limited to 'gcc/ada/sinfo.ads')
| -rw-r--r-- | gcc/ada/sinfo.ads | 25 |
1 files changed, 15 insertions, 10 deletions
diff --git a/gcc/ada/sinfo.ads b/gcc/ada/sinfo.ads index 2b145cca14c..3608ad88dcf 100644 --- a/gcc/ada/sinfo.ads +++ b/gcc/ada/sinfo.ads @@ -1545,7 +1545,7 @@ package Sinfo is -- Initialize_Scalars and Normalize_Scalars. -- Of_Present (Flag16) - -- Present in N_Iterastor_Specification nodes, to mark the Ada2012 iterator + -- Present in N_Iterator_Specification nodes, to mark the Ada 2012 iterator -- form over arrays and containers. -- Original_Discriminant (Node2-Sem) @@ -3826,14 +3826,17 @@ package Sinfo is --------------------------------- -- QUANTIFIED_EXPRESSION ::= - -- for QUANTIFIER LOOP_PARAMETER_SPECIFICATION => PREDICATE | - -- for QUANTIFIER ITERATOR_SPECIFICATION => PREDICATE + -- for QUANTIFIER LOOP_PARAMETER_SPECIFICATION => PREDICATE + -- | for QUANTIFIER ITERATOR_SPECIFICATION => PREDICATE -- -- QUANTIFIER ::= all | some + -- At most one of (Iterator_Specification, Loop_Parameter_Specification) + -- is present at a time, in which case the other one is empty. + -- N_Quantified_Expression -- Sloc points to FOR - -- Iterator_Specification (Node2) (set to Empty if not Present) + -- Iterator_Specification (Node2) -- Loop_Parameter_Specification (Node4) -- Condition (Node1) -- All_Present (Flag15) @@ -4169,11 +4172,13 @@ package Sinfo is -------------------------- -- ITERATION_SCHEME ::= - -- while CONDITION | for LOOP_PARAMETER_SPECIFICATION | - -- for ITERATOR_SPECIFICATION + -- while CONDITION + -- | for LOOP_PARAMETER_SPECIFICATION + -- | for ITERATOR_SPECIFICATION - -- Only one of (Iterator_Specification, Loop_Parameter_Specification) - -- is present at a time, the other one is empty. + -- At most one of (Iterator_Specification, Loop_Parameter_Specification) + -- is present at a time, in which case the other one is empty. Both are + -- empty in the case of a WHILE loop. -- Gigi restriction: This expander ensures that the type of the -- Condition field is always Standard.Boolean, even if the type @@ -4183,7 +4188,7 @@ package Sinfo is -- Sloc points to WHILE or FOR -- Condition (Node1) (set to Empty if FOR case) -- Condition_Actions (List3-Sem) - -- Iterator_Specification (Node2) (set to Empty if not Present) + -- Iterator_Specification (Node2) (set to Empty if WHILE case) -- Loop_Parameter_Specification (Node4) (set to Empty if WHILE case) --------------------------------------- @@ -4205,7 +4210,7 @@ package Sinfo is -- ITERATOR_SPECIFICATION ::= -- DEFINING_IDENTIFIER in [reverse] NAME - -- DEFINING_IDENTIFIER [: SUBTYPE_INDICATION] of [reverse] NAME + -- | DEFINING_IDENTIFIER [: SUBTYPE_INDICATION] of [reverse] NAME -- N_Iterator_Specification -- Sloc points to defining identifier |