This is the mail archive of the
gcc-cvs@gcc.gnu.org
mailing list for the GCC project.
r200764 - in /trunk/gcc/ada: ChangeLog gnatcmd....
- From: charlet at gcc dot gnu dot org
- To: gcc-cvs at gcc dot gnu dot org
- Date: Mon, 08 Jul 2013 08:03:05 -0000
- Subject: r200764 - in /trunk/gcc/ada: ChangeLog gnatcmd....
Author: charlet
Date: Mon Jul 8 08:03:04 2013
New Revision: 200764
URL: http://gcc.gnu.org/viewcvs?rev=200764&root=gcc&view=rev
Log:
2013-07-08 Robert Dewar <dewar@adacore.com>
* par-prag.adb (Process_Restrictions_Or_Restriction_Warnings):
Recognize SPARK_05 as synonym for SPARK in restrictions pragma.
* restrict.ads, restrict.adb (SPARK_Hides): Table moved to body, only
referenced there.
* scng.adb, sem_ch3.adb, sem_ch4.adb, sem_ch5.adb, sem_ch8.adb,
sem_res.adb, sem_util.adb: Use restriction SPARK_05 instead of SPARK.
* snames.ads-tmpl (Name_No_Obsolescent_Features): New entry.
2013-07-08 Vincent Celier <celier@adacore.com>
* gnatcmd.adb (Check_Files): Use a response file for gnatls
when possible.
Modified:
trunk/gcc/ada/ChangeLog
trunk/gcc/ada/gnatcmd.adb
trunk/gcc/ada/par-prag.adb
trunk/gcc/ada/restrict.adb
trunk/gcc/ada/restrict.ads
trunk/gcc/ada/scng.adb
trunk/gcc/ada/sem_ch3.adb
trunk/gcc/ada/sem_ch4.adb
trunk/gcc/ada/sem_ch5.adb
trunk/gcc/ada/sem_ch8.adb
trunk/gcc/ada/sem_res.adb
trunk/gcc/ada/sem_util.adb
trunk/gcc/ada/snames.ads-tmpl