Home
last modified time | relevance | path

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

/illumos-gate/usr/src/tools/smatch/src/
H A Dcheck_signed_integer_overflow_check.c69 sval_t left_val, right_min; in match_binop() local
90 get_absolute_min(expr->right, &right_min); in match_binop()
91 if (!sval_is_negative(right_min)) in match_binop()
H A Dsmatch_ranges.c1683 sval_t right_min, right_max; in divide_rl_helper() local
1690 right_min = rl_min(right); in divide_rl_helper()
1692 if (right_min.value == 0 && right_max.value == 0) in divide_rl_helper()
1694 if (right_min.value == 0) in divide_rl_helper()
1695 right_min.value = 1; in divide_rl_helper()
1699 max = sval_binop(rl_max(left), '/', right_min); in divide_rl_helper()
1844 unsigned long long left_min, left_max, right_min, right_max; in handle_OR_rl() local
1854 right_min = rl_bits_always_set(right); in handle_OR_rl()
1858 min.uvalue = left_min | right_min; in handle_OR_rl()
H A Dsmatch_comparison.c171 sval_t left_min, left_max, right_min, right_max; in rl_comparison() local
187 right_min = rl_min(right_rl); in rl_comparison()
191 right_min.value == right_max.value && in rl_comparison()
192 left_min.value == right_min.value) in rl_comparison()
195 if (sval_cmp(left_max, right_min) < 0) in rl_comparison()
197 if (sval_cmp(left_max, right_min) == 0) in rl_comparison()
H A Dsmatch_extra.c1900 sval_t left_min, right_min, min, max; in handle_integer_overflow_test() local
1928 get_absolute_min(left->right, &right_min); in handle_integer_overflow_test()
1929 min = sval_binop(left_min, '+', right_min); in handle_integer_overflow_test()