sval_binop_overflows
int sval_binop_overflows(sval_t left, int op, sval_t right);
if (sval_binop_overflows(lmax, op, rmax))
!sval_binop_overflows(rl_min(left_rl), '-', rl_max(right_rl))) {
if (sval_binop_overflows(rl_min(left_rl), expr->op, rl_min(right_rl)))
if (sval_binop_overflows(rl_max(left_rl), expr->op, rl_max(right_rl)))
if (sval_binop_overflows(rl_min(left), op, rl_min(right)))
if (sval_binop_overflows(rl_max(left), op, rl_max(right)))
if (!sval_binop_overflows(rl_min(left_rl), '-', rl_max(right_rl))) {
!sval_binop_overflows(min_ll, '-', max_ll) &&
!sval_binop_overflows(rl_max(left), '+', rl_max(right)))
if (sval_binop_overflows(left, '+', right))
return sval_binop_overflows(left, op, right);