diff options
| author | Eric Botcazou <ebotcazou@adacore.com> | 2024-01-23 08:44:38 +0100 |
|---|---|---|
| committer | Marc Poulhiès <poulhies@adacore.com> | 2024-05-13 10:03:29 +0200 |
| commit | 56e781f6b83ddf26ae42309e682dc22ce4db3f82 (patch) | |
| tree | fc033e85481ea462578519d2dc0754bae7d8f85d /gcc/ada/doc/gnat_rm | |
| parent | c1b33f8cf2b40d78d0413a328e3faed384f7e0f4 (diff) | |
| download | gcc-56e781f6b83ddf26ae42309e682dc22ce4db3f82.zip gcc-56e781f6b83ddf26ae42309e682dc22ce4db3f82.tar.gz gcc-56e781f6b83ddf26ae42309e682dc22ce4db3f82.tar.bz2 | |
ada: Decouple finalization masters from storage pools
The coupling came from the build-in-place protocol but is now unnecessary
because the storage pool reference is always passed along with the master
reference in this protocol. No functional changes.
gcc/ada/
* exp_ch3.adb (Build_Heap_Or_Pool_Allocator): Use the BIPstoragepool
formal parameter to retrieve the pool in the presence of a master.
* exp_ch6.adb (Make_Build_In_Place_Call_In_Allocator): Always pass
a pool reference along with the master reference.
(Make_Build_In_Place_Call_In_Object_Declaration): Likewise.
* exp_ch7.adb (Build_BIP_Cleanup_Stmts): Use the BIPstoragepool
formal parameter to retrieve the pool in the presence of a master.
(Create_Anonymous_Master): Do not call Set_Base_Pool.
(Build_Finalization_Master): Likewise.
* rtsfind.ads (RE_Id): Remove RE_Base_Pool and RE_Set_Base_Pool.
(RE_Unit_Table): Remove associated entries.
* libgnat/s-finmas.ads: Remove clause for System.Storage_Pools.
(Any_Storage_Pool_Ptr): Delete.
(Finalization_Master): Remove Base_Pool component.
(Base_Pool): Delete.
(Set_Base_Pool): Likewise.
* libgnat/s-finmas.adb (Base_Pool): Likewise.
(Set_Base_Pool): Likewise.
(Print_Master): Do not print Base_Pool.
Diffstat (limited to 'gcc/ada/doc/gnat_rm')
0 files changed, 0 insertions, 0 deletions