diff options
| author | charlet <charlet@138bc75d-0d04-0410-961f-82ee72b054a4> | 2010-06-22 12:42:24 +0000 |
|---|---|---|
| committer | charlet <charlet@138bc75d-0d04-0410-961f-82ee72b054a4> | 2010-06-22 12:42:24 +0000 |
| commit | 55578aa35970529bbb271f9d537c8b77e37f52fc (patch) | |
| tree | 50900b84fb5e659aac25cd84920e07cfcab97f6d /gcc/ada/scos.ads | |
| parent | 10f7f083d5c72bdcc0c54d655458c1f00fc68818 (diff) | |
| download | gcc-55578aa35970529bbb271f9d537c8b77e37f52fc.tar.gz | |
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.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@161171 138bc75d-0d04-0410-961f-82ee72b054a4
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 ce865d77587..7111287c0a6 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 |