diff options
| author | charlet <charlet@138bc75d-0d04-0410-961f-82ee72b054a4> | 2014-07-30 10:29:48 +0000 |
|---|---|---|
| committer | charlet <charlet@138bc75d-0d04-0410-961f-82ee72b054a4> | 2014-07-30 10:29:48 +0000 |
| commit | 294709fa4bbc531d26c337a26f1749539af0d794 (patch) | |
| tree | 62bf2a238524092997d4163a063e79d7d18c3ce7 /gcc/ada/aspects.ads | |
| parent | 873897d88cbf3a62086ac5f5bc22959822b4e1dd (diff) | |
| download | gcc-294709fa4bbc531d26c337a26f1749539af0d794.tar.gz | |
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.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@213241 138bc75d-0d04-0410-961f-82ee72b054a4
Diffstat (limited to 'gcc/ada/aspects.ads')
| -rw-r--r-- | gcc/ada/aspects.ads | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/gcc/ada/aspects.ads b/gcc/ada/aspects.ads index 98acec1d605..8ddd10bc8b8 100644 --- a/gcc/ada/aspects.ads +++ b/gcc/ada/aspects.ads @@ -590,8 +590,6 @@ package Aspects is (No_Aspect => Always_Delay, Aspect_Address => Always_Delay, Aspect_All_Calls_Remote => Always_Delay, - Aspect_Async_Readers => Always_Delay, - Aspect_Async_Writers => Always_Delay, Aspect_Asynchronous => Always_Delay, Aspect_Attach_Handler => Always_Delay, Aspect_Constant_Indexing => Always_Delay, @@ -604,8 +602,6 @@ package Aspects is Aspect_Discard_Names => Always_Delay, Aspect_Dispatching_Domain => Always_Delay, Aspect_Dynamic_Predicate => Always_Delay, - Aspect_Effective_Reads => Always_Delay, - Aspect_Effective_Writes => Always_Delay, Aspect_Elaborate_Body => Always_Delay, Aspect_External_Name => Always_Delay, Aspect_External_Tag => Always_Delay, @@ -673,9 +669,13 @@ package Aspects is Aspect_Abstract_State => Never_Delay, Aspect_Annotate => Never_Delay, + Aspect_Async_Readers => Never_Delay, + Aspect_Async_Writers => Never_Delay, Aspect_Convention => Never_Delay, Aspect_Dimension => Never_Delay, Aspect_Dimension_System => Never_Delay, + Aspect_Effective_Reads => Never_Delay, + Aspect_Effective_Writes => Never_Delay, Aspect_Part_Of => Never_Delay, Aspect_Refined_Post => Never_Delay, Aspect_SPARK_Mode => Never_Delay, |