Symbol: filter_pools
usr/src/tools/smatch/src/smatch_implied.c
543
left = filter_pools(sm->left, remove_stack, keep_stack, &removed, recurse_cnt, start, skip, bail);
usr/src/tools/smatch/src/smatch_implied.c
544
right = filter_pools(sm->right, remove_stack, keep_stack, &removed, recurse_cnt, start, skip, bail);
usr/src/tools/smatch/src/smatch_implied.c
611
filtered_sm = filter_pools(tmp, remove_stack, keep_stack, &modified, &recurse_cnt, &start, &skip, &bail);