Searched refs:separate_zero (Results 1 – 1 of 1) sorted by relevance
1692 bool separate_zero; in split_positive_from_negative() local1712 separate_zero = has_separate_zero_null(sm); in split_positive_from_negative()1714 if (!assume(compare_expression(expr, separate_zero ? '>' : SPECIAL_GTE, zero_expr()))) in split_positive_from_negative()1726 if (separate_zero) { in split_positive_from_negative()