From aa937f2cdb8ff6b2dce0b6f3042efe700bd437ec Mon Sep 17 00:00:00 2001
From: Piotr Trojanek <trojanek@adacore.com>
Date: Wed, 17 Nov 2021 14:31:20 +0100
Subject: [PATCH] [Ada] Inline all calls in Ada.Task_Identification

gcc/ada/

	* libgnarl/a-taside.ads (Activation_Is_Complete): Add pragma
	Inline.
---
 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 682211cbf40b..1e78626ffbb0 100644
--- a/gcc/ada/libgnarl/a-taside.ads
+++ b/gcc/ada/libgnarl/a-taside.ads
@@ -94,6 +94,7 @@ is
      Volatile_Function,
      Pre    => T /= Null_Task_Id,
      Global => Tasking_State;
+   pragma Inline (Activation_Is_Complete);
 
 private
    pragma SPARK_Mode (Off);
-- 
2.47.2