Searched defs:right_min (Results 1 – 4 of 4) sorted by relevance
| /illumos-gate/usr/src/tools/smatch/src/ |
| H A D | check_signed_integer_overflow_check.c | 69 sval_t left_val, right_min; in match_binop() local
|
| H A D | smatch_ranges.c | 1683 sval_t right_min, right_max; in divide_rl_helper() local
1844 unsigned long long left_min, left_max, right_min, right_max; in handle_OR_rl() local
|
| H A D | smatch_comparison.c | 171 sval_t left_min, left_max, right_min, right_max; in rl_comparison() local
|
| H A D | smatch_extra.c | 1900 sval_t left_min, right_min, min, max; in handle_integer_overflow_test() local
|