https://gcc.gnu.org/bugzilla/show_bug.cgi?id=106576
--- Comment #5 from Paul Thomas <pault at gcc dot gnu.org> --- Hi Thomas, I hope that you are well and that the lack of time is for a good cause? I have just returned to my finalizer patch. With it applied, your testcase produces the same output as NAG. I will attach the present version of the patch to this PR. Cheers Paul