https://gcc.gnu.org/g:fae066daabb19c9e6ee2e272c0269a7d6ea8df45
commit r13-10096-gfae066daabb19c9e6ee2e272c0269a7d6ea8df45 Author: Eric Botcazou <[email protected]> Date: Fri Feb 20 20:46:30 2026 +0100 Ada: Fix finalization glitch for pools with subpools Finalize_Pool calls Finalize_And_Deallocate on every subpool handle, but the parameter is declared with In Out mode, so the call ends up writing back the updated value into the node that was just deallocated. gcc/ada/ * libgnat/s-stposu.adb (Finalize_Pool): Pass a local copy of the handle in the call to Finalize_And_Deallocate. Diff: --- gcc/ada/libgnat/s-stposu.adb | 14 ++++++-------- 1 file changed, 6 insertions(+), 8 deletions(-) diff --git a/gcc/ada/libgnat/s-stposu.adb b/gcc/ada/libgnat/s-stposu.adb index bdc399d05a0a..cb7c4522296d 100644 --- a/gcc/ada/libgnat/s-stposu.adb +++ b/gcc/ada/libgnat/s-stposu.adb @@ -523,6 +523,7 @@ package body System.Storage_Pools.Subpools is procedure Finalize_Pool (Pool : in out Root_Storage_Pool_With_Subpools) is Curr_Ptr : SP_Node_Ptr; Ex_Occur : Exception_Occurrence; + Handle : Subpool_Handle; Raised : Boolean := False; function Is_Empty_List (L : not null SP_Node_Ptr) return Boolean; @@ -557,16 +558,13 @@ package body System.Storage_Pools.Subpools is while not Is_Empty_List (Pool.Subpools'Unchecked_Access) loop Curr_Ptr := Pool.Subpools.Next; - -- Perform the following actions: - - -- 1) Finalize all objects chained on the subpool's master - -- 2) Remove the subpool from the owner's list of subpools - -- 3) Deallocate the doubly linked list node associated with the - -- subpool. - -- 4) Call Deallocate_Subpool + -- Finalize and deallocate the subpool. Beware that the node pointed + -- to by Curr_Ptr will be deallocated so may not be passed as actual + -- in the call, since the formal parameter is In Out. begin - Finalize_And_Deallocate (Curr_Ptr.Subpool); + Handle := Curr_Ptr.Subpool; + Finalize_And_Deallocate (Handle); exception when Fin_Occur : others =>
