[Bug tree-optimization/57330] New: ICE: verify_gimple failed -O3 [tree-cfg.c:4792]

[dimhen at gmail dot com]

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

            Bug ID: 57330
           Summary: ICE: verify_gimple failed -O3 [tree-cfg.c:4792]
           Product: gcc
           Version: 4.9.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: tree-optimization
          Assignee: unassigned at gcc dot gnu.org
          Reporter: dimhen at gmail dot com

r199075 FAIL

$ cat x.i
void foo ( int a)
{}

void *a;
void bar ()
{
  void **( *b ) (  ) = foo;
  a = b ( 0 );
}

$ gcc -fpreprocessed -O3 -c x.i
x.i: In function 'bar':
x.i:7:24: warning: initialization from incompatible pointer type [enabled by
default]
   void **( *b ) (  ) = foo;
                        ^
x.i:5:6: error: invalid conversion in gimple call
 void bar ()
      ^
void * *

void

a.0_2 = foo.constprop.0 ();
x.i:5:6: internal compiler error: verify_gimple failed
0xa4f79c verify_gimple_in_cfg(function*)
    /home/dimhen/src/gcc_current/gcc/tree-cfg.c:4792
0x939947 execute_function_todo
    /home/dimhen/src/gcc_current/gcc/passes.c:1969
0x93a1d7 execute_todo
    /home/dimhen/src/gcc_current/gcc/passes.c:2002
0x93bf41 execute_one_ipa_transform_pass
    /home/dimhen/src/gcc_current/gcc/passes.c:2185
0x93bf41 execute_all_ipa_transforms()
    /home/dimhen/src/gcc_current/gcc/passes.c:2215
0x6b48b8 expand_function
    /home/dimhen/src/gcc_current/gcc/cgraphunit.c:1641
0x6b6616 expand_all_functions
    /home/dimhen/src/gcc_current/gcc/cgraphunit.c:1752
0x6b6616 compile()
    /home/dimhen/src/gcc_current/gcc/cgraphunit.c:2050
0x6b6ce9 finalize_compilation_unit()
    /home/dimhen/src/gcc_current/gcc/cgraphunit.c:2127
0x591693 c_write_global_declarations()
    /home/dimhen/src/gcc_current/gcc/c/c-decl.c:10118
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.