diff options
| author | Arnaud Charlet <charlet@adacore.com> | 2019-12-16 10:34:56 +0000 |
|---|---|---|
| committer | Pierre-Marie de Rodat <pmderodat@gcc.gnu.org> | 2019-12-16 10:34:56 +0000 |
| commit | c1c3784bd98e6533ef0642dd1aca662fbb64bee2 (patch) | |
| tree | a04355e27bafa54eeaa1e8743800253f2aa5110b | |
| parent | 019c74bb73109510a75711c620ed8717d6a3045d (diff) | |
| download | gcc-c1c3784bd98e6533ef0642dd1aca662fbb64bee2.zip gcc-c1c3784bd98e6533ef0642dd1aca662fbb64bee2.tar.gz gcc-c1c3784bd98e6533ef0642dd1aca662fbb64bee2.tar.bz2 | |
[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
| -rw-r--r-- | gcc/ada/ChangeLog | 4 | ||||
| -rw-r--r-- | gcc/ada/libgnarl/s-tataat.ads | 1 |
2 files changed, 5 insertions, 0 deletions
diff --git a/gcc/ada/ChangeLog b/gcc/ada/ChangeLog index 73a3ec7..029b291 100644 --- a/gcc/ada/ChangeLog +++ b/gcc/ada/ChangeLog @@ -1,5 +1,9 @@ 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, libgnat/s-atoope.ads, libgnat/s-atopar.adb, libgnat/s-atopar.ads, libgnat/s-atopex.adb, diff --git a/gcc/ada/libgnarl/s-tataat.ads b/gcc/ada/libgnarl/s-tataat.ads index b7d5edb..5ae9a75 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; |