https://gcc.gnu.org/bugzilla/show_bug.cgi?id=100349
--- Comment #2 from Aldy Hernandez <aldyh at gcc dot gnu.org> --- evolution_part_in_loop_num() is returning NULL when evrp asks about the PHI result here: (gdb) p debug(stmt) c.1_4 = PHI <c.1_1(4)> Is this expected? If it is, we could easily return false if step is null and everything should just work.