Searched refs:keep_stack (Results 1 – 1 of 1) sorted by relevance
/illumos-gate/usr/src/tools/smatch/src/ |
H A D | smatch_implied.c | 501 const struct state_list *keep_stack, in filter_pools() argument 534 if (!is_merged(sm) || pool_in_pools(sm->pool, keep_stack) || sm_in_keep_leafs(sm, keep_stack)) { in filter_pools() 537 pool_in_pools(sm->pool, keep_stack) ? "not in keep pools" : "in keep pools", in filter_pools() 538 sm_in_keep_leafs(sm, keep_stack) ? "reachable keep leaf" : "no keep leaf", 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() 590 const struct state_list *keep_stack) in filter_stack() argument 606 if (!tmp->merged || sm_in_keep_leafs(tmp, keep_stack)) in filter_stack() 611 …filtered_sm = filter_pools(tmp, remove_stack, keep_stack, &modified, &recurse_cnt, &start, &skip, … in filter_stack()
|