Symbol: mark_bb_reachable
usr/src/tools/smatch/src/flow.c
536
mark_bb_reachable(child, generation);
usr/src/tools/smatch/src/flow.c
585
mark_bb_reachable(ep->entry->bb, generation);