Searched refs:get_tf_stacks_from_pool (Results 1 – 1 of 1) sorted by relevance
| /illumos-gate/usr/src/tools/smatch/src/ |
| H A D | smatch_implied.c | 1138 static void get_tf_stacks_from_pool(struct sm_state *gate_sm, in get_tf_stacks_from_pool() function
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()
1187 get_tf_stacks_from_pool(gate_sm, pool_sm, &true_stack, &false_stack); in overwrite_states_using_pool()
|