https://gcc.gnu.org/bugzilla/show_bug.cgi?id=126906
--- Comment #4 from Aldy Hernandez <aldyh at gcc dot gnu.org> --- I’ve proposen a patch here: https://gcc.gnu.org/pipermail/gcc-patches/2026-August/728906.html With it we handle the Andrea’s test in comment #1, and if we disable the probably_never_executed_edge_p restriction, we also get the original test. So, however way we fix the backward’s threader or generic copier, all that’s left is tweaking the built-in restriction. Richard, what’s your take on the never executed restriction, mark it as a regression and track it, or adjust it somehow?
