[Bug ada/124107] 13.11.5(9.1/5) is not followed - finalization removes subpools from pools

[liam at liampwll dot com via Gcc-bugs]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=124107

--- Comment #5 from Liam Powell <liam at liampwll dot com> ---
Created attachment 63695
  --> https://gcc.gnu.org/bugzilla/attachment.cgi?id=63695&action=edit
fix on 15 branch