estate_set_capped
estate_set_capped(tmp);
void estate_set_capped(struct smatch_state *state);
estate_set_capped(new);
estate_set_capped(state);
estate_set_capped(state);
estate_set_capped(new);
estate_set_capped(state);
estate_set_capped(state);
estate_set_capped(capped_state);
estate_set_capped(state);