[Bug debug/108656] [12/13 Regression] '-fcompare-debug' failure (length) w/ -O2 -fno-ipa-pure-const -fno-tree-dce --param early-inlining-insns=0 since r12-5236

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

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

--- Comment #6 from Richard Biener <rguenth at gcc dot gnu.org> ---
(In reply to Jakub Jelinek from comment #5)
> Created attachment 54412 [details]
> gcc13-pr108656.patch
> 
> So shall we fix it like this then?

But isn't this the wrong "side"?  returns_twice means it is the abnormal
control _receiver_, it doesn't perform an abnormal goto itself.

stmt_starts_bb_p is correct here, so where does it go wrong?