This is the mail archive of the
gcc-cvs@gcc.gnu.org
mailing list for the GCC project.
r193211 - in /trunk/gcc/ada: ChangeLog exp_ch5....
- From: charlet at gcc dot gnu dot org
- To: gcc-cvs at gcc dot gnu dot org
- Date: Tue, 06 Nov 2012 09:37:34 -0000
- Subject: r193211 - in /trunk/gcc/ada: ChangeLog exp_ch5....
Author: charlet
Date: Tue Nov 6 09:37:34 2012
New Revision: 193211
URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=193211
Log:
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.
Modified:
trunk/gcc/ada/ChangeLog
trunk/gcc/ada/exp_ch5.adb
trunk/gcc/ada/exp_prag.adb
trunk/gcc/ada/par-prag.adb
trunk/gcc/ada/sem_prag.adb
trunk/gcc/ada/snames.ads-tmpl