Home
last modified time | relevance | path

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

/illumos-gate/usr/src/tools/smatch/src/
H A Dsmatch_comparison.c171 sval_t left_min, left_max, right_min, right_max; in rl_comparison() local
185 left_min = rl_min(left_rl); in rl_comparison()
190 if (left_min.value == left_max.value && in rl_comparison()
192 left_min.value == right_min.value) in rl_comparison()
199 if (sval_cmp(left_min, right_max) > 0) in rl_comparison()
201 if (sval_cmp(left_min, right_max) == 0) in rl_comparison()
H A Dsmatch_ranges.c1844 unsigned long long left_min, left_max, right_min, right_max; in handle_OR_rl() local
1852 left_min = rl_bits_always_set(left); in handle_OR_rl()
1858 min.uvalue = left_min | right_min; in handle_OR_rl()
H A Dsmatch_extra.c1900 sval_t left_min, right_min, min, max; in handle_integer_overflow_test() local
1927 get_absolute_min(left->left, &left_min); in handle_integer_overflow_test()
1929 min = sval_binop(left_min, '+', right_min); in handle_integer_overflow_test()