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
379 do_compare(sm, comparison, rl, true_stack, maybe_stack, false_stack, mixed, gate_sm); in __separate_pools()
381 …->left, comparison, rl, true_stack, maybe_stack, false_stack, checked, mixed, gate_sm, start_time); in __separate_pools()
382 …>right, comparison, rl, true_stack, maybe_stack, false_stack, checked, mixed, gate_sm, start_time); in __separate_pools()
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()
[all …]
H A Dsmatch.h600 void overwrite_states_using_pool(struct sm_state *gate_sm, struct sm_state *pool_sm);