http://gcc.gnu.org/bugzilla/show_bug.cgi?id=49912
--- Comment #2 from Zdenek Sojka <zsojka at seznam dot cz> 2011-08-06 14:03:50 UTC --- Created attachment 24934 --> http://gcc.gnu.org/bugzilla/attachment.cgi?id=24934 reduced testcase It is reduced from libstdc++-v3/testsuite/util/testsuite_abi.cc, not from the original testcase in this PR. Compiler output: $ gcc -O -freorder-blocks-and-partition testcase.C testcase.C: In member function 'void vector<<anonymous> >::_M_insert_aux(const string&) [with int <anonymous> = 0]': testcase.C:39:1: error: wrong number of branch edges after unconditional jump 7 testcase.C:39:1: internal compiler error: verify_flow_info failed Please submit a full bug report, with preprocessed source if appropriate. See <http://gcc.gnu.org/bugs.html> for instructions. $ gcc -v Using built-in specs. COLLECT_GCC=/mnt/svn/gcc-trunk/binary-latest/bin/gcc COLLECT_LTO_WRAPPER=/mnt/svn/gcc-trunk/binary-177503-lto-fortran-checking-yes-rtl-df/libexec/gcc/x86_64-unknown-linux-gnu/4.7.0/lto-wrapper Target: x86_64-unknown-linux-gnu Configured with: /home/smatz/gcc-trunk//configure --enable-checking=yes,rtl,df --enable-languages=c,c++,lto,fortran --prefix=/mnt/svn/gcc-trunk/binary-177503-lto-fortran-checking-yes-rtl-df/ --with-cloog --with-ppl --with-cloog-include=/usr/include/cloog-ppl/ --disable-ppl-version-check Thread model: posix gcc version 4.7.0 20110806 (experimental) (GCC) Tested revisions (x86_64-unknown-linux-gnu): r177503 - crash r177422 - crash r173150 - OK