Symbol: linearize_logical_branch
usr/src/tools/smatch/src/linearize.c
1590
static pseudo_t linearize_logical_branch(struct entrypoint *ep, struct expression *expr, struct basic_block *bb_true, struct basic_block *bb_false);
usr/src/tools/smatch/src/linearize.c
1782
linearize_logical_branch(ep, expr, bb_true, bb_false);