From 7e650bf84bf61e88f05ffbf39ca677a1e3d2714a Mon Sep 17 00:00:00 2001
From: Piotr Trojanek <trojanek@adacore.com>
Date: Wed, 17 Nov 2021 14:24:25 +0100
Subject: [PATCH] [Ada] Add contract to
 Ada.Task_Identification.Activation_Is_Complete

gcc/ada/

	* libgnarl/a-taside.ads (Activation_Is_Complete): Add
	precondition.
---
 gcc/ada/libgnarl/a-taside.ads | 1 +
 1 file changed, 1 insertion(+)

diff --git a/gcc/ada/libgnarl/a-taside.ads b/gcc/ada/libgnarl/a-taside.ads
index a3b1e94..682211c 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
-- 
2.7.4