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