From: Piotr Trojanek <trojanek@adacore.com>
Date: Wed, 17 Nov 2021 13:31:20 +0000 (+0100)
Subject: [Ada] Inline all calls in Ada.Task_Identification
X-Git-Tag: basepoints/gcc-13~2578
X-Git-Url: http://git.ipfire.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=aa937f2cdb8ff6b2dce0b6f3042efe700bd437ec;p=thirdparty%2Fgcc.git

[Ada] Inline all calls in Ada.Task_Identification

gcc/ada/

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

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);