[Bug tree-optimization/58492] New: ICE: verify_flow_info failed

[antoine.balestrat at gmail dot com]

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

            Bug ID: 58492
           Summary: ICE: verify_flow_info failed
           Product: gcc
           Version: 4.9.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: tree-optimization
          Assignee: unassigned at gcc dot gnu.org
          Reporter: antoine.balestrat at gmail dot com

Hello ! The following testcase makes GCC 4.9.0 as of 20130921 crash.

$ cat vfi.c
void f(int p, short q)
{
   f(0, 0);
}

$ xgcc -O3 -fipa-pta vfi.c
vfi.c: In function ‘f’:
vfi.c:1:6: error: control flow in the middle of basic block 2
 void f(int p, short q)
      ^
vfi.c:1:6: internal compiler error: verify_flow_info failed
0x617352 verify_flow_info()
        ../../srcdir/gcc/cfghooks.c:260
0x958d3a cleanup_tree_cfg_noloop
        ../../srcdir/gcc/tree-cfgcleanup.c:696
0x958d3a cleanup_tree_cfg()
        ../../srcdir/gcc/tree-cfgcleanup.c:745
0x87f724 execute_function_todo
        ../../srcdir/gcc/passes.c:1791
0x87fe17 execute_todo
        ../../srcdir/gcc/passes.c:1866
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.