Home
last modified time | relevance | path

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

/illumos-gate/usr/src/tools/smatch/src/
H A Dsmatch_db.c1692 bool separate_zero; in split_positive_from_negative() local
1712 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()