Kazu Hirata wrote: > 1) Is a nonlocal label guaranteed to be the first statement? If not, > we need to fix the code above such that it will scan all labels of > the given basic block, looking for a nonlocal label just like > tree_forwarder_block_p. > It should. See stmt_starts_bb_p. Diego.