Symbol: vrfy_bb_in_list
usr/src/tools/smatch/src/flow.c
671
vrfy_bb_in_list(bb, tmp->children);
usr/src/tools/smatch/src/flow.c
687
vrfy_bb_in_list(br->bb_false, bb->children);
usr/src/tools/smatch/src/flow.c
690
vrfy_bb_in_list(br->bb_true, bb->children);
usr/src/tools/smatch/src/flow.c
695
vrfy_bb_in_list(jmp->target, bb->children);
usr/src/tools/smatch/src/flow.c
703
vrfy_bb_in_list(bb, tmp->parents);