[Bug c++/99480] New: [modules] ICE in import_entity_index, at cp/module.cc:3952

[Bug c++/99480] New: [modules] ICE in import_entity_index, at cp/module.cc:3952

[alexander.lelyakin at googlemail dot com]

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

            Bug ID: 99480
           Summary: [modules] ICE in import_entity_index, at
                    cp/module.cc:3952
           Product: gcc
           Version: 11.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: c++
          Assignee: unassigned at gcc dot gnu.org
          Reporter: alexander.lelyakin at googlemail dot com
  Target Milestone: ---

g++ -std=c++20 -fmodules-ts -x c++-system-header memory
g++ -std=c++20 -fmodules-ts -x c++-system-header execution
----
In file included from /usr/local/include/c++/11.0.1/pstl/parallel_impl.h:13,
                 from /usr/local/include/c++/11.0.1/pstl/algorithm_impl.h:23,
                 from
/usr/local/include/c++/11.0.1/pstl/glue_execution_defs.h:50,
                 from /usr/local/include/c++/11.0.1/execution:32:
/usr/local/include/c++/11.0.1/atomic:415:5: internal compiler error: in
import_entity_index, at cp/module.cc:3952
  415 |     {
      |     ^
0x6dbec6 import_entity_index
        ../../gcc/gcc/cp/module.cc:3952
0x6dbec6 import_entity_index
        ../../gcc/gcc/cp/module.cc:3947
0xa53bd2 module_may_redeclare(tree_node*)
        ../../gcc/gcc/cp/module.cc:18453
0xb49920 begin_class_definition(tree_node*)
        ../../gcc/gcc/cp/semantics.c:3269
0xaa5680 cp_parser_class_specifier_1
        ../../gcc/gcc/cp/parser.c:24849
0xaa7c13 cp_parser_class_specifier
        ../../gcc/gcc/cp/parser.c:25172
0xaa7c13 cp_parser_type_specifier
        ../../gcc/gcc/cp/parser.c:18419
0xaa8ba9 cp_parser_decl_specifier_seq
        ../../gcc/gcc/cp/parser.c:15041
0xad3796 cp_parser_single_declaration
        ../../gcc/gcc/cp/parser.c:30402
0xad3b16 cp_parser_template_declaration_after_parameters
        ../../gcc/gcc/cp/parser.c:30065
0xad42c0 cp_parser_explicit_template_declaration
        ../../gcc/gcc/cp/parser.c:30331
0xad69e9 cp_parser_declaration
        ../../gcc/gcc/cp/parser.c:14047
0xad5fb9 cp_parser_toplevel_declaration
        ../../gcc/gcc/cp/parser.c:14145
0xad5fb9 cp_parser_declaration_seq_opt
        ../../gcc/gcc/cp/parser.c:13933
0xad6452 cp_parser_namespace_body
        ../../gcc/gcc/cp/parser.c:20433
0xad6452 cp_parser_namespace_definition
        ../../gcc/gcc/cp/parser.c:20411
0xad6ba8 cp_parser_declaration
        ../../gcc/gcc/cp/parser.c:14096
0xad73fc cp_parser_toplevel_declaration
        ../../gcc/gcc/cp/parser.c:14145
0xad73fc cp_parser_translation_unit
        ../../gcc/gcc/cp/parser.c:4936
0xad73fc c_parse_file()
        ../../gcc/gcc/cp/parser.c:45231
Please submit a full bug report,
with preprocessed source if appropriate.
Please include the complete backtrace with any bug report.
See <https://gcc.gnu.org/bugs/> for instructions.
----
g++ (GCC) 11.0.1 20210308 (experimental)
Copyright (C) 2021 Free Software Foundation, Inc.
This is free software; see the source for copying conditions.  There is NO
warranty; not even for MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.

[Bug c++/99480] [modules] ICE in import_entity_index, at cp/module.cc:3952

[nathan at gcc dot gnu.org]

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

Nathan Sidwell <nathan at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
     Ever confirmed|0                           |1
   Last reconfirmed|                            |2021-03-22
             Status|UNCONFIRMED                 |ASSIGNED

--- Comment #1 from Nathan Sidwell <nathan at gcc dot gnu.org> ---
// bug_a.ii
template<typename _Tp>
struct atomic;

template<typename _Tp>
struct atomic<_Tp*>;

// bug_b.ii
import  "bug_a.ii";

template<typename _Tp>
struct atomic<_Tp*>
{
};
./cc1plus -std=c++20 -quiet -fmodule-header bug_a.ii && ./cc1plus -std=c++20
-quiet -fmodule-header bug_b.ii
bug_b.ii:5:1: internal compiler error: in import_entity_index, at
cp/module.cc:3943
    5 | {
      | ^
0xc8affe import_entity_index
        ../../../src/gcc/cp/module.cc:3943
0xcc4350 module_may_redeclare(tree_node*)
        ../../../src/gcc/cp/module.cc:18440
0xe23fda begin_class_definition(tree_node*)
        ../../../src/gcc/cp/semantics.c:3334

[Bug c++/99480] [modules] ICE in import_entity_index, at cp/module.cc:3952

[cvs-commit at gcc dot gnu.org]

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

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

https://gcc.gnu.org/g:2bfd081f1bce3fb7f791591e741723dce4e884ed

commit r11-7769-g2bfd081f1bce3fb7f791591e741723dce4e884ed
Author: Nathan Sidwell <nathan@acm.org>
Date:   Mon Mar 22 12:35:35 2021 -0700

    c++: Cross-module partial specialiations [PR 99480]

    We were not correctly handling cross-module redeclarations of
    partial-specializations.  They have their own TEMPLATE_DECL, which we
    need to locate.  I had a FIXME there about this case.  Guess it's
    fixed now.

            PR c++/99480
            gcc/cp/
            * module.cc (depset::hash::make_dependency): Propagate flags for
            partial specialization.
            (module_may_redeclare): Handle partial specialization.
            gcc/testsuite/
            * g++.dg/modules/pr99480_a.H: New.
            * g++.dg/modules/pr99480_b.H: New.

[Bug c++/99480] [modules] ICE in import_entity_index, at cp/module.cc:3952

[nathan at gcc dot gnu.org]

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

Nathan Sidwell <nathan at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|ASSIGNED                    |RESOLVED
         Resolution|---                         |FIXED

--- Comment #3 from Nathan Sidwell <nathan at gcc dot gnu.org> ---
* 2bfd081f1bc 2021-03-22 | c++: Cross-module partial specialiations [PR 99480]