On 10/18/13 03:53, Richard Biener wrote:
I think we want a "proper" predicate in tree-cfg.c for this, like maybe
a subset of tree_forwarder_block_p or whatever it will end up looking
like (we need "effectively empty BB" elsewhere, for example in vectorization,
add a flag to allow a condition ending the BB and the predicate is done).
Yes. We definitely have a need for this. For threading, "effectively
empty" comes up often. In that context, we're ignoring the control
statement at the end (because it's going away ;-)
Jeff
