Home
last modified time | relevance | path

Searched defs:gate_sm (Results 1 – 1 of 1) sorted by relevance

/illumos-gate/usr/src/tools/smatch/src/
H A Dsmatch_implied.c291 int *mixed, struct sm_state *gate_sm) in do_compare()
350 struct state_list **checked, int *mixed, struct sm_state *gate_sm, in __separate_pools()
587 static struct stree *filter_stack(struct sm_state *gate_sm, in filter_stack()
1138 static void get_tf_stacks_from_pool(struct sm_state *gate_sm, in get_tf_stacks_from_pool()
1176 void overwrite_states_using_pool(struct sm_state *gate_sm, struct sm_state *pool_sm) in overwrite_states_using_pool()