Searched refs:no_overflow_p (Results 1 – 2 of 2) sorted by relevance
1355 bool rolls_p, no_overflow_p; in assert_loop_rolls_lt() local1399 no_overflow_p = (mpz_cmp (bnds->up, max) <= 0 in assert_loop_rolls_lt()1409 if (rolls_p && no_overflow_p) in assert_loop_rolls_lt()
1343 bool rolls_p, no_overflow_p; in assert_loop_rolls_lt() local1387 no_overflow_p = (mpz_cmp (bnds->up, max) <= 0 in assert_loop_rolls_lt()1397 if (rolls_p && no_overflow_p) in assert_loop_rolls_lt()