From: Piotr Trojanek <trojanek@adacore.com>
Date: Wed, 17 Nov 2021 13:24:25 +0000 (+0100)
Subject: [Ada] Add contract to Ada.Task_Identification.Activation_Is_Complete
X-Git-Tag: basepoints/gcc-13~2590
X-Git-Url: http://git.ipfire.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=7e650bf84bf61e88f05ffbf39ca677a1e3d2714a;p=thirdparty%2Fgcc.git

[Ada] Add contract to Ada.Task_Identification.Activation_Is_Complete

gcc/ada/

	* libgnarl/a-taside.ads (Activation_Is_Complete): Add
	precondition.
---

diff --git a/gcc/ada/libgnarl/a-taside.ads b/gcc/ada/libgnarl/a-taside.ads
index a3b1e94bd9d2..682211cbf40b 100644
--- a/gcc/ada/libgnarl/a-taside.ads
+++ b/gcc/ada/libgnarl/a-taside.ads
@@ -92,6 +92,7 @@ is
 
    function Activation_Is_Complete (T : Task_Id) return Boolean with
      Volatile_Function,
+     Pre    => T /= Null_Task_Id,
      Global => Tasking_State;
 
 private