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 …]
|