search for: badcfgconflict

...for the fact that the latch block has already been combined into the header's chain. Unless I'm misreading something, we *should* be able to merge the loop chain with the preheader chain in it's entirety right? At least one on example I've looked at, adding an early exit from BadCFGConflict loop when Pred and Succ are part of the same chain does appear to give the expected result, but I don't understand the code well enough to reason about whether that is generally a correct thing to do or not. Philip