Home
last modified time | relevance | path

Searched refs:prev_ub (Results 1 – 1 of 1) sorted by relevance

/netbsd-src/external/gpl3/gcc/dist/gcc/analyzer/
H A Dconstraint-manager.cc904 tree prev_ub = other->m_ranges[i - 1].m_upper; in get_or_create_inverse() local
906 gcc_assert (tree_int_cst_lt (prev_ub, iter_lb)); in get_or_create_inverse()
907 if (can_plus_one_p (prev_ub) && can_minus_one_p (iter_lb)) in get_or_create_inverse()
908 ranges.safe_push (bounded_range (plus_one (prev_ub), in get_or_create_inverse()