Searched refs:check_branch (Results 1 – 1 of 1) sorted by relevance
| /illumos-gate/usr/src/tools/smatch/src/ |
| H A D | ir.c | 88 static int check_branch(struct entrypoint *ep, struct instruction *insn, struct basic_block *bb) in check_branch() function
102 err = check_branch(ep, insn, jmp->target); in check_switch()
143 err += check_branch(ep, insn, insn->bb_true); in validate_insn()
144 err += check_branch(ep, insn, insn->bb_false); in validate_insn()
171 err += check_branch(ep, insn, insn->bb_true); in validate_insn()
|