https://gcc.gnu.org/bugzilla/show_bug.cgi?id=86769
--- Comment #17 from Jason Merrill <jason at gcc dot gnu.org> --- (In reply to Jason Merrill from comment #16) Or rather, as you say, it's not so much about pushing into the BIND_EXPR as the CLEANUP_STMT. So I guess we don't need separate BIND_EXPRs, we just need to recognize the CLEANUP_STMT for the condition variable.