Home
last modified time | relevance | path

Searched refs:sval_binop_overflows (Results 1 – 5 of 5) sorted by relevance

/illumos-gate/usr/src/tools/smatch/src/
H A Dsmatch_sval.c646 int sval_binop_overflows(sval_t left, int op, sval_t right) in sval_binop_overflows() function
702 if (sval_binop_overflows(left, '+', right)) in sval_binop_overflows()
730 return sval_binop_overflows(left, op, right); in sval_binop_overflows_no_sign()
H A Dsmatch_integer_overflow.c172 if (sval_binop_overflows(lmax, op, rmax)) in can_integer_overflow()
H A Dsmatch_ranges.c1762 if (sval_binop_overflows(rl_min(left), op, rl_min(right))) in handle_add_mult_rl()
1766 if (sval_binop_overflows(rl_max(left), op, rl_max(right))) in handle_add_mult_rl()
1805 if (!sval_binop_overflows(rl_min(left_rl), '-', rl_max(right_rl))) { in handle_sub_rl()
1810 !sval_binop_overflows(min_ll, '-', max_ll) && in handle_sub_rl()
1849 !sval_binop_overflows(rl_max(left), '+', rl_max(right))) in handle_OR_rl()
H A Dsmatch_math.c434 !sval_binop_overflows(rl_min(left_rl), '-', rl_max(right_rl))) { in handle_subtract_rl()
683 if (sval_binop_overflows(rl_min(left_rl), expr->op, rl_min(right_rl))) in handle_binop_rl_helper()
685 if (sval_binop_overflows(rl_max(left_rl), expr->op, rl_max(right_rl))) in handle_binop_rl_helper()
H A Dsmatch.h1177 int sval_binop_overflows(sval_t left, int op, sval_t right);