Searched refs:sval_binop_overflows (Results 1 – 5 of 5) sorted by relevance
/illumos-gate/usr/src/tools/smatch/src/ |
H A D | smatch_sval.c | 646 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 D | smatch_integer_overflow.c | 172 if (sval_binop_overflows(lmax, op, rmax)) in can_integer_overflow()
|
H A D | smatch_ranges.c | 1762 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 D | smatch_math.c | 434 !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 D | smatch.h | 1177 int sval_binop_overflows(sval_t left, int op, sval_t right);
|