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

1682

add_goto(ep, merge);

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

1774

add_goto(ep, expr->value ? bb_true : bb_false);

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

1778

add_goto(ep, expr->fvalue ? bb_true : bb_false);

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

2191

add_goto(ep, bb_return);

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

2299

add_goto(ep, loop_continue);

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

2304

add_goto(ep, loop_top);

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

2373

add_goto(ep, get_bound_block(ep, stmt->goto_label));

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

2383

add_goto(ep, get_bound_block(ep, expr->label_symbol));

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

2427

add_goto(ep, endif);

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

660

add_goto(ep, bb);