https://gcc.gnu.org/bugzilla/show_bug.cgi?id=86769
--- Comment #19 from Jason Merrill <jason at gcc dot gnu.org> --- So Marek's patch was close, it just needs to distinguish between a TRY_FINALLY_EXPR cleaning up the condition variable vs some other variable.