On 12/09/14 12:43, Richard Biener wrote: >> This seems to be indicating that we have with no edge from the latch >> block to the header block. I'd like to know better how we got into >> that >> state. > > It Also returns null for loops with multiple latches. So the patch looks OK for me. Ah, OK. Jeff