[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 a3b1e94bd9d20209ac09d209bfcac312ec98737b..682211cbf40bac22af713c6c70001c47ba0c58ca 100644 (file)
--- 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