Searched refs:filter_pools (Results 1 – 1 of 1) sorted by relevance
| /illumos-gate/usr/src/tools/smatch/src/ |
| H A D | smatch_implied.c | 499 struct sm_state *filter_pools(struct sm_state *sm, in filter_pools() function
543 left = filter_pools(sm->left, remove_stack, keep_stack, &removed, recurse_cnt, start, skip, bail); in filter_pools()
544 …right = filter_pools(sm->right, remove_stack, keep_stack, &removed, recurse_cnt, start, skip, bail… in filter_pools()
611 …filtered_sm = filter_pools(tmp, remove_stack, keep_stack, &modified, &recurse_cnt, &start, &skip, … in filter_stack()
|