https://gcc.gnu.org/bugzilla/show_bug.cgi?id=121103
Richard Biener <rguenth at gcc dot gnu.org> changed:
What |Removed |Added
----------------------------------------------------------------------------
Ever confirmed|0 |1
Status|UNCONFIRMED |NEW
Last reconfirmed| |2025-07-16
--- Comment #1 from Richard Biener <rguenth at gcc dot gnu.org> ---
There's an invalid CFG with BB with missing outgoing edge. The issue is the
extern void *memmove(void *, const void *, __SIZE_TYPE__)
__attribute__((noreturn));
and simplification of
;; basic block 6, loop depth 0
;; pred: 5
_11 = (long unsigned int) a$n_9;
_12 = a$s_23;
memmove (&b.d, _12, _11);
;; succ:
by folding during FRE. But we are also not catching this in the verify flow
info verifier.
