Symbol: check_branch
usr/src/tools/smatch/src/ir.c
102
err = check_branch(ep, insn, jmp->target);
usr/src/tools/smatch/src/ir.c
143
err += check_branch(ep, insn, insn->bb_true);
usr/src/tools/smatch/src/ir.c
144
err += check_branch(ep, insn, insn->bb_false);
usr/src/tools/smatch/src/ir.c
171
err += check_branch(ep, insn, insn->bb_true);