[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

diff --git a/gcc/ada/ChangeLog b/gcc/ada/ChangeLog
index f7f92af4377542e54e1acd3a69e2802454e51fe1..a62bbe13089155a6eb9a656ab496ba07df20571c 100644 (file)
--- 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 2cb7f0de83a3fbd2505dfc41d88be2db6ddd478a..3e92a4361cdca88f6b3ec7f1ce9c73f09497dfcc 100644 (file)
--- 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 e6fed843fb2b2b2620b6039108a8e524c7468da5..905dfa3b263c0e401c49f963e3a812e42f37af25 100644 (file)
--- 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 f5879d757c9d8cdb15a83d426dc94f4c9d18f80c..69b65637618e92ab31de9d50d820a2ff667dabb7 100644 (file)
--- 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