Symbol: add_branch
usr/src/tools/smatch/src/linearize.c
1652
add_branch(ep, src1, merge, bb_false);
usr/src/tools/smatch/src/linearize.c
1787
add_branch(ep, cond, bb_true, bb_false);
usr/src/tools/smatch/src/linearize.c
1796
add_branch(ep, cond, bb_true, bb_false);