Symbol: sm_in_keep_leafs
usr/src/tools/smatch/src/smatch_implied.c
534
if (!is_merged(sm) || pool_in_pools(sm->pool, keep_stack) || sm_in_keep_leafs(sm, keep_stack)) {
usr/src/tools/smatch/src/smatch_implied.c
538
sm_in_keep_leafs(sm, keep_stack) ? "reachable keep leaf" : "no keep leaf",
usr/src/tools/smatch/src/smatch_implied.c
606
if (!tmp->merged || sm_in_keep_leafs(tmp, keep_stack))