[Ada] Mark Deallocator as Favor_Top_Level

2019-12-16  Arnaud Charlet  <charlet@adacore.com>

gcc/ada/

	* libgnarl/s-tataat.ads (Deallocator): Mark as Favor_Top_Level.

From-SVN: r279435

diff --git a/gcc/ada/ChangeLog b/gcc/ada/ChangeLog
index 73a3ec7945401be18a54863f3a4816a5244c77a4..029b29199dd58289e578174db0145bc27cd51355 100644 (file)
--- a/gcc/ada/ChangeLog
+++ b/gcc/ada/ChangeLog
@@ -1,3 +1,7 @@
+2019-12-16  Arnaud Charlet  <charlet@adacore.com>
+
+       * libgnarl/s-tataat.ads (Deallocator): Mark as Favor_Top_Level.
+
 2019-12-16  Arnaud Charlet  <charlet@adacore.com>
 
        * libgnat/s-aotase.adb, libgnat/s-aotase.ads,

diff --git a/gcc/ada/libgnarl/s-tataat.ads b/gcc/ada/libgnarl/s-tataat.ads
index b7d5edbf2ff82eba57dbb701fcb024f2e933796d..5ae9a756d93f0550b97d0c2fffa3175b8e5c54d5 100644 (file)
--- a/gcc/ada/libgnarl/s-tataat.ads
+++ b/gcc/ada/libgnarl/s-tataat.ads
@@ -36,6 +36,7 @@ with Ada.Unchecked_Conversion;
 package System.Tasking.Task_Attributes is
 
    type Deallocator is access procedure (Ptr : Atomic_Address);
+   pragma Favor_Top_Level (Deallocator);
 
    type Attribute_Record is record
       Free : Deallocator;