[Ada] Fix Global contract for the predefined Yield procedure

2019-12-12  Piotr Trojanek  <trojanek@adacore.com>

gcc/ada/

	* libgnarl/a-dispat.ads (Yield): Update Global contract.

From-SVN: r279295

diff --git a/gcc/ada/ChangeLog b/gcc/ada/ChangeLog
index 09200b513e0b6654d341c8f5a1305ef8ccbb9a3a..52cb1791ad908a8312d6ac548f6682582aac3326 100644 (file)
--- a/gcc/ada/ChangeLog
+++ b/gcc/ada/ChangeLog
@@ -1,3 +1,7 @@
+2019-12-12  Piotr Trojanek  <trojanek@adacore.com>
+
+       * libgnarl/a-dispat.ads (Yield): Update Global contract.
+
 2019-12-12  Piotr Trojanek  <trojanek@adacore.com>
 
        * libgnat/g-altive.ads: Fix typo in comment.

diff --git a/gcc/ada/libgnarl/a-dispat.ads b/gcc/ada/libgnarl/a-dispat.ads
index b4e4d036b117f9de0ca0b344fe31c55e478f5ca9..8e4dfe6dd2d24dd50adc5d53e5966b613cb11b1e 100644 (file)
--- a/gcc/ada/libgnarl/a-dispat.ads
+++ b/gcc/ada/libgnarl/a-dispat.ads
@@ -13,11 +13,13 @@
 --                                                                          --
 ------------------------------------------------------------------------------
 
+with Ada.Task_Identification;
+
 package Ada.Dispatching is
    pragma Preelaborate (Dispatching);
 
    procedure Yield with
-     Global => null;
+     Global => (In_Out => Ada.Task_Identification.Tasking_State);
 
    Dispatching_Policy_Error : exception;
 end Ada.Dispatching;