https://gcc.gnu.org/bugzilla/show_bug.cgi?id=120637
--- Comment #7 from Antony Lewis <antony at cosmologist dot info> --- Thanks - yes certainly makes sense not to do this if there are still double finalizations. *Why* there are still duplicate finalizations is then I guess another issue. (sorry, the agent must have messed up the repo commits making the patch and the test).
