diff options
| author | Piotr Trojanek <trojanek@adacore.com> | 2018-05-21 14:51:04 +0000 |
|---|---|---|
| committer | Pierre-Marie de Rodat <pmderodat@gcc.gnu.org> | 2018-05-21 14:51:04 +0000 |
| commit | bbb99006570016986e821b7ddad581b0f2042c44 (patch) | |
| tree | 36dc957fe485838eafda22f879d81e100a54f972 /gcc/ada | |
| parent | e3822b0aae8c0756929e31c61330e941b17c8eb2 (diff) | |
| download | gcc-bbb99006570016986e821b7ddad581b0f2042c44.zip gcc-bbb99006570016986e821b7ddad581b0f2042c44.tar.gz gcc-bbb99006570016986e821b7ddad581b0f2042c44.tar.bz2 | |
[Ada] Remove External aspect from predefined abstract states
Explicit External aspect was an equivalant to an implicit default. It was only
needed as a workaround for a frontend bug. (If it meant to serve as
documentation, there should be explicit Effective_Reads and Effective_Writes
set to False too.)
No test, because these changes are semantically neutral.
2018-05-21 Piotr Trojanek <trojanek@adacore.com>
gcc/ada/
* libgnarl/a-reatim.ads (Clock_Time): Remove External aspect.
* libgnarl/a-taside.ads (Tasking_State): Likewise.
* libgnat/a-calend.ads (Clock_Time): Likewise.
From-SVN: r260455
Diffstat (limited to 'gcc/ada')
| -rw-r--r-- | gcc/ada/ChangeLog | 6 | ||||
| -rw-r--r-- | gcc/ada/libgnarl/a-reatim.ads | 4 | ||||
| -rw-r--r-- | gcc/ada/libgnarl/a-taside.ads | 4 | ||||
| -rw-r--r-- | gcc/ada/libgnat/a-calend.ads | 4 |
4 files changed, 9 insertions, 9 deletions
diff --git a/gcc/ada/ChangeLog b/gcc/ada/ChangeLog index f7f92af..a62bbe1 100644 --- a/gcc/ada/ChangeLog +++ b/gcc/ada/ChangeLog @@ -1,3 +1,9 @@ +2018-04-04 Piotr Trojanek <trojanek@adacore.com> + + * libgnarl/a-reatim.ads (Clock_Time): Remove External aspect. + * libgnarl/a-taside.ads (Tasking_State): Likewise. + * libgnat/a-calend.ads (Clock_Time): Likewise. + 2018-04-04 Yannick Moy <moy@adacore.com> * sem_ch6.adb (Analyze_Procedure_Call): Refine test to recognize prefix diff --git a/gcc/ada/libgnarl/a-reatim.ads b/gcc/ada/libgnarl/a-reatim.ads index 2cb7f0d..3e92a43 100644 --- a/gcc/ada/libgnarl/a-reatim.ads +++ b/gcc/ada/libgnarl/a-reatim.ads @@ -38,9 +38,7 @@ pragma Elaborate_All (System.Task_Primitives.Operations); package Ada.Real_Time with SPARK_Mode, - Abstract_State => (Clock_Time with Synchronous, - External => (Async_Readers, - Async_Writers)), + Abstract_State => (Clock_Time with Synchronous), Initializes => Clock_Time is diff --git a/gcc/ada/libgnarl/a-taside.ads b/gcc/ada/libgnarl/a-taside.ads index e6fed84..905dfa3 100644 --- a/gcc/ada/libgnarl/a-taside.ads +++ b/gcc/ada/libgnarl/a-taside.ads @@ -38,9 +38,7 @@ with System.Tasking; package Ada.Task_Identification with SPARK_Mode, - Abstract_State => (Tasking_State with Synchronous, - External => (Async_Readers, - Async_Writers)), + Abstract_State => (Tasking_State with Synchronous), Initializes => Tasking_State is pragma Preelaborate; diff --git a/gcc/ada/libgnat/a-calend.ads b/gcc/ada/libgnat/a-calend.ads index f5879d7..69b6563 100644 --- a/gcc/ada/libgnat/a-calend.ads +++ b/gcc/ada/libgnat/a-calend.ads @@ -35,9 +35,7 @@ package Ada.Calendar with SPARK_Mode, - Abstract_State => (Clock_Time with Synchronous, - External => (Async_Readers, - Async_Writers)), + Abstract_State => (Clock_Time with Synchronous), Initializes => Clock_Time is |