cast_rl
rl = cast_rl(get_type(arg), rl);
rl = cast_rl(get_type(arg), rl);
rl = cast_rl(get_type(arg), rl);
*rl = cast_rl(get_type(call), *rl);
rl_left = cast_rl(type, rl_left_orig);
rl_right = cast_rl(type, rl_right_orig);
rl_right = cast_rl(type, rl_right_orig);
rl_left = cast_rl(type, rl_left_orig);
orig = cast_rl(&ptr_ctype, orig);
rl = cast_rl(type, rl);
rl = cast_rl(type, rl);
rl = cast_rl(&int_ctype, rl);
rl = cast_rl(&int_ctype, rl);
*rl = cast_rl(&ulong_ctype, *rl);
*rl = cast_rl(get_type(call), *rl);
left_rl = cast_rl(type, left_rl);
right_rl = cast_rl(type, right_rl);
rl = cast_rl(cur_func_return_type(), rl);
rl = cast_rl(cur_func_return_type(), rl);
rl = cast_rl(cur_func_return_type(), rl);
rl = cast_rl(cur_func_return_type(), estate_rl(tmp->state));
nonzero_rl = cast_rl(cur_func_return_type(), nonzero_rl);
rl = cast_rl(estate_type(state), rl);
dinfo->value_ranges = clone_rl(cast_rl(type, estate_rl(state)));
rl = cast_rl(get_type(left), rl);
rl = cast_rl(left_type, rl);
rl = cast_rl(left_type, rl);
rl = cast_rl(left_type, rl);
left_orig = cast_rl(type, left_orig);
right_orig = cast_rl(type, right_orig);
new = alloc_estate_rl(cast_rl(new_type, estate_rl(state)));
rl = cast_rl(get_type(var), rl);
abs_rl = cast_rl(rl_type(start), estate_rl(state));
new = cast_rl(var_type, new);
added = cast_rl(param_type, added);
rl = cast_rl(type, rl);
struct range_list *cast_rl(struct symbol *type, struct range_list *rl);
valid_ptr_rl = cast_rl(&ptr_ctype, valid_ptr_rl);
rl = cast_rl(get_type(expr->left), rl);
rl = cast_rl(get_type(expr->left), rl);
ret_range = cast_rl(get_type(db_info->expr), ret_range);
rl = cast_rl(get_type(expr->left), rl);
state = alloc_estate_rl(cast_rl(get_type(expr), clone_rl(estate_rl(db_info->ret_state))));
state = alloc_estate_rl(cast_rl(get_type(expr), clone_rl(estate_rl(db_info->ret_state))));
state = alloc_estate_rl(cast_rl(get_type(expr), clone_rl(estate_rl(db_info->ret_state))));
passed = cast_rl(compare_type, passed);
ret_range = cast_rl(get_type(db_info->expr), ret_range);
range_rl = cast_rl(estate_type(db_info->ret_state), range_rl);
ret_range = cast_rl(get_type(db_info->expr->right), ret_range);
orig = cast_rl(compare_type, orig);
orig_rl = cast_rl(rl_type(rl), estate_rl(sm->state));
var_rl = cast_rl(rl_type(rl), estate_rl(sm->state));
rl = cast_rl(type, rl);
rl = cast_rl(type, rl);
rl = cast_rl(get_type(expr->left), rl);
rl = cast_rl(get_type(expr->left), rl);
*res = cast_rl(type, rl);
left_rl = cast_rl(type, left_rl);
right_rl = cast_rl(type, right_rl);
left_rl = cast_rl(type, left_orig);
right_rl = cast_rl(type, right_orig);
*res = cast_rl(type, alloc_rl(min, max));
left_rl = cast_rl(type, left_rl);
right_rl = cast_rl(type, right_rl);
left_rl = cast_rl(type, left_rl);
right_rl = cast_rl(type, right_rl);
left_rl = cast_rl(type, left_rl);
right_rl = cast_rl(type, right_rl);
left_ranges = cast_rl(type, left_ranges);
right_ranges = cast_rl(type, right_ranges);
true_rl = cast_rl(type, true_rl);
false_rl = cast_rl(type, false_rl);
rl = cast_rl(get_type(expr->left), rl);
rl_left = cast_rl(type, rl_left);
rl_right = cast_rl(type, rl_right);
rl_left = cast_rl(type, rl_left);
rl_right = cast_rl(type, rl_right);
left_ranges = cast_rl(type, left_ranges);
right_ranges = cast_rl(type, right_ranges);
left_ranges = cast_rl(type, left_ranges);
right_ranges = cast_rl(type, right_ranges);
one = cast_rl(large_type, one);
two = cast_rl(large_type, two);
return cast_rl(ret_type, ret);
return cast_rl(rl_type(left), ret);
left_rl = cast_rl(type, left_orig);
right_rl = cast_rl(type, right_orig);
left_casted = cast_rl(&llong_ctype, left_orig);
right_casted = cast_rl(&llong_ctype, right_orig);
return cast_rl(type, result);
return cast_rl(rl_type(left), alloc_rl(min, max));
return cast_rl(rl_type(left), alloc_rl(zero, max));
left = cast_rl(&uint_ctype, left_orig);
left = cast_rl(&ullong_ctype, left_orig);
ret = cast_rl(rl_type(left_orig), ret);
left = cast_rl(cast_type, left);
right = cast_rl(cast_type, right);
left_orig = cast_rl(cast_type, left_orig);
right_orig = cast_rl(cast_type, right_orig);
*rl = cast_rl(rl_type(*rl), ret_rl);
casted_start = cast_rl(type, start_rl);
right_orig = cast_rl(type, right_orig);
return cast_rl(rl_type(start_rl), casted_start);
rl = cast_rl(type, rl);
*list = cast_rl(min.type, *list);
*list = cast_rl(min.type, *list);
rl = cast_rl(type, rl);
rl = cast_rl(type, rl);
rl = cast_rl(type, rl);