| /illumos-gate/usr/src/tools/smatch/src/ |
| H A D | smatch_implied.c | 288 struct state_list **true_stack, in do_compare() argument
320 add_pool(true_stack, sm); in do_compare()
347 struct state_list **true_stack, in __separate_pools() argument
379 do_compare(sm, comparison, rl, true_stack, maybe_stack, false_stack, mixed, gate_sm); in __separate_pools()
381 …__separate_pools(sm->left, comparison, rl, true_stack, maybe_stack, false_stack, checked, mixed, g… in __separate_pools()
382 …__separate_pools(sm->right, comparison, rl, true_stack, maybe_stack, false_stack, checked, mixed, … in __separate_pools()
388 struct state_list **true_stack, in separate_pools() argument
398 …__separate_pools(sm, comparison, rl, true_stack, &maybe_stack, false_stack, checked, mixed, sm, &s… in separate_pools()
403 FOR_EACH_PTR(*true_stack, sm) { in separate_pools()
419 remove_pool(true_stack, tmp->pool); in separate_pools()
[all …]
|
| H A D | smatch_parsed_conditions.c | 70 struct state_list **true_stack, in filter_by_sm() argument
77 add_ptr_list(true_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()
88 struct state_list **true_stack, in parsed_condition_implication_hook() argument
109 add_ptr_list(true_stack, tmp); in parsed_condition_implication_hook()
|
| H A D | smatch_stored_conditions.c | 256 struct state_list **true_stack, in filter_by_sm() argument
267 add_ptr_list(true_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()
279 struct state_list **true_stack, in stored_condition_implication_hook() argument
311 add_ptr_list(true_stack, tmp); in stored_condition_implication_hook()
|
| H A D | smatch_states.c | 49 static struct stree_stack *true_stack; /* states after a t/f branch */ variable
508 delete_all_states_stree_stack_sym(&true_stack, sym); in __delete_all_states_sym()
509 delete_all_states_stree_stack_sym(&true_stack, sym); in __delete_all_states_sym()
685 __add_ptr_list(&backup, true_stack); in save_all_states()
686 true_stack = NULL; in save_all_states()
745 true_stack = pop_backup(); in restore_all_states()
763 check_stree_stack_free(&true_stack); in clear_all_states()
941 push_stree(&true_stack, clone_stree(cur_stree)); in __push_true_states()
1016 stree = pop_stree(&true_stack); in __merge_true_states()
|
| H A D | smatch_comparison.c | 2668 struct state_list **true_stack, in create_fake_history() argument
2691 add_ptr_list(true_stack, true_sm); in create_fake_history()
2696 struct state_list **true_stack, in filter_by_sm() argument
2725 create_fake_history(sm, op, true_stack, false_stack); in filter_by_sm()
2742 add_ptr_list(true_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()
2751 struct state_list **true_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 | 1206 struct state_list **true_stack,
1210 struct state_list **true_stack,
1214 struct state_list **true_stack,
|