Searched refs:remove_stack (Results 1 – 1 of 1) sorted by relevance
| /illumos-gate/usr/src/tools/smatch/src/ |
| H A D | smatch_implied.c | 500 const struct state_list *remove_stack, in filter_pools() argument
528 if (pool_in_pools(sm->pool, remove_stack)) { in filter_pools()
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()
589 const struct state_list *remove_stack, in filter_stack() argument
601 if (!remove_stack) in filter_stack()
611 …filtered_sm = filter_pools(tmp, remove_stack, keep_stack, &modified, &recurse_cnt, &start, &skip, … in filter_stack()
|