Home
last modified time | relevance | path

Searched refs:left_max (Results 1 – 2 of 2) 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
186 left_max = rl_max(left_rl); in rl_comparison()
190 if (left_min.value == left_max.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_ranges.c1844 unsigned long long left_min, left_max, right_min, right_max; in handle_OR_rl() local
1853 left_max = rl_bits_maybe_set(left); in handle_OR_rl()
1859 max.uvalue = left_max | right_max; in handle_OR_rl()