[Bug ipa/60518] New: [4.9 Regression] ICE: in verify_loop_structure, at cfgloop.c:1647

[trippels at gcc dot gnu.org]

http://gcc.gnu.org/bugzilla/show_bug.cgi?id=60518

            Bug ID: 60518
           Summary: [4.9 Regression] ICE: in verify_loop_structure, at
                    cfgloop.c:1647
           Product: gcc
           Version: 4.9.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: ipa
          Assignee: unassigned at gcc dot gnu.org
          Reporter: trippels at gcc dot gnu.org

(This happens without any .gcda file)

markus@x4 tmp % cat test.ii
int a;
int fn1 () { return a == ',' || a == ';'; }

void fn2 ()
{
  do
    while (fn1 ())
      ;
  while (1);
}

markus@x4 tmp % c++ -c -fprofile-use -march=amdfam10 -std=gnu++0x -Os test.ii
test.ii:1:0: warning: -fprefetch-loop-arrays is not supported with -Os
 int a;
 ^
test.ii: In function ‘fn2()’:
test.ii:10:1: error: loop 1’s latch does not have an edge to its header
 }
 ^
test.ii:10:1: internal compiler error: in verify_loop_structure, at
cfgloop.c:1647
0x81c749 verify_loop_structure()
        ../../gcc/gcc/cfgloop.c:1647
0xa27d3a loop_optimizer_init(unsigned int)
        ../../gcc/gcc/loop-init.c:111
0x9ddf29 estimate_function_body_sizes
        ../../gcc/gcc/ipa-inline-analysis.c:2436
0x9e0e21 compute_inline_parameters(cgraph_node*, bool)
        ../../gcc/gcc/ipa-inline-analysis.c:2860
0x9e1130 inline_analyze_function
        ../../gcc/gcc/ipa-inline-analysis.c:3853
0x9e12b7 inline_generate_summary()
        ../../gcc/gcc/ipa-inline-analysis.c:3904
0xaa8e36 execute_ipa_summary_passes(ipa_opt_pass_d*)
        ../../gcc/gcc/passes.c:2027
0x839b28 ipa_passes
        ../../gcc/gcc/cgraphunit.c:2070
0x839b28 compile()
        ../../gcc/gcc/cgraphunit.c:2174
0x839df4 finalize_compilation_unit()
        ../../gcc/gcc/cgraphunit.c:2329
0x63378e cp_write_global_declarations()
        ../../gcc/gcc/cp/decl2.c:4610
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.

The warning looks bogus, too.