Home
last modified time | relevance | path

Searched defs:true_stack (Results 1 – 5 of 5) sorted by relevance

/illumos-gate/usr/src/tools/smatch/src/
H A Dsmatch_parsed_conditions.c70 struct state_list **true_stack, in filter_by_sm()
88 struct state_list **true_stack, in parsed_condition_implication_hook()
H A Dsmatch_implied.c288 struct state_list **true_stack, in do_compare()
347 struct state_list **true_stack, in __separate_pools()
388 struct state_list **true_stack, in separate_pools()
634 struct state_list *true_stack = NULL; in separate_and_filter() local
824 struct state_list *true_stack = NULL; in handled_by_comparison_hook() local
871 struct state_list *true_stack = NULL; in handled_by_parsed_conditions() local
896 struct state_list *true_stack = NULL; in handled_by_stored_conditions() local
1140 struct state_list **true_stack, in get_tf_stacks_from_pool()
1178 struct state_list *true_stack = NULL; in overwrite_states_using_pool() local
H A Dsmatch_stored_conditions.c256 struct state_list **true_stack, in filter_by_sm()
279 struct state_list **true_stack, in stored_condition_implication_hook()
H A Dsmatch_comparison.c2668 struct state_list **true_stack, in create_fake_history()
2696 struct state_list **true_stack, in filter_by_sm()
2751 struct state_list **true_stack, in comparison_implication_hook()
H A Dsmatch_states.c49 static struct stree_stack *true_stack; /* states after a t/f branch */ variable