sval_cast
bits = sval_cast(&ullong_ctype, bits);
min = sval_cast(type, min);
max = sval_cast(type, max);
err_ptr_min = sval_cast(&ptr_ctype, err_ptr_min);
err_ptr_max = sval_cast(&ptr_ctype, err_ptr_max);
sval_t sval_cast(struct symbol *type, sval_t sval);
one = sval_cast(type, one);
two = sval_cast(type, two);
one = sval_cast(type, one);
two = sval_cast(type, two);
sval = sval_cast(cur_func_return_type(), sval);
set_state(SMATCH_EXTRA, name, sym, alloc_estate_sval(sval_cast(type, sval)));
state = alloc_estate_sval(sval_cast(left_type, sval));
sval = sval_cast(left_type, sval);
limit = sval_cast(type, limit);
min = sval_cast(type, min);
max = sval_cast(type, max);
right = sval_cast(type, right);
start = sval_cast(type, start);
start = sval_cast(type, start);
end = sval_cast(type, end);
max = sval_cast(type, max);
end = sval_cast(estate_type(sm->state), end);
limit = sval_cast(estate_type(sm->state), limit);
start = sval_cast(switch_type, start);
end = sval_cast(switch_type, end);
start = sval_cast(switch_type, start);
sval = sval_cast(get_type(stmt->switch_expression), sval);
*res_sval = sval_cast(type, sval);
sval_cast(get_type(expr->unop), sval);
right = sval_cast(get_type(expr), right);
*res = alloc_rl(sval_cast(right.type, zero), right);
*max = sval_cast(get_type(expr), estate_get_fuzzy_max(state));
*min = sval_cast(get_type(expr), sval);
*sval = sval_cast(get_type(expr), right);
min = sval_cast(rl_type(list), min);
max = sval_cast(rl_type(list), max);
min = sval_cast(type, min);
max = sval_cast(type, max);
add_range(rl, sval_cast(type, min), sval_cast(type, max));
add_range(rl, sval_cast(type, min), sval_cast(type, max));
add_range(rl, sval_cast(type, min), sval_cast(type, max));
add_range(rl, sval_type_val(type, 0), sval_cast(type, max));
max = sval_cast(type, max);
min = sval_cast(type, min);
if (sval_unsigned(max) && sval_is_negative(sval_cast(type, max))) {
if (!sval_is_negative(sval_cast(type, min))) {
add_range(rl, sval_cast(type, min), sval_type_max(type));
min = sval_cast(type, min);
max = sval_cast(type, max);
add_range(rl, sval_cast(type, min), sval_cast(type, max));
min = sval_cast(rl_type(*list), min);
max = sval_cast(rl_type(*list), max);
min = sval_cast(rl_type(*list), min);
max = sval_cast(rl_type(*list), max);
ret = sval_cast(get_type(expr), ret);
one_cast = sval_cast(type, one);
two_cast = sval_cast(type, two);
return sval_cast(type, ret);
sval = sval_cast(sval.type, sval);
sval = sval_cast(sval.type, sval);
return sval_cast(type, ret);
left = sval_cast(type, left);
right = sval_cast(type, right);
return sval_cast(type, ret);
ret = sval_cast(get_type(expr), ret);