usr/src/tools/smatch/src/smatch.h

1177

int sval_binop_overflows(sval_t left, int op, sval_t right);

usr/src/tools/smatch/src/smatch_integer_overflow.c

172

if (sval_binop_overflows(lmax, op, rmax))

usr/src/tools/smatch/src/smatch_math.c

434

!sval_binop_overflows(rl_min(left_rl), '-', rl_max(right_rl))) {

usr/src/tools/smatch/src/smatch_math.c

683

if (sval_binop_overflows(rl_min(left_rl), expr->op, rl_min(right_rl)))

usr/src/tools/smatch/src/smatch_math.c

685

if (sval_binop_overflows(rl_max(left_rl), expr->op, rl_max(right_rl)))

usr/src/tools/smatch/src/smatch_ranges.c

1762

if (sval_binop_overflows(rl_min(left), op, rl_min(right)))

usr/src/tools/smatch/src/smatch_ranges.c

1766

if (sval_binop_overflows(rl_max(left), op, rl_max(right)))

usr/src/tools/smatch/src/smatch_ranges.c

1805

if (!sval_binop_overflows(rl_min(left_rl), '-', rl_max(right_rl))) {

usr/src/tools/smatch/src/smatch_ranges.c

1810

!sval_binop_overflows(min_ll, '-', max_ll) &&

usr/src/tools/smatch/src/smatch_ranges.c

1849

!sval_binop_overflows(rl_max(left), '+', rl_max(right)))

usr/src/tools/smatch/src/smatch_sval.c

702

if (sval_binop_overflows(left, '+', right))

usr/src/tools/smatch/src/smatch_sval.c

730

return sval_binop_overflows(left, op, right);