Home
last modified time | relevance | path

Searched refs:separate_pools (Results 1 – 1 of 1) sorted by relevance

/illumos-gate/usr/src/tools/smatch/src/
H A Dsmatch_implied.c387 static void separate_pools(struct sm_state *sm, int comparison, struct range_list *rl, in separate_pools() function
650 separate_pools(sm, comparison, rl, &true_stack, &false_stack, NULL, mixed); in separate_and_filter()