Home
last modified time | relevance | path

Searched defs: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
H A Dsmatch_ranges.c1683 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 Dsmatch_comparison.c171 sval_t left_min, left_max, right_min, right_max; in rl_comparison() local
H A Dsmatch_extra.c1900 sval_t left_min, right_min, min, max; in handle_integer_overflow_test() local