Searched refs:right_max (Results 1 – 2 of 2) sorted by relevance
| /illumos-gate/usr/src/tools/smatch/src/ |
| H A D | smatch_ranges.c | 1683 sval_t right_min, right_max; in divide_rl_helper() local
1691 right_max = rl_max(right); in divide_rl_helper()
1692 if (right_min.value == 0 && right_max.value == 0) in divide_rl_helper()
1696 if (right_max.value == 0) in divide_rl_helper()
1697 right_max.value = -1; in divide_rl_helper()
1700 min = sval_binop(rl_min(left), '/', right_max); in divide_rl_helper()
1844 unsigned long long left_min, left_max, right_min, right_max; in handle_OR_rl() local
1855 right_max = rl_bits_maybe_set(right); in handle_OR_rl()
1859 max.uvalue = left_max | right_max; in handle_OR_rl()
|
| H A D | smatch_comparison.c | 171 sval_t left_min, left_max, right_min, right_max; in rl_comparison() local
188 right_max = rl_max(right_rl); in rl_comparison()
191 right_min.value == right_max.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()
|