------- Comment #13 from steven at gcc dot gnu dot org 2008-02-16 09:33 ------- Re. comment #8 You can't terminate the DFS before a complete SCC is found, it will break the correctness of the SCC-VN algorithm. You'd start another DFS from a not-yet-marked SSA name that is in the SCC's DFS subtree, but you won't find the comoplete SCC. I have no idea exactly what would happen, but I'm sure it would be something bad ;-)
-- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=35204