diff options
| author | Arnaud Charlet <charlet@gcc.gnu.org> | 2011-12-21 14:45:42 +0100 |
|---|---|---|
| committer | Arnaud Charlet <charlet@gcc.gnu.org> | 2011-12-21 14:45:42 +0100 |
| commit | 1c1631789db78470153d892bb17be385ff82088b (patch) | |
| tree | fd2ad08f774a128f3ed7555a2449a56fca998016 /gcc/ada/ChangeLog | |
| parent | 5ebfaacfb5ffb9c3dcc0ea80f1f51aff94e34cad (diff) | |
| download | gcc-1c1631789db78470153d892bb17be385ff82088b.zip gcc-1c1631789db78470153d892bb17be385ff82088b.tar.gz gcc-1c1631789db78470153d892bb17be385ff82088b.tar.bz2 | |
[multiple changes]
2011-12-21 Yannick Moy <moy@adacore.com>
* sem_ch13.adb (Analyze_Attribute_Definition_Clause): Do not
ignore representation attributes in Alfa mode, since formal
verification backend does not depend on actual physical
representation, but code may still refer to attribute values.
2011-12-21 Yannick Moy <moy@adacore.com>
* par-ch13.adb (P_Aspect_Specifications): Recognize the cases
where a comma between two aspects is missing, or erroneously
replaced by a semicolon, issue an error and proceed with next
aspect.
* par.adb, sinfo.ads: Fix typos.
2011-12-21 Ed Schonberg <schonberg@adacore.com>
* sem_util.adb (Mark_Coextensions): A coextension for an
object that is part of the expression in a return statement,
or part of the return object in an extended return statement,
must be allocated dynamically.
From-SVN: r182585
Diffstat (limited to 'gcc/ada/ChangeLog')
| -rw-r--r-- | gcc/ada/ChangeLog | 22 |
1 files changed, 22 insertions, 0 deletions
diff --git a/gcc/ada/ChangeLog b/gcc/ada/ChangeLog index dcf04f9..be29ee2 100644 --- a/gcc/ada/ChangeLog +++ b/gcc/ada/ChangeLog @@ -1,3 +1,25 @@ +2011-12-21 Yannick Moy <moy@adacore.com> + + * sem_ch13.adb (Analyze_Attribute_Definition_Clause): Do not + ignore representation attributes in Alfa mode, since formal + verification backend does not depend on actual physical + representation, but code may still refer to attribute values. + +2011-12-21 Yannick Moy <moy@adacore.com> + + * par-ch13.adb (P_Aspect_Specifications): Recognize the cases + where a comma between two aspects is missing, or erroneously + replaced by a semicolon, issue an error and proceed with next + aspect. + * par.adb, sinfo.ads: Fix typos. + +2011-12-21 Ed Schonberg <schonberg@adacore.com> + + * sem_util.adb (Mark_Coextensions): A coextension for an + object that is part of the expression in a return statement, + or part of the return object in an extended return statement, + must be allocated dynamically. + 2011-12-21 Matthew Heaney <heaney@adacore.com> * a-crbtgk.adb (Generic_Conditional_Insert): Fixed incorrect comment. |