Home
last modified time | relevance | path

Searched refs:pool_sm (Results 1 – 2 of 2) sorted by relevance

/illumos-gate/usr/src/tools/smatch/src/
H A Dsmatch_implied.c1139 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 Dsmatch.h600 void overwrite_states_using_pool(struct sm_state *gate_sm, struct sm_state *pool_sm);