http://gcc.gnu.org/bugzilla/show_bug.cgi?id=59152
Bug ID: 59152 Summary: [4.9 Regression] ICE: loop 2's latch does not have an edge to its header with -fopenmp -fipa-pure-const Product: gcc Version: 4.9.0 Status: UNCONFIRMED Severity: normal Priority: P3 Component: middle-end Assignee: unassigned at gcc dot gnu.org Reporter: zsojka at seznam dot cz Created attachment 31229 --> http://gcc.gnu.org/bugzilla/attachment.cgi?id=31229&action=edit reduced testcase Compiler output: $ gcc -fopenmp -fipa-pure-const testcase.c testcase.c: In function 'foo._omp_fn.0': testcase.c:10:1: error: loop 2's latch does not have an edge to its header } ^ testcase.c:10:1: internal compiler error: in verify_loop_structure, at cfgloop.c:1649 0x70b713 verify_loop_structure() /mnt/svn/gcc-trunk/gcc/cfgloop.c:1649 0x94fc5a loop_optimizer_init(unsigned int) /mnt/svn/gcc-trunk/gcc/loop-init.c:111 0x12facc3 analyze_function /mnt/svn/gcc-trunk/gcc/ipa-pure-const.c:781 0x12fb961 pure_const_generate_summary /mnt/svn/gcc-trunk/gcc/ipa-pure-const.c:924 0x9dd246 execute_ipa_summary_passes(ipa_opt_pass_d*) /mnt/svn/gcc-trunk/gcc/passes.c:2015 0x730265 ipa_passes /mnt/svn/gcc-trunk/gcc/cgraphunit.c:2014 0x730265 compile() /mnt/svn/gcc-trunk/gcc/cgraphunit.c:2121 0x7304b4 finalize_compilation_unit() /mnt/svn/gcc-trunk/gcc/cgraphunit.c:2275 0x5e3c63 c_write_global_declarations() /mnt/svn/gcc-trunk/gcc/c/c-decl.c:10374 Please submit a full bug report, with preprocessed source if appropriate. Please include the complete backtrace with any bug report. 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-204897-lto-fortran-checking-yes-rtl-df/libexec/gcc/x86_64-unknown-linux-gnu/4.9.0/lto-wrapper Target: x86_64-unknown-linux-gnu Configured with: /mnt/svn/gcc-trunk//configure --enable-checking=yes,rtl,df --enable-languages=c,c++,lto,fortran --prefix=/mnt/svn/gcc-trunk/binary-204897-lto-fortran-checking-yes-rtl-df/ --without-cloog --without-ppl Thread model: posix gcc version 4.9.0 20131116 (experimental) (GCC) Tested revisions: r204897 - crash 4.8 r204890 - OK