Searched refs:implies_nonnegative_p (Results 1 – 1 of 1) sorted by relevance
1510 implies_nonnegative_p (tree cond, tree val) in implies_nonnegative_p() function1581 && !implies_nonnegative_p (additional, op0)) in derive_constant_upper_bound()1606 || !implies_nonnegative_p (additional, op0)) in derive_constant_upper_bound()