https://gcc.gnu.org/bugzilla/show_bug.cgi?id=99101
--- Comment #19 from Michael Matz <matz at gcc dot gnu.org> --- (In reply to Michael Matz from comment #18) > But there are other blocks control dependend on bb4, namely bb5 and bb9. > To see this observe that bb9 doesn't pdom bb4, but there's a path from bb4 to > bb9 (e.g. bb4 -> bb5 -> bb9), where one node in that path that isn't bb4 is ... where _each_ node in that path that isn't bb4 ... Sorry. (Essentially this captures the idea that the path-start node that is the control node is the _latest_ node that determines (non)execution of the path-end, i.e. all further nodes after the control node unavoidably pass through path-end).
