diff options
| author | Arnaud Charlet <charlet@gcc.gnu.org> | 2010-06-22 14:42:24 +0200 |
|---|---|---|
| committer | Arnaud Charlet <charlet@gcc.gnu.org> | 2010-06-22 14:42:24 +0200 |
| commit | e86a3a7e6ffb78b799a3a92d958e1afd2237adb1 (patch) | |
| tree | 50900b84fb5e659aac25cd84920e07cfcab97f6d /gcc/ada/scos.ads | |
| parent | b086849e7c7d11523c5f99695e6f7e949019c263 (diff) | |
| download | gcc-e86a3a7e6ffb78b799a3a92d958e1afd2237adb1.zip gcc-e86a3a7e6ffb78b799a3a92d958e1afd2237adb1.tar.gz gcc-e86a3a7e6ffb78b799a3a92d958e1afd2237adb1.tar.bz2 | |
[multiple changes]
2010-06-22 Robert Dewar <dewar@adacore.com>
* errout.adb (Unwind_Internal_Type): Improve handling of First_Subtype
test to catch more cases where first subtype is the results we want.
* sem_res.adb (Make_Call_Into_Operator): Don't go to First_Subtype in
error case, since Errout will now handle this correctly.
* gcc-interface/Make-lang.in: Add Sem_Aux to list of GNATBIND objects.
Update dependencies.
2010-06-22 Arnaud Charlet <charlet@adacore.com>
* exp_ch4.adb (Expand_Allocator_Expression): Set Related_Node properly
when calling Make_Temporary.
2010-06-22 Ed Schonberg <schonberg@adacore.com>
* sem_ch3.adb (Access_Subprogram_Declaration): An anonymous access to
subprogram can be associated with an entry body.
2010-06-22 Robert Dewar <dewar@adacore.com>
* scos.ads: Add note on membership test handling.
2010-06-22 Vincent Celier <celier@adacore.com>
* projects.texi: Minor spelling fixes.
Minor reformatting.
2010-06-22 Paul Hilfinger <hilfinger@adacore.com>
* s-rannum.adb: Correct off-by-one error in Extract_Value.
From-SVN: r161171
Diffstat (limited to 'gcc/ada/scos.ads')
| -rw-r--r-- | gcc/ada/scos.ads | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/gcc/ada/scos.ads b/gcc/ada/scos.ads index ce865d7..7111287 100644 --- a/gcc/ada/scos.ads +++ b/gcc/ada/scos.ads @@ -272,6 +272,10 @@ package SCOs is -- enclosing statement. The SCO line for a nested decision always occurs -- after the line for the enclosing decision. + -- Note that membership tests are considered to be a single simple + -- condition, and that is true even if the Ada 2005 set membership + -- form is used, e.g. A in (2,7,11.15). + -- Case Expressions -- For case statements, we rely on statement coverage to make sure that |