diff options
| author | Piotr Trojanek <trojanek@adacore.com> | 2021-11-17 14:31:20 +0100 |
|---|---|---|
| committer | Pierre-Marie de Rodat <derodat@adacore.com> | 2021-12-02 16:26:26 +0000 |
| commit | aa937f2cdb8ff6b2dce0b6f3042efe700bd437ec (patch) | |
| tree | 2e6c3078a499c96bed8ae6946589e3c01f6f65c1 /gcc/ada/libgnarl | |
| parent | 8decef400095da6fcee12cb0bcd8cb4cc367e8fc (diff) | |
| download | gcc-aa937f2cdb8ff6b2dce0b6f3042efe700bd437ec.zip gcc-aa937f2cdb8ff6b2dce0b6f3042efe700bd437ec.tar.gz gcc-aa937f2cdb8ff6b2dce0b6f3042efe700bd437ec.tar.bz2 | |
[Ada] Inline all calls in Ada.Task_Identification
gcc/ada/
* libgnarl/a-taside.ads (Activation_Is_Complete): Add pragma
Inline.
Diffstat (limited to 'gcc/ada/libgnarl')
| -rw-r--r-- | gcc/ada/libgnarl/a-taside.ads | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/gcc/ada/libgnarl/a-taside.ads b/gcc/ada/libgnarl/a-taside.ads index 682211c..1e78626 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); |