Home
last modified time | relevance | path

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

/illumos-gate/usr/src/tools/smatch/src/
H A Dflow.c653 static void vrfy_bb_in_list(struct basic_block *bb, struct basic_block_list *list) in vrfy_bb_in_list() function
671 vrfy_bb_in_list(bb, tmp->children); in vrfy_parents()
687 vrfy_bb_in_list(br->bb_false, bb->children); in vrfy_children()
690 vrfy_bb_in_list(br->bb_true, bb->children); in vrfy_children()
695 vrfy_bb_in_list(jmp->target, bb->children); in vrfy_children()
703 vrfy_bb_in_list(bb, tmp->parents); in vrfy_children()