diff options
| author | Piotr Trojanek <trojanek@adacore.com> | 2019-12-12 10:03:06 +0000 |
|---|---|---|
| committer | Pierre-Marie de Rodat <pmderodat@gcc.gnu.org> | 2019-12-12 10:03:06 +0000 |
| commit | ddb677163af059a8b16f53d9f6ebaf7af774f0e3 (patch) | |
| tree | 9f8a59807f7480327b1d9f9ed839dfeb61f05f4e | |
| parent | 604801a4a689414e1dd264dced60b00d4e7517a5 (diff) | |
| download | gcc-ddb677163af059a8b16f53d9f6ebaf7af774f0e3.zip gcc-ddb677163af059a8b16f53d9f6ebaf7af774f0e3.tar.gz gcc-ddb677163af059a8b16f53d9f6ebaf7af774f0e3.tar.bz2 | |
[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
| -rw-r--r-- | gcc/ada/ChangeLog | 4 | ||||
| -rw-r--r-- | gcc/ada/libgnarl/a-dispat.ads | 4 |
2 files changed, 7 insertions, 1 deletions
diff --git a/gcc/ada/ChangeLog b/gcc/ada/ChangeLog index 09200b5..52cb179 100644 --- a/gcc/ada/ChangeLog +++ b/gcc/ada/ChangeLog @@ -1,5 +1,9 @@ 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. * bindo-graphs.adb: Fix repeated words in comment. * exp_ch4.adb: Likewise. diff --git a/gcc/ada/libgnarl/a-dispat.ads b/gcc/ada/libgnarl/a-dispat.ads index b4e4d03..8e4dfe6 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; |