Home
last modified time | relevance | path

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

/illumos-gate/usr/src/tools/smatch/src/
H A Dsmatch_parsed_conditions.c71 struct state_list **false_stack) in filter_by_sm()
89 struct state_list **false_stack) in parsed_condition_implication_hook()
H A Dsmatch_implied.c290 struct state_list **false_stack, in do_compare()
349 struct state_list **false_stack, in __separate_pools()
389 struct state_list **false_stack, in separate_pools()
635 struct state_list *false_stack = NULL; in separate_and_filter() local
825 struct state_list *false_stack = NULL; in handled_by_comparison_hook() local
872 struct state_list *false_stack = NULL; in handled_by_parsed_conditions() local
897 struct state_list *false_stack = NULL; in handled_by_stored_conditions() local
1141 struct state_list **false_stack) in get_tf_stacks_from_pool()
1179 struct state_list *false_stack = NULL; in overwrite_states_using_pool() local
H A Dsmatch_stored_conditions.c257 struct state_list **false_stack, in filter_by_sm()
280 struct state_list **false_stack) in stored_condition_implication_hook()
H A Dsmatch_comparison.c2669 struct state_list **false_stack) in create_fake_history()
2697 struct state_list **false_stack, in filter_by_sm()
2752 struct state_list **false_stack) in comparison_implication_hook()
H A Dsmatch_states.c50 static struct stree_stack *false_stack; variable