usr/src/tools/smatch/src/smatch_comparison.c

2746

filter_by_sm(sm->left, op, true_stack, false_stack, useful);

usr/src/tools/smatch/src/smatch_comparison.c

2747

filter_by_sm(sm->right, op, true_stack, false_stack, useful);

usr/src/tools/smatch/src/smatch_comparison.c

2788

filter_by_sm(sm, op, true_stack, false_stack, &useful);

usr/src/tools/smatch/src/smatch_parsed_conditions.c

104

filter_by_sm(sm, &tmp_true, &tmp_false);

usr/src/tools/smatch/src/smatch_parsed_conditions.c

82

filter_by_sm(sm->left, true_stack, false_stack);

usr/src/tools/smatch/src/smatch_parsed_conditions.c

83

filter_by_sm(sm->right, true_stack, false_stack);

usr/src/tools/smatch/src/smatch_stored_conditions.c

273

filter_by_sm(sm->left, true_stack, false_stack, recurse_cnt);

usr/src/tools/smatch/src/smatch_stored_conditions.c

274

filter_by_sm(sm->right, true_stack, false_stack, recurse_cnt);

usr/src/tools/smatch/src/smatch_stored_conditions.c

302

filter_by_sm(sm, &tmp_true, &tmp_false, &recurse_cnt);