[Bug middle-end/93273] "error: missing definition" and "internal compiler error: verify_ssa failed", in code involving _setjmp

[cvs-commit at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=93273

--- Comment #4 from CVS Commits <cvs-commit at gcc dot gnu.org> ---
The master branch has been updated by Richard Guenther <rguenth@gcc.gnu.org>:

https://gcc.gnu.org/g:37e27de43133b87ceb529d863f0d1f54d87cf2d8

commit r10-5982-g37e27de43133b87ceb529d863f0d1f54d87cf2d8
Author: Richard Biener <rguenther@suse.de>
Date:   Wed Jan 15 13:29:25 2020 +0100

    middle-end/93273 - fix sinking clobbers across backedges

    The previous work to fix PR93199 didn't take into account backedges
    when defering insertion.  The following simply avoids to defer in that
    case since we know we'll not take secondary opportunities there.

    2020-01-15  Richard Biener  <rguenther@suse.de>

            PR middle-end/93273
            * tree-eh.c (sink_clobbers): If we already visited the destination
            block do not defer insertion.
            (pass_lower_eh_dispatch::execute): Maintain BB_VISITED for
            the purpose of defered insertion.

        * g++.dg/torture/pr93273.C: New testcase.