get_all_states_stree (reference) in projects: illumos-gate

Searched refs:get_all_states_stree (Results 1 – 8 of 8) sorted by relevance

/illumos-gate/usr/src/tools/smatch/src/
H A D	smatch_param_limit.c	`57 start_states = get_all_states_stree(SMATCH_EXTRA); in save_start_states()`
H A D	smatch_param_filter.c	`42 start_states = get_all_states_stree(SMATCH_EXTRA); in save_start_states()`
H A D	check_debug.c	`38 stree = get_all_states_stree(SMATCH_EXTRA); in match_all_values()`
H A D	smatch_states.c	`539 struct stree *get_all_states_stree(int owner) in get_all_states_stree() function`
H A D	smatch_db.c	`983 stree = get_all_states_stree(cb->owner); in match_call_info() 1008 stree = get_all_states_stree(cb->owner); in match_call_info_new()`
H A D	smatch_kernel_user_data.c	`895 return get_all_states_stree(my_id); in get_user_stree()`
H A D	smatch.h	`374 struct stree *get_all_states_stree(int id);`
H A D	smatch_flow.c	`1852 global_states = clone_estates_perm(get_all_states_stree(SMATCH_EXTRA)); in split_c_file_functions()`