Home
last modified time | relevance | path

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

/illumos-gate/usr/src/tools/smatch/src/
H A Dsmatch_implied.c228 static int pool_in_pools(struct stree *pool, in pool_in_pools() function
528 if (pool_in_pools(sm->pool, remove_stack)) { in filter_pools()
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()