https://gcc.gnu.org/bugzilla/show_bug.cgi?id=114551
Andrew Pinski <pinskia at gcc dot gnu.org> changed: What |Removed |Added ---------------------------------------------------------------------------- CC| |pinskia at gcc dot gnu.org --- Comment #4 from Andrew Pinski <pinskia at gcc dot gnu.org> --- Note you can remove continue/[[unlikely]]` and reproduce it with `-O3 -fdisable-tree-lim2`. Also note disabling VRP2, `-fdisable-tree-vrp2` allows the code to pass which gets me the feeling like maybe lsplit is not rewriting the check to be overflow safe.