Symbol: separate_and_filter
usr/src/tools/smatch/src/smatch_implied.c
1060
separate_and_filter(sm, PARAM_LIMIT, limit, __get_cur_stree(), &implied_true, &implied_false, &mixed);
usr/src/tools/smatch/src/smatch_implied.c
1112
separate_and_filter(sm, SPECIAL_EQUAL, rl, *raw_stree, &true_states, &false_states, NULL);
usr/src/tools/smatch/src/smatch_implied.c
766
separate_and_filter(sm, comparison, rl, __get_cur_stree(), implied_true, implied_false, &mixed);
usr/src/tools/smatch/src/smatch_implied.c
805
separate_and_filter(sm, SPECIAL_NOTEQUAL, tmp_range_list(estate_type(sm->state), 0), __get_cur_stree(), implied_true, implied_false, &mixed);