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

[rguenth at gcc dot gnu.org]

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

--- Comment #3 from Richard Biener <rguenth at gcc dot gnu.org> ---
(In reply to Richard Biener from comment #2)
> Confirmed.  Wrecked by
> 
> #1  0x0000000001627e0d in sink_clobbers (bb=<basic_block 0x2aaaac0ac4e0
> (9)>, 
>     sunk=0x391bb90, found_opportunity=0x0)
>     at /space/rguenther/src/gcc-work1/gcc/tree-eh.c:3683
> 3683                  SET_USE (use_p, gimple_vdef (first_sunk));
> 
> thus mine.

We're sinking a clobber across a "backedge", those are not picked up by
the queued insertion.  Didn't figure this would happen ... (but also
didn't think about abnormal edges here).  Usually EH doesn't form loops...