> Just a nit, can't you break out of the loop when irred_invalidated is set to > true as well? There is no need to look through any further edges. I.e. Sure, though we do have horrible time complexity in case irreducible regions are including recomputing the whole CFG flags after every path removal. Honza