Searched refs:add_goto (Results 1 – 1 of 1) sorted by relevance
| /illumos-gate/usr/src/tools/smatch/src/ |
| H A D | linearize.c | 633 static void add_goto(struct entrypoint *ep, struct basic_block *dst) in add_goto() function
660 add_goto(ep, bb); in set_activeblock()
1682 add_goto(ep, merge); in linearize_conditional()
1774 add_goto(ep, expr->value ? bb_true : bb_false); in linearize_cond_branch()
1778 add_goto(ep, expr->fvalue ? bb_true : bb_false); in linearize_cond_branch()
2191 add_goto(ep, bb_return); in linearize_return()
2299 add_goto(ep, loop_continue); in linearize_iterator()
2304 add_goto(ep, loop_top); in linearize_iterator()
2373 add_goto(ep, get_bound_block(ep, stmt->goto_label)); in linearize_statement()
2383 add_goto(ep, get_bound_block(ep, expr->label_symbol)); in linearize_statement()
[all …]
|