From bbb99006570016986e821b7ddad581b0f2042c44 Mon Sep 17 00:00:00 2001 From: Piotr Trojanek Date: Mon, 21 May 2018 14:51:04 +0000 Subject: [PATCH] [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 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 --- gcc/ada/ChangeLog | 6 ++++++ gcc/ada/libgnarl/a-reatim.ads | 4 +--- gcc/ada/libgnarl/a-taside.ads | 4 +--- 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 f7f92af4377..a62bbe13089 100644 --- a/gcc/ada/ChangeLog +++ b/gcc/ada/ChangeLog @@ -1,3 +1,9 @@ +2018-04-04 Piotr Trojanek + + * 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 * 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 2cb7f0de83a..3e92a4361cd 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 e6fed843fb2..905dfa3b263 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 f5879d757c9..69b65637618 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 -- 2.30.2