This is the mail archive of the
gcc-cvs@gcc.gnu.org
mailing list for the GCC project.
r206992 - in /trunk/gcc/ada: ChangeLog aspects....
- From: charlet at gcc dot gnu dot org
- To: gcc-cvs at gcc dot gnu dot org
- Date: Thu, 23 Jan 2014 17:03:41 -0000
- Subject: r206992 - in /trunk/gcc/ada: ChangeLog aspects....
Author: charlet
Date: Thu Jan 23 17:03:41 2014
New Revision: 206992
URL: http://gcc.gnu.org/viewcvs?rev=206992&root=gcc&view=rev
Log:
2014-01-23 Ed Schonberg <schonberg@adacore.com>
* exp_util.adb (Make_Invqriant_Call): If type of expression is
a private extension, get invariant from base type.
2014-01-23 Robert Dewar <dewar@adacore.com>
* sem_util.adb, sem_attr.adb: Minor reformatting.
2014-01-23 Robert Dewar <dewar@adacore.com>
* opt.adb (Save_Opt_Config_Switches): Save SPARK_Mode_Pragma
(Restore_Opt_Config_Switches): Restore SPARK_Mode_Pragma.
* sem.adb (Semantics): Remove save/restore of
SPARK_Mode[_Pragma]. Not needed since already done in
Save/Restore_Opt_Config_Switches.
2014-01-23 Robert Dewar <dewar@adacore.com>
* gnat_rm.texi, einfo.adb, einfo.ads, sem_prag.adb, gnat_ugn.texi,
freeze.adb, repinfo.adb, aspects.adb, aspects.ads, sem_ch13.adb:
Linker_Section enhancements.
Modified:
trunk/gcc/ada/ChangeLog
trunk/gcc/ada/aspects.adb
trunk/gcc/ada/aspects.ads
trunk/gcc/ada/einfo.adb
trunk/gcc/ada/einfo.ads
trunk/gcc/ada/exp_util.adb
trunk/gcc/ada/freeze.adb
trunk/gcc/ada/gnat_rm.texi
trunk/gcc/ada/gnat_ugn.texi
trunk/gcc/ada/opt.adb
trunk/gcc/ada/repinfo.adb
trunk/gcc/ada/sem.adb
trunk/gcc/ada/sem_attr.adb
trunk/gcc/ada/sem_ch13.adb
trunk/gcc/ada/sem_prag.adb
trunk/gcc/ada/sem_util.adb