alloc_estate_sval
return alloc_estate_sval(sval);
set_extra_expr_mod(expr->left, alloc_estate_sval(sval_type_val(get_type(expr->left), 1)));
set_extra_expr_mod(expr->left, alloc_estate_sval(sval_type_val(get_type(expr->left), 0)));
set_state_stree(&db_info.stree, SMATCH_EXTRA, arg->ident->name, arg, alloc_estate_sval(sval));
set_state(RETURN_ID, "return_ranges", NULL, alloc_estate_sval(sval));
set_state(RETURN_ID, "return_ranges", NULL, alloc_estate_sval(sval));
set_state(SMATCH_EXTRA, name, sym, alloc_estate_sval(sval_cast(type, sval)));
state = alloc_estate_sval(sval_cast(left_type, sval));
state = alloc_estate_sval(sval);
set_extra_mod(sm->name, sm->sym, condition->unop, alloc_estate_sval(after_value));
state = alloc_estate_sval(limit);
struct smatch_state *alloc_estate_sval(sval_t sval);
return alloc_estate_sval(sval);