diff mbox series

[Ada] Inline all calls in Ada.Task_Identification

Message ID 20211202162854.GA2159536@adacore.com
State New
Headers show
Series [Ada] Inline all calls in Ada.Task_Identification | expand

Commit Message

Pierre-Marie de Rodat Dec. 2, 2021, 4:28 p.m. UTC 
Code cleanup; all routines in Ada.Task_Identification had pragma Inline
except Activation_Is_Complete (and Image, which should rather stay like
that).

Tested on x86_64-pc-linux-gnu, committed on trunk

gcc/ada/

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

Patch

diff --git a/gcc/ada/libgnarl/a-taside.ads b/gcc/ada/libgnarl/a-taside.ads
--- 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);