From: Arnaud Charlet <charlet@adacore.com>
Date: Mon, 16 Dec 2019 10:34:56 +0000 (+0000)
Subject: [Ada] Mark Deallocator as Favor_Top_Level
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=c1c3784bd98e6533ef0642dd1aca662fbb64bee2;p=gcc.git

[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 73a3ec79454..029b29199dd 100644
--- 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 b7d5edbf2ff..5ae9a756d93 100644
--- 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;