Home
last modified time | relevance | path

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

/illumos-gate/usr/src/tools/smatch/src/
H A Dsmatch_implied.c429 static int sm_in_keep_leafs(struct sm_state *sm, const struct state_list *keep_gates) in sm_in_keep_leafs() function
534 if (!is_merged(sm) || pool_in_pools(sm->pool, keep_stack) || sm_in_keep_leafs(sm, keep_stack)) { in filter_pools()
538 sm_in_keep_leafs(sm, keep_stack) ? "reachable keep leaf" : "no keep leaf", in filter_pools()
606 if (!tmp->merged || sm_in_keep_leafs(tmp, keep_stack)) in filter_stack()