diff options
| author | Arnaud Charlet <charlet@gcc.gnu.org> | 2012-11-06 10:37:34 +0100 |
|---|---|---|
| committer | Arnaud Charlet <charlet@gcc.gnu.org> | 2012-11-06 10:37:34 +0100 |
| commit | 41c15e3eaa8aae1f9d534246833510fb38cf30a1 (patch) | |
| tree | 83e770aeee904a0e4016cefa9cb5008e91f7f546 /gcc/ada/ChangeLog | |
| parent | 11e185566b2122be2da3d71878286aeec0c71f10 (diff) | |
| download | gcc-41c15e3eaa8aae1f9d534246833510fb38cf30a1.zip gcc-41c15e3eaa8aae1f9d534246833510fb38cf30a1.tar.gz gcc-41c15e3eaa8aae1f9d534246833510fb38cf30a1.tar.bz2 | |
[multiple changes]
2012-11-06 Hristian Kirtchev <kirtchev@adacore.com>
* exp_prag.adb: Add with and use clause for Sem_Ch8.
(Expand_N_Pragma): Add a new variant to expand pragma Loop_Assertion.
(Expand_Pragma_Loop_Assertion): New routine.
* par-prag.adb (Prag): The semantic analysis of pragma
Loop_Assertion is carried out by Analyze_Pragma. No need for
checks in the parser.
* sem_prag.adb: Add a reference position value for pragma
Loop_Assertion in Sig_Flags.
(Analyze_Pragma): Add semantic analysis for pragma Loop_Assertion.
* snames.ads-tmpl: Add the following new names:
Name_Decreases Name_Increases Name_Loop_Assertion.
Add new pragma id Pragma_Loop_Assertion.
2012-11-06 Ed Schonberg <schonberg@adacore.com>
* exp_ch5.adb: Identifier in iterator must have debug
information.
From-SVN: r193211
Diffstat (limited to 'gcc/ada/ChangeLog')
| -rw-r--r-- | gcc/ada/ChangeLog | 20 |
1 files changed, 20 insertions, 0 deletions
diff --git a/gcc/ada/ChangeLog b/gcc/ada/ChangeLog index 82631a8..bf1db35 100644 --- a/gcc/ada/ChangeLog +++ b/gcc/ada/ChangeLog @@ -1,3 +1,23 @@ +2012-11-06 Hristian Kirtchev <kirtchev@adacore.com> + + * exp_prag.adb: Add with and use clause for Sem_Ch8. + (Expand_N_Pragma): Add a new variant to expand pragma Loop_Assertion. + (Expand_Pragma_Loop_Assertion): New routine. + * par-prag.adb (Prag): The semantic analysis of pragma + Loop_Assertion is carried out by Analyze_Pragma. No need for + checks in the parser. + * sem_prag.adb: Add a reference position value for pragma + Loop_Assertion in Sig_Flags. + (Analyze_Pragma): Add semantic analysis for pragma Loop_Assertion. + * snames.ads-tmpl: Add the following new names: + Name_Decreases Name_Increases Name_Loop_Assertion. + Add new pragma id Pragma_Loop_Assertion. + +2012-11-06 Ed Schonberg <schonberg@adacore.com> + + * exp_ch5.adb: Identifier in iterator must have debug + information. + 2012-11-06 Arnaud Charlet <charlet@adacore.com> * gcc-interface/Makefile.in, gcc-interface/Make-lang.in: Remove |