From: Piotr Trojanek <trojanek@adacore.com>
Date: Thu, 12 Dec 2019 10:03:06 +0000 (+0000)
Subject: [Ada] Fix Global contract for the predefined Yield procedure
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=ddb677163af059a8b16f53d9f6ebaf7af774f0e3;p=gcc.git

[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 09200b513e0..52cb1791ad9 100644
--- 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 b4e4d036b11..8e4dfe6dd2d 100644
--- 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;