https://gcc.gnu.org/bugzilla/show_bug.cgi?id=78684
Jakub Jelinek <jakub at gcc dot gnu.org> changed: What |Removed |Added ---------------------------------------------------------------------------- CC| |amker at gcc dot gnu.org --- Comment #3 from Jakub Jelinek <jakub at gcc dot gnu.org> --- neg_step is true, because DR_STEP (dr_a.dr) is (ssizetype) -8. But idx_step is 0xffffffffffffffffUL. Note tree_int_cst_compare (idx_step, size_zero_node) < 0 is just weird, why don't you use tree_int_cst_sgn?