usr/src/tools/smatch/src/linearize.c

1592

static pseudo_t linearize_cond_branch(struct entrypoint *ep, struct expression *expr, struct basic_block *bb_true, struct basic_block *bb_false);

usr/src/tools/smatch/src/linearize.c

1677

linearize_cond_branch(ep, cond, bb_true, bb_false);

usr/src/tools/smatch/src/linearize.c

1721

linearize_cond_branch(ep, expr->left, merge, other);

usr/src/tools/smatch/src/linearize.c

1724

linearize_cond_branch(ep, expr->left, other, merge);

usr/src/tools/smatch/src/linearize.c

1792

return linearize_cond_branch(ep, expr->unop, bb_false, bb_true);

usr/src/tools/smatch/src/linearize.c

1811

linearize_cond_branch(ep, expr->left, bb_true, next);

usr/src/tools/smatch/src/linearize.c

1813

linearize_cond_branch(ep, expr->left, next, bb_false);

usr/src/tools/smatch/src/linearize.c

1815

linearize_cond_branch(ep, expr->right, bb_true, bb_false);

usr/src/tools/smatch/src/linearize.c

2292

linearize_cond_branch(ep, pre_condition, loop_body, loop_end);

usr/src/tools/smatch/src/linearize.c

2306

linearize_cond_branch(ep, post_condition, loop_top, loop_end);

usr/src/tools/smatch/src/linearize.c

2420

linearize_cond_branch(ep, cond, bb_true, bb_false);