__get_state
state = __get_state(my_id, start, sym);
state = __get_state(my_id, start, sym);
struct smatch_state *__get_state(int owner, const char *name, struct symbol *sym);
state = __get_state(my_id, name, sym);
estate = __get_state(SMATCH_EXTRA, sm->name, sm->sym);
estate = __get_state(SMATCH_EXTRA, sm->name, sm->sym);
estate = __get_state(SMATCH_EXTRA, sm->name, sm->sym);
state = __get_state(SMATCH_EXTRA, sm->name, sm->sym);
state = __get_state(SMATCH_EXTRA, start, sym);
state = __get_state(SMATCH_EXTRA, start, sym);
state = __get_state(SMATCH_EXTRA, sm->name, sm->sym);
user = __get_state(my_id, name, sym);
state = __get_state(my_id, buf, sym);
extra = __get_state(SMATCH_EXTRA, cur->name, cur->sym);
state = __get_state(SMATCH_EXTRA, sm->name, sm->sym);
state = __get_state(my_id, tmp->name, tmp->sym);
state = __get_state(SMATCH_EXTRA, sm->name, sm->sym);
extra = __get_state(SMATCH_EXTRA, sm->name, sm->sym);
return __get_state(my_id, name, sym);
s = __get_state(owner, name, sym);
s = __get_state(sm->owner, sm->name, sm->sym);
s = __get_state(sm->owner, sm->name, sm->sym);
s = __get_state(sm->owner, sm->name, sm->sym);
return __get_state(owner, name, sym);
tmp = __get_state(owner, name, sym);
tmp = __get_state(owner, name, sym);