From ddb677163af059a8b16f53d9f6ebaf7af774f0e3 Mon Sep 17 00:00:00 2001 From: Piotr Trojanek Date: Thu, 12 Dec 2019 10:03:06 +0000 Subject: [PATCH] [Ada] Fix Global contract for the predefined Yield procedure 2019-12-12 Piotr Trojanek gcc/ada/ * libgnarl/a-dispat.ads (Yield): Update Global contract. From-SVN: r279295 --- gcc/ada/ChangeLog | 4 ++++ gcc/ada/libgnarl/a-dispat.ads | 4 +++- 2 files changed, 7 insertions(+), 1 deletion(-) 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 + + * libgnarl/a-dispat.ads (Yield): Update Global contract. + 2019-12-12 Piotr Trojanek * 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; -- 2.30.2