[Bug ipa/94582] New: [10 Regression] ICE: verify_cgraph_node failed (error: invalid calls_comdat_local flag)

[Bug ipa/94582] New: [10 Regression] ICE: verify_cgraph_node failed (error: invalid calls_comdat_local flag)

[asolokha at gmx dot com]

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

            Bug ID: 94582
           Summary: [10 Regression] ICE: verify_cgraph_node failed (error:
                    invalid calls_comdat_local flag)
           Product: gcc
           Version: 10.0
            Status: UNCONFIRMED
          Keywords: ice-on-valid-code
          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: ---

Created attachment 48261
  --> https://gcc.gnu.org/bugzilla/attachment.cgi?id=48261&action=edit
Testcase

g++-10.0.1-alpha20200412 snapshot (g:87be4cecfc6e42390303be1ca92bc8bc587b0bd6)
ICEs when compiling the attached testcase, reduced from
test/std/containers/sequences/deque/deque.cons/size.pass.cpp from the libcxx
10.0.0 test suite, w/ -O2 -fnon-call-exceptions
-fno-inline-functions-called-once -fno-tree-sra --param early-inlining-insns=1:

% g++-10.0.1 -O2 -fnon-call-exceptions -fno-inline-functions-called-once
-fno-tree-sra --param early-inlining-insns=1 -w -c pxtvaqrj.cpp
pxtvaqrj.cpp: In function 'void __uninitialized_default_a(_ForwardIterator,
_Allocator) [with _ForwardIterator = min_pointer<min_pointer<int> >; _Allocator
= min_allocator<int>]':
pxtvaqrj.cpp:25:6: error: invalid calls_comdat_local flag
   25 | void __uninitialized_default_a(_ForwardIterator __last, _Allocator
__alloc) {
      |      ^~~~~~~~~~~~~~~~~~~~~~~~~
_Z25__uninitialized_default_aI11min_pointerIS0_IiEE13min_allocatorIiEEvT_T0_.isra.0/22
(void __uninitialized_default_a(_ForwardIterator, _Allocator) [with
_ForwardIterator = min_pointer<min_pointer<int> >; _Allocator =
min_allocator<int>]) @0x7fac678aee10
  Type: function definition analyzed
  Visibility: comdat_group:_ZN5dequeI13min_allocatorIiEEC5EiS1_ artificial
  Same comdat group as:
_Z8_DestroyI11min_pointerIS0_IiEE13min_allocatorIiEEvT_T0_.isra.0/21
  References: 
  Referring: 
  Availability: local
  Function flags: count:118111600 (estimated locally) body local
calls_comdat_local executed_once
  Called by: _ZN5dequeI13min_allocatorIiEEC2EiS1_/2 (10631108 (estimated
locally),1.00 per call) 
  Calls: _ZN16allocator_traitsI13min_allocatorIiEE9constructIiEEiS1_T_/19
(955630225 (estimated locally),8.09 per call) 
during IPA pass: inline
pxtvaqrj.cpp:25:6: internal compiler error: verify_cgraph_node failed
0xb89b1e cgraph_node::verify_node()
       
/var/tmp/portage/sys-devel/gcc-10.0.1_alpha20200412/work/gcc-10-20200412/gcc/cgraph.c:3799
0xb7c824 symtab_node::verify()
       
/var/tmp/portage/sys-devel/gcc-10.0.1_alpha20200412/work/gcc-10-20200412/gcc/symtab.c:1314
0x1070375 optimize_inline_calls(tree_node*)
       
/var/tmp/portage/sys-devel/gcc-10.0.1_alpha20200412/work/gcc-10-20200412/gcc/tree-inline.c:5473
0x196f0f3 inline_transform(cgraph_node*)
       
/var/tmp/portage/sys-devel/gcc-10.0.1_alpha20200412/work/gcc-10-20200412/gcc/ipa-inline-transform.c:715
0xf117bd execute_one_ipa_transform_pass
       
/var/tmp/portage/sys-devel/gcc-10.0.1_alpha20200412/work/gcc-10-20200412/gcc/passes.c:2233
0xf117bd execute_all_ipa_transforms(bool)
       
/var/tmp/portage/sys-devel/gcc-10.0.1_alpha20200412/work/gcc-10-20200412/gcc/passes.c:2272
0xb8f4c3 cgraph_node::expand()
       
/var/tmp/portage/sys-devel/gcc-10.0.1_alpha20200412/work/gcc-10-20200412/gcc/cgraphunit.c:2292
0xb906d6 expand_all_functions
       
/var/tmp/portage/sys-devel/gcc-10.0.1_alpha20200412/work/gcc-10-20200412/gcc/cgraphunit.c:2470
0xb906d6 symbol_table::compile()
       
/var/tmp/portage/sys-devel/gcc-10.0.1_alpha20200412/work/gcc-10-20200412/gcc/cgraphunit.c:2820
0xb92a4c symbol_table::compile()
       
/var/tmp/portage/sys-devel/gcc-10.0.1_alpha20200412/work/gcc-10-20200412/gcc/cgraphunit.c:2733
0xb92a4c symbol_table::finalize_compilation_unit()
       
/var/tmp/portage/sys-devel/gcc-10.0.1_alpha20200412/work/gcc-10-20200412/gcc/cgraphunit.c:3000

[Bug ipa/94582] [10 Regression] ICE: verify_cgraph_node failed (error: invalid calls_comdat_local flag)

[marxin at gcc dot gnu.org]

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

Martin Liška <marxin at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
      Known to work|                            |9.3.0
   Last reconfirmed|                            |2020-04-14
           Assignee|unassigned at gcc dot gnu.org      |hubicka at gcc dot gnu.org
     Ever confirmed|0                           |1
           Priority|P3                          |P1
             Status|UNCONFIRMED                 |ASSIGNED
      Known to fail|                            |10.0
   Target Milestone|---                         |10.0

--- Comment #1 from Martin Liška <marxin at gcc dot gnu.org> ---
Started with r10-7306-g72b3bc895f023bf4.

[Bug ipa/94582] [10 Regression] ICE: verify_cgraph_node failed (error: invalid calls_comdat_local flag)

[cvs-commit at gcc dot gnu.org]

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

--- Comment #2 from CVS Commits <cvs-commit at gcc dot gnu.org> ---
The master branch has been updated by Jan Hubicka <hubicka@gcc.gnu.org>:

https://gcc.gnu.org/g:48c82310947355665d628d4d1c8e736df9987574

commit r10-7814-g48c82310947355665d628d4d1c8e736df9987574
Author: Jan Hubicka <jh@suse.cz>
Date:   Mon Apr 20 15:25:50 2020 +0200

    Fix ICE on invalid calls_comdat_local flag [pr94582]

            PR ipa/94582
            * tree-inline.c (optimize_inline_calls): Recompute
calls_comdat_local
            flag.

            * g++.dg/torture/pr94582.C: New test.

[Bug ipa/94582] [10 Regression] ICE: verify_cgraph_node failed (error: invalid calls_comdat_local flag)

[jakub at gcc dot gnu.org]

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

Jakub Jelinek <jakub at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|ASSIGNED                    |RESOLVED
         Resolution|---                         |FIXED
                 CC|                            |jakub at gcc dot gnu.org

--- Comment #3 from Jakub Jelinek <jakub at gcc dot gnu.org> ---
Assuming fixed.

[Bug ipa/94582] [10 Regression] ICE: verify_cgraph_node failed (error: invalid calls_comdat_local flag)

[marxin at gcc dot gnu.org]

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

Martin Liška <marxin at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |marvin_schmidt at gmx dot net

--- Comment #4 from Martin Liška <marxin at gcc dot gnu.org> ---
*** Bug 94677 has been marked as a duplicate of this bug. ***