estate_set_treat_untagged
estate_set_treat_untagged(tmp);
void estate_set_treat_untagged(struct smatch_state *state);
estate_set_treat_untagged(state);
estate_set_treat_untagged(new);
estate_set_treat_untagged(state);
estate_set_treat_untagged(state);
estate_set_treat_untagged(state);
estate_set_treat_untagged(state);