Searched refs:filter_stack (Results 1 – 1 of 1) sorted by relevance
| /illumos-gate/usr/src/tools/smatch/src/ |
| H A D | smatch_implied.c | 587 static struct stree *filter_stack(struct sm_state *gate_sm, in filter_stack() function
653 *true_states = filter_stack(sm, pre_stree, false_stack, true_stack); in separate_and_filter()
655 *false_states = filter_stack(sm, pre_stree, true_stack, false_stack); in separate_and_filter()
834 *implied_true = filter_stack(sm, pre_stree, false_stack, true_stack); in handled_by_comparison_hook()
835 *implied_false = filter_stack(sm, pre_stree, true_stack, false_stack); in handled_by_comparison_hook()
882 *implied_true = filter_stack(sm, pre_stree, false_stack, true_stack); in handled_by_parsed_conditions()
883 *implied_false = filter_stack(sm, pre_stree, true_stack, false_stack); in handled_by_parsed_conditions()
907 *implied_true = filter_stack(sm, pre_stree, false_stack, true_stack); in handled_by_stored_conditions()
908 *implied_false = filter_stack(sm, pre_stree, true_stack, false_stack); in handled_by_stored_conditions()
1191 implied_true = filter_stack(gate_sm, pre_stree, false_stack, true_stack); in overwrite_states_using_pool()
|