On Thu, Aug 20, 2015 at 06:51:45PM +0200, Marek Polacek wrote: > and single_succ_p (bb) is not satisfied, so it must have more outgoing edges. > Not sure how can that happen...
Actually the problem seems to be that the BB ends with return but it has
*no* outgoing edges.
Marek
