Searched refs:filter_by_sm (Results 1 – 3 of 3) sorted by relevance
| /illumos-gate/usr/src/tools/smatch/src/ |
| H A D | smatch_parsed_conditions.c | 69 static void filter_by_sm(struct sm_state *sm, in filter_by_sm() function
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()
104 filter_by_sm(sm, &tmp_true, &tmp_false); in parsed_condition_implication_hook()
|
| H A D | smatch_stored_conditions.c | 255 static void filter_by_sm(struct sm_state *sm, in filter_by_sm() function
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()
302 filter_by_sm(sm, &tmp_true, &tmp_false, &recurse_cnt); in stored_condition_implication_hook()
|
| H A D | smatch_comparison.c | 2695 static void filter_by_sm(struct sm_state *sm, int op, in filter_by_sm() function
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()
2788 filter_by_sm(sm, op, true_stack, false_stack, &useful); in comparison_implication_hook()
|