estate_type
type = estate_type(sm->state);
type = estate_type(estate);
if (is_unknown_binfo(estate_type(estate), binfo))
if (!type_signed(estate_type(sm->state)))
if (!type_signed(estate_type(sm->state)))
if (is_ptr_type(estate_type(state)))
rl = cast_rl(estate_type(state), rl);
if (!rl_has_sval(estate_rl(estate), sval_type_val(estate_type(estate), 0)))
type = estate_type(state);
set_state(SMATCH_EXTRA, tmp->var, tmp->sym, alloc_estate_whole(estate_type(state)));
set_extra_nomod_helper(rel->name, rel->sym, expr, clone_estate_cast(estate_type(estate), state));
end = sval_cast(estate_type(sm->state), end);
sval_type_val(estate_type(sm->state), 1));
sval_type_val(estate_type(sm->state), 1));
limit = sval_cast(estate_type(sm->state), limit);
return alloc_estate_whole(estate_type(sm->state));
set_extra_mod(tmp->name, tmp->sym, expr, alloc_estate_whole(estate_type(tmp->state)));
struct symbol *estate_type(struct smatch_state *state);
range_rl = cast_rl(estate_type(db_info->ret_state), range_rl);
true_rl = rl_truncate_cast(estate_type(sm->state), true_rl);
false_rl = rl_truncate_cast(estate_type(sm->state), false_rl);
separate_and_filter(sm, SPECIAL_NOTEQUAL, tmp_range_list(estate_type(sm->state), 0), __get_cur_stree(), implied_true, implied_false, &mixed);
tag_sval.type = estate_type(state);
return alloc_estate_whole(estate_type(sm->state));
if (!estate_type(state) || estate_type(state)->type != SYM_PTR)
orig_vals = get_orig_estate_type(name, sym, estate_type(state));
return alloc_estate_whole(estate_type(sm->state));