https://gcc.gnu.org/bugzilla/show_bug.cgi?id=86769
--- Comment #18 from Jason Merrill <jason at gcc dot gnu.org> --- (In reply to Jason Merrill from comment #17) cond would still want to move into the BIND_EXPR if we remove simplify_loop_decl_cond, but that doesn't need a distinction between the condition scope and the compound-statement.