http://gcc.gnu.org/bugzilla/show_bug.cgi?id=48389
--- Comment #9 from stevenb.gcc at gmail dot com <stevenb.gcc at gmail dot com> 2011-04-07 21:28:12 UTC --- > --- Comment #7 from Michael Matz <matz at gcc dot gnu.org> 2011-04-07 > 15:38:38 UTC --- > Hmpf, what doesn't work with just moving the rebuild_jump_labels call? > The testcase works, but I haven't tried the testsuite. Because it should > theoretically work. Yes, it should, but it does not. Why do you think I'm meddling with cfgbuild.c? The EDGE_EXECUTABLE thing was needed to pass a verify_flow_info() called from commit_edge_insertions() but it's probably not necessary anymore now that I commit edge inserts manually (to work around other verify_flow_info() errors). FWIW the patch doesn't bootstrap, and I'm still trying to figure out what the problem is now.
