Home
last modified time | relevance | path

Searched refs:get_all_states_from_stree (Results 1 – 2 of 2) sorted by relevance

/illumos-gate/usr/src/tools/smatch/src/
H A Dsmatch_states.c526 struct stree *get_all_states_from_stree(int owner, struct stree *source) in get_all_states_from_stree() function
541 return get_all_states_from_stree(owner, cur_stree); in get_all_states_stree()
H A Dsmatch.h373 struct stree *get_all_states_from_stree(int owner, struct stree *source);