diff options
| author | Arnaud Charlet <charlet@gcc.gnu.org> | 2010-10-25 16:39:59 +0200 |
|---|---|---|
| committer | Arnaud Charlet <charlet@gcc.gnu.org> | 2010-10-25 16:39:59 +0200 |
| commit | 66150d01351e5ca53999297629516ea2d5bcedb1 (patch) | |
| tree | 2c6f0c9dfac31c5f6cbdac0e6b0f7f6d628a45b9 /gcc/ada/sem_case.adb | |
| parent | 1e194575d06f78b82061218f6405c5e8a21ce085 (diff) | |
| download | gcc-66150d01351e5ca53999297629516ea2d5bcedb1.tar.gz | |
[multiple changes]
2010-10-25 Robert Dewar <dewar@adacore.com>
* sem_warn.adb, einfo.ads, exp_ch4.adb: Minor comment fix
* sem_case.adb: Comment clarification for loops through false
predicates.
* sem_util.adb: Minor reformatting
(Check_Order_Dependence): Fix bad double blank in error message
2010-10-25 Ed Schonberg <schonberg@adacore.com>
* sem_ch4.adb (Analyze_Membership_Op): in Ada_2012 a membership
operation can have a single alternative that is a value of the type.
Rewrite operation as an equality test.
From-SVN: r165918
Diffstat (limited to 'gcc/ada/sem_case.adb')
| -rw-r--r-- | gcc/ada/sem_case.adb | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/gcc/ada/sem_case.adb b/gcc/ada/sem_case.adb index fe97c6bb3ca..fd601c5672b 100644 --- a/gcc/ada/sem_case.adb +++ b/gcc/ada/sem_case.adb @@ -878,6 +878,11 @@ package body Sem_Case is C : Node_Id; begin + -- Loop through entries in predicate list, + -- converting to choices. Note that if the + -- list is empty, corresponding to a False + -- predicate, then no choices are inserted. + P := First (Static_Predicate (E)); while Present (P) loop C := New_Copy (P); |