Home
last modified time | relevance | path

Searched refs:gate_sm (Results 1 – 2 of 2) 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() 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 Dsmatch.h600 void overwrite_states_using_pool(struct sm_state *gate_sm, struct sm_state *pool_sm);