Searched refs:pool_sm (Results 1 – 2 of 2) sorted by relevance
/illumos-gate/usr/src/tools/smatch/src/ |
H A D | smatch_implied.c | 1139 struct sm_state *pool_sm, in get_tf_stacks_from_pool() argument 1149 if (strcmp(gate_sm->state->name, pool_sm->state->name) == 0) { in get_tf_stacks_from_pool() 1150 add_ptr_list(true_stack, pool_sm); in get_tf_stacks_from_pool() 1155 if (strcmp(tmp->state->name, pool_sm->state->name) == 0) { in get_tf_stacks_from_pool() 1166 get_tf_stacks_from_pool(gate_sm->left, pool_sm, true_stack, false_stack); in get_tf_stacks_from_pool() 1167 get_tf_stacks_from_pool(gate_sm->right, pool_sm, true_stack, false_stack); 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() argument 1184 if (!pool_sm->pool) in overwrite_states_using_pool() 1187 get_tf_stacks_from_pool(gate_sm, pool_sm, &true_stack, &false_stack); in overwrite_states_using_pool()
|
H A D | smatch.h | 600 void overwrite_states_using_pool(struct sm_state *gate_sm, struct sm_state *pool_sm);
|