This is the mail archive of the
gcc-cvs@gcc.gnu.org
mailing list for the GCC project.
r213241 - in /trunk/gcc/ada: ChangeLog Makefile...
- From: charlet at gcc dot gnu dot org
- To: gcc-cvs at gcc dot gnu dot org
- Date: Wed, 30 Jul 2014 10:29:48 -0000
- Subject: r213241 - in /trunk/gcc/ada: ChangeLog Makefile...
Author: charlet
Date: Wed Jul 30 10:29:48 2014
New Revision: 213241
URL: https://gcc.gnu.org/viewcvs?rev=213241&root=gcc&view=rev
Log:
2014-07-30 Hristian Kirtchev <kirtchev@adacore.com>
* aspects.ads Aspects Async_Readers, Async_Writers,
Effective_Reads and Effective_Writes do not need to be delayed.
* sem_ch13.adb (Analyze_Aspect_Specifications): Propagate the
optional Boolean expression when generating the corresponding
pragma for an external property aspect.
* sem_prag.adb (Analyze_External_Property_In_Decl_Part): Remove
local constant Obj. Add local constant Obj_Id. Reimplement the
check which ensures that the related variable is in fact volatile.
(Analyze_Pragma): Reimplement the analysis of external property pragmas.
* sem_util.adb (Is_Enabled): New routine.
(Variable_Has_Enabled_Property): Reimplement the detection of
an enabled external property.
2014-07-30 Sergey Rybin <rybin@adacore.com frybin>
* gnat_ugn.texi, vms_data.ads: gnatstub: describe generating subunits
for body stubs.
2014-07-30 Pascal Obry <obry@adacore.com>
* g-forstr.adb, g-forstr.ads: New.
* gnat_rm.texi, impunit.adb Makefile.rtl: Add new unit
GNAT.Formatted_String.
Added:
trunk/gcc/ada/g-forstr.adb
trunk/gcc/ada/g-forstr.ads
Modified:
trunk/gcc/ada/ChangeLog
trunk/gcc/ada/Makefile.rtl
trunk/gcc/ada/aspects.ads
trunk/gcc/ada/gnat_rm.texi
trunk/gcc/ada/gnat_ugn.texi
trunk/gcc/ada/impunit.adb
trunk/gcc/ada/sem_ch13.adb
trunk/gcc/ada/sem_prag.adb
trunk/gcc/ada/sem_util.adb
trunk/gcc/ada/vms_data.ads