get_state
wait_state(int fd, int get_state())
while (state = get_state(fd)) {
parallel_comm(int fd, int get_state())
wait_state(fd, get_state);
wait_state(fd, get_state);
wait_state(fd, get_state);
wait_state(int fd, int get_state())
while (state = get_state(fd)) {
return get_state(my_id, name, sym) == &inc;
estate = get_state(SMATCH_EXTRA, name, sym);
state = get_state(SMATCH_EXTRA, sm->name, sm->sym);
if (!get_state(my_id, name, sym))
estate = get_state(SMATCH_EXTRA, arg->ident->name, arg);
if (state == &ok && !get_state(my_id, name, sym))
if (!get_state(my_id, name, sym))
if (get_state(barrier_id, "barrier", NULL) == &nospec)
state = get_state(my_id, "depends on", NULL);
if (get_state(my_id, "depends on", NULL) != &readl_00)
if (get_state(my_member_id, buf, outer))
state = get_state(my_id, sym->ident->name, sym);
if (get_state(my_id, "unwind_function", NULL) == &called)
struct smatch_state *get_state(int owner, const char *name, struct symbol *sym);
estate = get_state(SMATCH_EXTRA, sm->name, sm->sym);
estate = get_state(SMATCH_EXTRA, sm->name, sm->sym);
state = get_state(my_size_id, sym->ident->name, sym);
if (get_state(my_id, name, sym) == &capped)
state = get_state(link_id, right_var, right_sym);
state = get_state(comparison_id, tmp, NULL);
state = get_state(comparison_id, buf, NULL);
state = get_state(link_id, right_var, right_sym);
state = get_state(comparison_id, tmp, NULL);
state = get_state(comparison_id, buf, NULL);
old_state = get_state(link_id, var, sym);
state = get_state(comparison_id, tmp, NULL);
state = get_state(comparison_id, tmp, NULL);
old = get_state(comparison_id, tmp, NULL);
ret = get_state(owner, name, sym);
state = get_state(param_id, arg->ident->name, arg);
right_state = get_state(SMATCH_EXTRA, right_name, right_sym);
orig = get_state(SMATCH_EXTRA, name, sym);
estate_is_unknown(state) && !get_state(SMATCH_EXTRA, name, sym))
estate = get_state(SMATCH_EXTRA, name, sym);
state = get_state(SMATCH_EXTRA, name, sym);
state = get_state(SMATCH_EXTRA, fullname, sym);
state = get_state(SMATCH_EXTRA, fullname, sym);
state = get_state(SMATCH_EXTRA, tmp->var, tmp->sym);
orig_state = get_state(SMATCH_EXTRA, name, sym);
estate = get_state(SMATCH_EXTRA, rel->name, rel->sym);
orig_state = get_state(SMATCH_EXTRA, name, sym);
return get_state(my_id, var, sym) == &fresh;
state = get_state(SMATCH_EXTRA, cur->name, cur->sym);
state = get_state(SMATCH_EXTRA, name, sym);
state = get_state(SMATCH_EXTRA, name, sym);
if (get_state(my_id, "impossible", NULL) == &impossible)
if (get_state(my_return_id, "impossible", NULL) == &impossible) {
state = get_state(my_id, name, sym);
state = get_state(my_id, vs->var, vs->sym);
state = get_state(my_id, name, sym);
state = get_state(my_id, name, sym);
if (!option_no_db && get_state(my_call_id, "this_function", NULL) != &called) {
state = get_state(my_id, name, sym);
state = get_state(my_id, buf, NULL);
old_state = get_state(link_id, var, sym);
state = get_state(SMATCH_EXTRA, var, sym);
prev = get_state(my_id, name, sym);
old_state = get_state(link_id, var, sym);
state = get_state(my_id, sm->name, sm->sym);
extra = get_state(SMATCH_EXTRA, cur->name, cur->sym);
state = get_state(my_id, name, sym);
state = get_state(SMATCH_EXTRA, name, sym);
state = get_state(my_id, name, sym);
state = get_state(SMATCH_EXTRA, name, sym);
if (get_state(my_id, name, sym))
state = get_state(SMATCH_EXTRA, buf, sym);
abs = get_state(my_id, name, sym);
extra = get_state(SMATCH_EXTRA, cur->name, cur->sym);
state = get_state(my_id, name, start_sym);
state = get_state(my_id, sym->ident->name, sym);
state = get_state(my_id, "stmts", NULL);
ret = get_state(owner, name, sym);
old_state = get_state(link_id, var, sym);
state = get_state(my_id, name, NULL);
uint_t state = get_state(dip);
sync = is_sync_neg(get_state(dip), evtype);