Searched refs:false_stack (Results 1 – 6 of 6) sorted by relevance
/illumos-gate/usr/src/tools/smatch/src/ |
H A D | smatch_implied.c | 290 struct state_list **false_stack, in do_compare() argument 322 add_pool(false_stack, sm); in do_compare() 349 struct state_list **false_stack, in __separate_pools() argument 389 struct state_list **false_stack, in separate_pools() argument 412 FOR_EACH_PTR(*false_stack, sm) { in separate_pools() 418 remove_pool(false_stack, tmp->pool); in separate_pools() 657 free_slist(&false_stack); in separate_and_filter() 846 free_slist(&false_stack); in handled_by_comparison_hook() 887 free_slist(&false_stack); in handled_by_parsed_conditions() 912 free_slist(&false_stack); in handled_by_stored_conditions() [all …]
|
H A D | smatch_parsed_conditions.c | 71 struct state_list **false_stack) in filter_by_sm() argument 79 add_ptr_list(false_stack, sm); in filter_by_sm() 82 filter_by_sm(sm->left, true_stack, false_stack); in filter_by_sm() 83 filter_by_sm(sm->right, true_stack, false_stack); in filter_by_sm() 89 struct state_list **false_stack) in parsed_condition_implication_hook() argument 113 add_ptr_list(false_stack, tmp); in parsed_condition_implication_hook()
|
H A D | smatch_stored_conditions.c | 257 struct state_list **false_stack, in filter_by_sm() argument 269 add_ptr_list(false_stack, sm); in filter_by_sm() 273 filter_by_sm(sm->left, true_stack, false_stack, recurse_cnt); in filter_by_sm() 274 filter_by_sm(sm->right, true_stack, false_stack, recurse_cnt); in filter_by_sm() 280 struct state_list **false_stack) in stored_condition_implication_hook() argument 315 add_ptr_list(false_stack, tmp); in stored_condition_implication_hook()
|
H A D | smatch_states.c | 50 static struct stree_stack *false_stack; variable 510 delete_all_states_stree_stack_sym(&false_stack, sym); in __delete_all_states_sym() 687 __add_ptr_list(&backup, false_stack); in save_all_states() 688 false_stack = NULL; in save_all_states() 744 false_stack = pop_backup(); in restore_all_states() 764 check_stree_stack_free(&false_stack); in clear_all_states() 936 push_stree(&false_stack, pre_clone); in __use_cond_states() 947 cur_stree = pop_stree(&false_stack); in __use_false_states() 954 stree = pop_stree(&false_stack); in __discard_false_states() 962 stree = pop_stree(&false_stack); in __merge_false_states()
|
H A D | smatch_comparison.c | 2669 struct state_list **false_stack) in create_fake_history() argument 2692 add_ptr_list(false_stack, false_sm); in create_fake_history() 2697 struct state_list **false_stack, in filter_by_sm() argument 2725 create_fake_history(sm, op, true_stack, false_stack); in filter_by_sm() 2744 add_ptr_list(false_stack, sm); in filter_by_sm() 2746 filter_by_sm(sm->left, op, true_stack, false_stack, useful); in filter_by_sm() 2747 filter_by_sm(sm->right, op, true_stack, false_stack, useful); in filter_by_sm() 2752 struct state_list **false_stack) in comparison_implication_hook() argument 2788 filter_by_sm(sm, op, true_stack, false_stack, &useful); in comparison_implication_hook()
|
H A D | smatch.h | 1207 struct state_list **false_stack); 1211 struct state_list **false_stack); 1215 struct state_list **false_stack);
|