diff options
| author | charlet <charlet@138bc75d-0d04-0410-961f-82ee72b054a4> | 2016-04-20 09:04:48 +0000 |
|---|---|---|
| committer | charlet <charlet@138bc75d-0d04-0410-961f-82ee72b054a4> | 2016-04-20 09:04:48 +0000 |
| commit | ebb4cebd335bfa8874e6641ec83b18089e69f414 (patch) | |
| tree | 8616898e3b7ad3f24b04d88a28933b1d1f8286c7 /gcc/ada/a-taside.ads | |
| parent | 157c8144f6b1db19d2df3acceeee12043f97c9dd (diff) | |
| download | gcc-ebb4cebd335bfa8874e6641ec83b18089e69f414.tar.gz | |
2016-04-20 Gary Dismukes <dismukes@adacore.com>
* par_sco.adb, sem_util.adb, sem_ch13.adb: Minor typo corrections and
reformatting.
2016-04-20 Ed Schonberg <schonberg@adacore.com>
* sem_prag.adb (Analyze_Pragma, case Default_Storage_Pool):
If the pragma comes from an aspect specification, verify that
the aspect applies to an entity with a declarative part.
* exp_ch5.adb: Code cleanup.
2016-04-20 Ed Schonberg <schonberg@adacore.com>
* sem_res.adb (Resolve_If_Expression): If first expression is
universal, resolve subsequent ones with the corresponding class
type (Any_Integer or Any_Real).
2016-04-20 Ed Schonberg <schonberg@adacore.com>
* sem_ch5.adb (Analyze_Iterator_Specification): If expansion is
disabled, complete the analysis of the iterator name to ensure
that reference for entities within are properly generated.
2016-04-20 Arnaud Charlet <charlet@adacore.com>
* a-dispat.ads (Yield): add Global contract.
* a-calend.ads, a-reatim.ads: Added Initializes => Clock_Time.
* a-taside.adb: Added Initializes => Tasking_State.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@235240 138bc75d-0d04-0410-961f-82ee72b054a4
Diffstat (limited to 'gcc/ada/a-taside.ads')
| -rw-r--r-- | gcc/ada/a-taside.ads | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/gcc/ada/a-taside.ads b/gcc/ada/a-taside.ads index ee39ec3e5a9..72467bf66d3 100644 --- a/gcc/ada/a-taside.ads +++ b/gcc/ada/a-taside.ads @@ -40,7 +40,8 @@ package Ada.Task_Identification with SPARK_Mode, Abstract_State => (Tasking_State with Synchronous, External => (Async_Readers, - Async_Writers)) + Async_Writers)), + Initializes => Tasking_State is pragma Preelaborate; -- In accordance with Ada 2005 AI-362 |