https://gcc.gnu.org/bugzilla/show_bug.cgi?id=88019
Richard Biener <rguenth at gcc dot gnu.org> changed: What |Removed |Added ---------------------------------------------------------------------------- Status|UNCONFIRMED |ASSIGNED Assignee|unassigned at gcc dot gnu.org |rguenth at gcc dot gnu.org Ever confirmed|0 |1 --- Comment #2 from Richard Biener <rguenth at gcc dot gnu.org> --- Ah well, the usual -ftrapv issue with COND_EXPRs. #13 0x0000000000b2ff19 in create_empty_if_region_on_edge ( entry_edge=<edge 0x7ffff6600420 (28 -> 33)>, condition=<lt_expr 0x7ffff686fb68>) at /space/rguenther/src/gcc-slpcost/gcc/cfgloopmanip.c:704 (gdb) p debug_generic_expr (condition) (if (graphite_IV.511_52 != 0) { iftmp.512 = _42 + -2; } else { iftmp.512 = 0; }) < (graphite_IV.511_52 != 0 ? graphite_IV.511_52 /[ex] 4 + -2 : 0) + 1 the issue is the COND_EXPRs here. That's fixable with rewrite_to_non_trapping_overflow "easily".