[Bug ipa/117892] [15 Regression] ICE on valid code at -O1 and above on x86_64-linux-gnu: in single_succ_edge, at basic-block.h:332 since r15-5336-gcee7d080d5c2a5

[pinskia at gcc dot gnu.org via Gcc-bugs]

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

--- Comment #5 from Andrew Pinski <pinskia at gcc dot gnu.org> ---
(In reply to Jan Hubicka from comment #4)
> >   Deleted dead store: # .MEM_5 = VDEF <.MEM_3(D)>
> > That started in GCC 12.
> That is weird. I would expect CFG verification run between passes to
> catch this...

It looks like this one case is not caught by the CFG verifiers. The abnormal
edges are also not verified (which I noticed too, PR 117693).