Symbol: get_start_states
usr/src/tools/smatch/src/check_nospec.c
99
struct stree *start_states = get_start_states();
usr/src/tools/smatch/src/smatch.h
1195
struct stree *get_start_states(void);
usr/src/tools/smatch/src/smatch_capped.c
276
orig = get_state_stree(get_start_states(), my_id, sm->name, sm->sym);
usr/src/tools/smatch/src/smatch_constraints.c
488
orig = get_state_stree(get_start_states(), my_id, sm->name, sm->sym);
usr/src/tools/smatch/src/smatch_db.c
1953
start_states = get_start_states();