This is the mail archive of the
gcc-cvs@gcc.gnu.org
mailing list for the GCC project.
r194211 - in /trunk/gcc/ada: ChangeLog atree.ad...
- From: charlet at gcc dot gnu dot org
- To: gcc-cvs at gcc dot gnu dot org
- Date: Wed, 05 Dec 2012 11:15:35 -0000
- Subject: r194211 - in /trunk/gcc/ada: ChangeLog atree.ad...
Author: charlet
Date: Wed Dec 5 11:15:35 2012
New Revision: 194211
URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=194211
Log:
2012-12-05 Thomas Quinot <quinot@adacore.com>
* par_sco.adb, scos.ads, put_scos.adb, put_scos.ads,
get_scos.adb: Generation of SCOs for aspects.
2012-12-05 Thomas Quinot <quinot@adacore.com>
* sem_prag.adb (Check_Precondition_Postcondition): Remove
redundant call to Set_SCO_Pragma_Enabled (the pragma will be
rewritten into a pragma Check later on, and the call will be
made when processing the rewritten pragma).
(Analyze_Pragma, case Pragma_Check): Omit call to
Set_SCO_Pragma_Enabled if Split_PPC is set.
2012-12-05 Olivier Hainque <hainque@adacore.com>
* tracebak.c: Add partial support for Lynx178.
2012-12-05 Hristian Kirtchev <kirtchev@adacore.com>
* sem_attr.adb (Analyze_Attribute): Improve
the error message related to loop assertions.
2012-12-05 Gary Dismukes <dismukes@adacore.com>
* atree.ads: Minor reformatting.
Modified:
trunk/gcc/ada/ChangeLog
trunk/gcc/ada/atree.ads
trunk/gcc/ada/get_scos.adb
trunk/gcc/ada/par_sco.adb
trunk/gcc/ada/put_scos.adb
trunk/gcc/ada/put_scos.ads
trunk/gcc/ada/scos.ads
trunk/gcc/ada/sem_attr.adb
trunk/gcc/ada/sem_prag.adb
trunk/gcc/ada/tracebak.c