Searched refs:gate_sm (Results 1 – 2 of 2) sorted by relevance
/illumos-gate/usr/src/tools/smatch/src/ |
H A D | smatch_implied.c | 291 int *mixed, struct sm_state *gate_sm) in do_compare() argument 308 if (sm->sym != gate_sm->sym || in do_compare() 309 strcmp(sm->name, gate_sm->name) != 0) { in do_compare() 350 struct state_list **checked, int *mixed, struct sm_state *gate_sm, in __separate_pools() argument 587 static struct stree *filter_stack(struct sm_state *gate_sm, in filter_stack() argument 1138 static void get_tf_stacks_from_pool(struct sm_state *gate_sm, in get_tf_stacks_from_pool() argument 1146 if (!gate_sm) in get_tf_stacks_from_pool() 1149 if (strcmp(gate_sm->state->name, pool_sm->state->name) == 0) { in get_tf_stacks_from_pool() 1154 FOR_EACH_PTR(gate_sm->possible, tmp) { in get_tf_stacks_from_pool() 1162 add_ptr_list(false_stack, gate_sm); in get_tf_stacks_from_pool() [all …]
|
H A D | smatch.h | 600 void overwrite_states_using_pool(struct sm_state *gate_sm, struct sm_state *pool_sm);
|