Home
last modified time | relevance | path

Searched refs:sval_binop (Results 1 – 7 of 7) sorted by relevance

/illumos-gate/usr/src/tools/smatch/src/
H A Dsmatch_ranges.c320 ret = sval_binop(ret, '-', tmp); in get_val_from_key()
327 ret = sval_binop(ret, '+', tmp); in get_val_from_key()
1699 max = sval_binop(rl_max(left), '/', right_min); in divide_rl_helper()
1700 min = sval_binop(rl_min(left), '/', right_max); in divide_rl_helper()
1743 res = sval_binop(l_sval, op, r_sval); in ptr_add_mult()
1764 min = sval_binop(rl_min(left), op, rl_min(right)); in handle_add_mult_rl()
1768 max = sval_binop(rl_max(left), op, rl_max(right)); in handle_add_mult_rl()
1806 tmp = sval_binop(rl_min(left_rl), '-', rl_max(right_rl)); in handle_sub_rl()
1821 tmp = sval_binop(rl_max(left_rl), '-', rl_min(right_rl)); in handle_sub_rl()
1953 min = sval_binop(min, SPECIAL_LEFTSHIFT, shift); in handle_lshift()
[all …]
H A Dsmatch_math.c435 tmp = sval_binop(rl_min(left_rl), '-', rl_max(right_rl)); in handle_subtract_rl()
441 tmp = sval_binop(rl_max(left_rl), '-', rl_min(right_rl)); in handle_subtract_rl()
463 sval = sval_binop(left, '%', right); in handle_mod_rl()
550 min = sval_binop(min, SPECIAL_RIGHTSHIFT, rl_max(right_rl)); in handle_right_shift()
551 max = sval_binop(max, SPECIAL_RIGHTSHIFT, rl_min(right_rl)); in handle_right_shift()
594 *res = sval_binop(left, expr->op, right); in handle_known_binop()
632 res = sval_binop(left_drange->min, op, right_drange->min); in handle_implied_binop()
688 min = sval_binop(rl_min(left_rl), expr->op, rl_min(right_rl)); in handle_binop_rl_helper()
689 max = sval_binop(rl_max(left_rl), expr->op, rl_max(right_rl)); in handle_binop_rl_helper()
H A Dcheck_64bit_shift.c82 sval = sval_binop(bits, SPECIAL_LEFTSHIFT, shifter); in match_shift_assignment()
H A Dsmatch_integer_overflow.c175 res = sval_binop(lmax, op, rmax); in can_integer_overflow()
H A Dsmatch_sval.c611 sval_t sval_binop(sval_t left, int op, sval_t right) in sval_binop() function
708 if (sval_cmp(left, sval_binop(max, invert_op(op), right)) > 0) in sval_binop_overflows()
H A Dsmatch_extra.c878 limit = sval_binop(estate_max(sm->state), '+', in __extra_pre_loop_hook_after()
881 limit = sval_binop(estate_min(sm->state), '-', in __extra_pre_loop_hook_after()
1929 min = sval_binop(left_min, '+', right_min); in handle_integer_overflow_test()
H A Dsmatch.h1176 sval_t sval_binop(sval_t left, int op, sval_t right);