mirror of
https://gcc.gnu.org/git/gcc.git
synced 2024-12-05 09:44:10 +08:00
[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
This commit is contained in:
parent
019c74bb73
commit
c1c3784bd9
@ -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,
|
||||
|
@ -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;
|
||||
|
Loading…
Reference in New Issue
Block a user