https://gcc.gnu.org/bugzilla/show_bug.cgi?id=107323
--- Comment #6 from Richard Biener <rguenth at gcc dot gnu.org> --- Ah - we are merging _original_ SCCs here, so vertices that might not be in the same component after the second graphds_scc. So it seems /* If all partitions in a SCC have the same type, we can simply merge the SCC. This loop finds out such SCCS and record them in bitmap. */ bitmap_set_range (sccs_to_merge, 0, (unsigned) num_sccs); for (i = 0; i < num_sccs; ++i) { ... should better be reflected to the graph _before_ the alias ordering graphds_scc.