[Bug ipa/88933] New: ICE: verify_cgraph_node failed (Error: caller edge count does not match BB count)

[asolokha at gmx dot com]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=88933

            Bug ID: 88933
           Summary: ICE: verify_cgraph_node failed (Error: caller edge
                    count does not match BB count)
           Product: gcc
           Version: unknown
            Status: UNCONFIRMED
          Keywords: ice-checking, ice-on-valid-code, openmp
          Severity: normal
          Priority: P3
         Component: ipa
          Assignee: unassigned at gcc dot gnu.org
          Reporter: asolokha at gmx dot com
                CC: marxin at gcc dot gnu.org
  Target Milestone: ---

gfortran-9.0.0-alpha20190113 snapshot (r267906) ICEs when compiling
libgomp/testsuite/libgomp.fortran/task2.f90 at any optimization level (except
-Ofast) and w/ -fexceptions -fipa-cp -fnon-call-exceptions -fopenmp
-fno-inline-functions-called-once:

% powerpc-e300c3-linux-gnu-gfortran-9.0.0-alpha20190113 -std=legacy -O1
-fexceptions -fipa-cp -fnon-call-exceptions -fopenmp
-fno-inline-functions-called-once -c
libgomp/testsuite/libgomp.fortran/task2.f90
libgomp/testsuite/libgomp.fortran/task2.f90:18:0:

   18 |   subroutine foo (c, d, e, f, g, h, i, j, k, n)
      | 
Error: caller edge count does not match BB count
edge count: 748404 (estimated locally)
 bb count: 1804253 (estimated locally)
libgomp/testsuite/libgomp.fortran/task2.f90:18:0: Error: caller edge count does
not match BB count
edge count: 30269084 (estimated locally)
 bb count: 72972719 (estimated locally)
foo.2124.constprop.0/27 (foo.constprop) @0x7fb992431b40
  Type: function definition analyzed
  Visibility: artificial
  References: 
  Referring: 
  Availability: local
  Function flags: count:1804252 (estimated locally) body local
  Called by: test/0 (6137140 (estimated locally),1.00 per call) (can throw
external) 
  Calls: __builtin_stack_save/20 (1804252 (estimated locally),1.00 per call)
__builtin_alloca_with_align/21 (1804252 (estimated locally),1.00 per call)
__builtin_malloc/22 (1804252 (estimated locally),1.00 per call)
__builtin_malloc/22 (1804252 (estimated locally),1.00 per call)
__builtin_malloc/22 (1804252 (estimated locally),1.00 per call)
__builtin_memcpy/14 (532254 (estimated locally),0.29 per call)
__builtin_memset/23 (532254 (estimated locally),0.29 per call)
__builtin_memcpy/14 (532254 (estimated locally),0.29 per call)
__builtin_memcpy/14 (6649989 (estimated locally),3.69 per call)
__builtin_memset/23 (6649989 (estimated locally),3.69 per call)
__builtin_memcpy/14 (6649989 (estimated locally),3.69 per call)
__builtin_memcpy/14 (6649989 (estimated locally),3.69 per call)
__builtin_memset/23 (6649989 (estimated locally),3.69 per call)
__builtin_memcpy/14 (6649989 (estimated locally),3.69 per call)
__builtin_GOMP_task/24 (1804253 (estimated locally),1.00 per call)
__builtin_memset/23 (748404 (estimated locally),0.41 per call)
__builtin_memset/23 (748404 (estimated locally),0.41 per call)
__builtin_memset/23 (30269084 (estimated locally),16.78 per call)
__builtin_memset/23 (30269087 (estimated locally),16.78 per call)
__builtin_memset/23 (748405 (estimated locally),0.41 per call)
__builtin_free/25 (1804255 (estimated locally),1.00 per call) __builtin_free/25
(1804255 (estimated locally),1.00 per call) __builtin_free/25 (1804255
(estimated locally),1.00 per call) __builtin_stack_restore/26 (1804255
(estimated locally),1.00 per call) __builtin_free/25 (0 (precise),0.00 per
call) __builtin_free/25 (0 (precise),0.00 per call) __builtin_free/25 (0
(precise),0.00 per call) 
during IPA pass: inline
libgomp/testsuite/libgomp.fortran/task2.f90:18:0: internal compiler error:
verify_cgraph_node failed
0x97940f cgraph_node::verify_node()
       
/var/tmp/portage/cross-powerpc-e300c3-linux-gnu/gcc-9.0.0_alpha20190113/work/gcc-9-20190113/gcc/cgraph.c:3430
0x96d134 symtab_node::verify()
       
/var/tmp/portage/cross-powerpc-e300c3-linux-gnu/gcc-9.0.0_alpha20190113/work/gcc-9-20190113/gcc/symtab.c:1218
0xe288f9 optimize_inline_calls(tree_node*)
       
/var/tmp/portage/cross-powerpc-e300c3-linux-gnu/gcc-9.0.0_alpha20190113/work/gcc-9-20190113/gcc/tree-inline.c:5060
0x15347d4 inline_transform(cgraph_node*)
       
/var/tmp/portage/cross-powerpc-e300c3-linux-gnu/gcc-9.0.0_alpha20190113/work/gcc-9-20190113/gcc/ipa-inline-transform.c:682
0xcc4454 execute_one_ipa_transform_pass
       
/var/tmp/portage/cross-powerpc-e300c3-linux-gnu/gcc-9.0.0_alpha20190113/work/gcc-9-20190113/gcc/passes.c:2225
0xcc4454 execute_all_ipa_transforms()
       
/var/tmp/portage/cross-powerpc-e300c3-linux-gnu/gcc-9.0.0_alpha20190113/work/gcc-9-20190113/gcc/passes.c:2264
0x98053c cgraph_node::expand()
       
/var/tmp/portage/cross-powerpc-e300c3-linux-gnu/gcc-9.0.0_alpha20190113/work/gcc-9-20190113/gcc/cgraphunit.c:2189
0x981a0d expand_all_functions
       
/var/tmp/portage/cross-powerpc-e300c3-linux-gnu/gcc-9.0.0_alpha20190113/work/gcc-9-20190113/gcc/cgraphunit.c:2334
0x981a0d symbol_table::compile()
       
/var/tmp/portage/cross-powerpc-e300c3-linux-gnu/gcc-9.0.0_alpha20190113/work/gcc-9-20190113/gcc/cgraphunit.c:2685
0x983db8 symbol_table::finalize_compilation_unit()
       
/var/tmp/portage/cross-powerpc-e300c3-linux-gnu/gcc-9.0.0_alpha20190113/work/gcc-9-20190113/gcc/cgraphunit.c:2863

(While my target here is powerpc, the ICE not target-specific.)