diff options
| author | Arnaud Charlet <charlet@gcc.gnu.org> | 2014-07-30 12:29:48 +0200 |
|---|---|---|
| committer | Arnaud Charlet <charlet@gcc.gnu.org> | 2014-07-30 12:29:48 +0200 |
| commit | 2f6f8285368749fd716178f92e3131d003b6a18c (patch) | |
| tree | 62bf2a238524092997d4163a063e79d7d18c3ce7 /gcc/ada/lib-xref.adb | |
| parent | ac43e11e234201441e84b5bc015587ecfff6c797 (diff) | |
| download | gcc-2f6f8285368749fd716178f92e3131d003b6a18c.zip gcc-2f6f8285368749fd716178f92e3131d003b6a18c.tar.gz gcc-2f6f8285368749fd716178f92e3131d003b6a18c.tar.bz2 | |
[multiple changes]
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.
From-SVN: r213241
Diffstat (limited to 'gcc/ada/lib-xref.adb')
0 files changed, 0 insertions, 0 deletions