[Bug other/98533] New: [11 Regression] ICE: 'verify_type' failed

[Bug other/98533] New: [11 Regression] ICE: 'verify_type' failed

[doko at debian dot org]

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

            Bug ID: 98533
           Summary: [11 Regression] ICE: 'verify_type' failed
           Product: gcc
           Version: 11.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: other
          Assignee: unassigned at gcc dot gnu.org
          Reporter: doko at debian dot org
  Target Milestone: ---

seen with trunk 20210102 on x86_64-linux-gnu, compiler configured with
--enable-checking=yes,extra,rtl, building the actiona package.

$ cat codelineedit.ii
typedef long quintptr;
template <typename T> struct IsQEnumHelper { const T declval0; };
template <typename T, int = IsQEnumHelper<T>::Value> struct QMetaTypeIdQObject;
template <typename T> struct QMetaTypeId2 {
  enum { Defined = QMetaTypeIdQObject<T>::Defined };
};
template <bool> struct MetaTypeDefinedHelper;
template <typename T>
void qRegisterMetaType(
    char *, T *,
    typename MetaTypeDefinedHelper<QMetaTypeId2<T>::IsBuiltIn>::defined =
        MetaTypeDefinedHelper<T ::IsBuiltIn>::Defined);
class ActionInstance {
  void isEnabled() const;
  template <typename> void evaluateListElement(int = [] {});
} newId = qRegisterMetaType("", reinterpret_cast<ActionInstance *>(quintptr()))

$ g++ -Wall -c -std=c++11 -g -O0 codelineedit.ii
codelineedit.ii: In instantiation of 'struct IsQEnumHelper<ActionInstance>':
codelineedit.ii:5:43:   required from 'struct QMetaTypeId2<ActionInstance>'
codelineedit.ii:9:6:   required by substitution of 'template<class T> void
qRegisterMetaType(char*, T*, typename
MetaTypeDefinedHelper<QMetaTypeId2<T>::IsBuiltIn>::defined) [with T =
ActionInstance]'
codelineedit.ii:16:79:   required from here
codelineedit.ii:2:30: error: type variant has different 'TYPE_FIELDS'
    2 | template <typename T> struct IsQEnumHelper { const T declval0; };
      |                              ^~~~~~~~~~~~~
 <record_type 0x7f08c58ba3f0 ActionInstance asm_written cxx-odr-p type_5 type_6
QI
    size <integer_cst 0x7f08c5765fa8 type <integer_type 0x7f08c57830a8
bitsizetype> constant 8>
    unit-size <integer_cst 0x7f08c5765fc0 type <integer_type 0x7f08c5783000
sizetype> constant 1>
    align:8 warn_if_not_align:0 symtab:-981933840 alias-set -1 canonical-type
0x7f08c58ba3f0
    fields <template_decl 0x7f08c58b5980 ._anon_1
        type <record_type 0x7f08c58badc8 ._anon_1 cxx-odr-p type_0 type_5
type_6 VOID
            size <integer_cst 0x7f08c5765f30 constant 0>
            unit-size <integer_cst 0x7f08c5765ee8 constant 0>
            align:8 warn_if_not_align:0 symtab:0 alias-set -1 canonical-type
0x7f08c58badc8 fields <using_decl 0x7f08c58b9a18 operator=> context
<record_type 0x7f08c58ba3f0 ActionInstance>
            full-name "struct ActionInstance::<lambda()>"
            n_parents=0 use_template=0 interface-unknown
            chain <type_decl 0x7f08c58b9850 ._anon_1>>
        private VOID codelineedit.ii:15:55
        align:1 warn_if_not_align:0 context <record_type 0x7f08c58ba3f0
ActionInstance>
        parms <tree_list 0x7f08c58b8c08 tree_1 purpose <integer_cst
0x7f08c5765fc0 1>
            value <tree_vec 0x7f08c58a9740 type <template_decl 0x7f08c58b5900
evaluateListElement>
                length:1
                elt:0 <tree_list 0x7f08c58b8ac8 value <type_decl 0x7f08c58b9688
D.2123>>>>
        full-name "template<class> struct ActionInstance::<lambda()>"
        chain <function_decl 0x7f08c58b1700 isEnabled type <method_type
0x7f08c58ba7e0>
            public private external QI codelineedit.ii:14:8 align:16
warn_if_not_align:0 context <record_type 0x7f08c58ba3f0 ActionInstance>
            full-name "void ActionInstance::isEnabled() const" chain
<template_decl 0x7f08c58b5900 evaluateListElement>>> context
<translation_unit_decl 0x7f08c5772168 codelineedit.ii>
    full-name "class ActionInstance"
    X() X(constX&) this=(X&) n_parents=0 use_template=0 interface-unknown
    pointer_to_this <pointer_type 0x7f08c58ba930> chain <type_decl
0x7f08c58b9558 ActionInstance>>
codelineedit.ii:2:30: error: first mismatch is field
 <function_decl 0x7f08c58b1700 isEnabled
    type <method_type 0x7f08c58ba7e0
        type <void_type 0x7f08c5783f18 void asm_written type_6 VOID
            align:8 warn_if_not_align:0 symtab:0 alias-set -1 canonical-type
0x7f08c5783f18
            pointer_to_this <pointer_type 0x7f08c578b000>>
        QI
        size <integer_cst 0x7f08c5765fa8 constant 8>
        unit-size <integer_cst 0x7f08c5765fc0 constant 1>
        align:8 warn_if_not_align:0 symtab:0 alias-set -1 canonical-type
0x7f08c58ba7e0 method basetype <record_type 0x7f08c58ba3f0 ActionInstance>
        arg-types <tree_list 0x7f08c58b8a28 value <pointer_type 0x7f08c58ba5e8>
            chain <tree_list 0x7f08c57798e8 value <void_type 0x7f08c5783f18
void>>>>
    public private external QI codelineedit.ii:14:8 align:16
warn_if_not_align:0 context <record_type 0x7f08c58ba3f0 ActionInstance>
    full-name "void ActionInstance::isEnabled() const" chain <template_decl
0x7f08c58b5900 evaluateListElement>>
codelineedit.ii:2:30: error: and field
 <template_decl 0x7f08c58b5980 ._anon_1
    type <record_type 0x7f08c58badc8 ._anon_1 cxx-odr-p type_0 type_5 type_6
VOID
        size <integer_cst 0x7f08c5765f30 constant 0>
        unit-size <integer_cst 0x7f08c5765ee8 constant 0>
        align:8 warn_if_not_align:0 symtab:0 alias-set -1 canonical-type
0x7f08c58badc8
        fields <using_decl 0x7f08c58b9a18 operator= decl_0 VOID
codelineedit.ii:15:55
            align:1 warn_if_not_align:0 context <record_type 0x7f08c58badc8
._anon_1> result <record_type 0x7f08c58badc8 ._anon_1> chain <function_decl
0x7f08c58b1900 operator()>> context <record_type 0x7f08c58ba3f0 ActionInstance>
        full-name "struct ActionInstance::<lambda()>"
        n_parents=0 use_template=0 interface-unknown
        chain <type_decl 0x7f08c58b9850 ._anon_1>>
    private VOID codelineedit.ii:15:55
    align:1 warn_if_not_align:0 context <record_type 0x7f08c58ba3f0
ActionInstance>
    parms <tree_list 0x7f08c58b8c08 tree_1
        purpose <integer_cst 0x7f08c5765fc0 constant 1>
        value <tree_vec 0x7f08c58a9740 type <template_decl 0x7f08c58b5900
evaluateListElement>
            length:1
            elt:0 <tree_list 0x7f08c58b8ac8 value <type_decl 0x7f08c58b9688
D.2123>>>>
    full-name "template<class> struct ActionInstance::<lambda()>" chain
<function_decl 0x7f08c58b1700 isEnabled>>
 <record_type 0x7f08c58ba540 ActionInstance readonly cxx-odr-p type_5 QI
    size <integer_cst 0x7f08c5765fa8 type <integer_type 0x7f08c57830a8
bitsizetype> constant 8>
    unit-size <integer_cst 0x7f08c5765fc0 type <integer_type 0x7f08c5783000
sizetype> constant 1>
    align:8 warn_if_not_align:0 symtab:-981933520 alias-set -1 canonical-type
0x7f08c58ba540
    fields <function_decl 0x7f08c58b1700 isEnabled
        type <method_type 0x7f08c58ba7e0 type <void_type 0x7f08c5783f18 void>
            QI size <integer_cst 0x7f08c5765fa8 8> unit-size <integer_cst
0x7f08c5765fc0 1>
            align:8 warn_if_not_align:0 symtab:0 alias-set -1 canonical-type
0x7f08c58ba7e0 method basetype <record_type 0x7f08c58ba3f0 ActionInstance>
            arg-types <tree_list 0x7f08c58b8a28 value <pointer_type
0x7f08c58ba5e8>
                chain <tree_list 0x7f08c57798e8 value <void_type 0x7f08c5783f18
void>>>>
        public private external QI codelineedit.ii:14:8 align:16
warn_if_not_align:0 context <record_type 0x7f08c58ba3f0 ActionInstance>
        full-name "void ActionInstance::isEnabled() const"
        chain <template_decl 0x7f08c58b5900 evaluateListElement type
<method_type 0x7f08c58babd0>
            private ignored decl_1 VOID codelineedit.ii:15:28
            align:1 warn_if_not_align:0 context <record_type 0x7f08c58ba3f0
ActionInstance>
            parms <tree_list 0x7f08c58b8af0 purpose <integer_cst 0x7f08c5765fc0
1>
                value <tree_vec 0x7f08c58a9740 type <template_decl
0x7f08c58b5900 evaluateListElement>
                    length:1
                    elt:0 <tree_list 0x7f08c58b8ac8 value <type_decl
0x7f08c58b9688 D.2123>>>>
            full-name "template<class> void
ActionInstance::evaluateListElement(int)" chain <type_decl 0x7f08c58b95f0
ActionInstance>>> context <translation_unit_decl 0x7f08c5772168
codelineedit.ii>
    full-name "const class ActionInstance"
    X() X(constX&) this=(X&) n_parents=0 use_template=0 interface-unknown
    pointer_to_this <pointer_type 0x7f08c58ba5e8>>
codelineedit.ii:2:30: internal compiler error: 'verify_type' failed
0x626011 verify_type(tree_node const*)
        ../../src/gcc/tree.c:14906
0x12a9537 gen_type_die_with_usage
        ../../src/gcc/dwarf2out.c:25504
0x12a94a6 gen_type_die
        ../../src/gcc/dwarf2out.c:25735
0x12a16c6 gen_decl_die
        ../../src/gcc/dwarf2out.c:26450
0x12b99aa gen_member_die
        ../../src/gcc/dwarf2out.c:25188
0x12b99aa gen_struct_or_union_type_die
        ../../src/gcc/dwarf2out.c:25284
0x12b99aa gen_tagged_type_die
        ../../src/gcc/dwarf2out.c:25485
0x12a96c5 gen_type_die_with_usage
        ../../src/gcc/dwarf2out.c:25680
0x12a94a6 gen_type_die
        ../../src/gcc/dwarf2out.c:25735
0x12a1854 gen_decl_die
        ../../src/gcc/dwarf2out.c:26374
0x1265c6d dwarf2out_decl
        ../../src/gcc/dwarf2out.c:26929
0x12b65fa dwarf2out_type_decl
        ../../src/gcc/dwarf2out.c:26647
0x12b65fa rest_of_type_compilation(tree_node*, int)
        ../../src/gcc/passes.c:339
0x136210e finish_struct_1(tree_node*)
        ../../src/gcc/cp/class.c:7524
0x14d0c68 instantiate_class_template_1
        ../../src/gcc/cp/pt.c:12205
0x126e5bb instantiate_class_template(tree_node*)
        ../../src/gcc/cp/pt.c:12240
0x126e5bb complete_type(tree_node*)
        ../../src/gcc/cp/typeck.c:137
0x1328b87 complete_type(tree_node*)
        ../../src/gcc/tree.h:3337
0x1328b87 lookup_member(tree_node*, tree_node*, int, bool, int,
access_failure_info*)
        ../../src/gcc/cp/search.c:1103
0x12ed3ed lookup_qualified_name(tree_node*, tree_node*, LOOK_want, bool)
        ../../src/gcc/cp/name-lookup.c:7241
Please submit a full bug report,
with preprocessed source if appropriate.

[Bug other/98533] [11 Regression] ICE: 'verify_type' failed

[jakub at gcc dot gnu.org]

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

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

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |jakub at gcc dot gnu.org

--- Comment #1 from Jakub Jelinek <jakub at gcc dot gnu.org> ---
ICEs since r6-606-g3eb92a3d25d596acb8a45d2ec335c6e3f6950391 when it stopped
being rejected.

[Bug other/98533] [11 Regression] ICE: 'verify_type' failed

[jakub at gcc dot gnu.org]

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

--- Comment #2 from Jakub Jelinek <jakub at gcc dot gnu.org> ---
Before that revision the error has been:
pr98533.C: In instantiation of ‘struct QMetaTypeId2<ActionInstance>’:
pr98533.C:9:6:   required by substitution of ‘template<class T> void
qRegisterMetaType(char*, T*, typename
MetaTypeDefinedHelper<QMetaTypeId2<T>::IsBuiltIn>::defined) [with T =
ActionInstance]’
pr98533.C:16:79:   required from here
pr98533.C:5:8: error: ‘Value’ is not a member of
‘IsQEnumHelper<ActionInstance>’
   enum { Defined = QMetaTypeIdQObject<T>::Defined };
        ^
pr98533.C:16:79: error: no matching function for call to
‘qRegisterMetaType(const char [1], ActionInstance*)’
 } newId = qRegisterMetaType("", reinterpret_cast<ActionInstance
*>(quintptr()))
                                                                              
^
pr98533.C:9:6: note: candidate: template<class T> void qRegisterMetaType(char*,
T*, typename MetaTypeDefinedHelper<QMetaTypeId2<T>::IsBuiltIn>::defined)
 void qRegisterMetaType(
      ^
pr98533.C:9:6: note:   substitution of deduced template arguments resulted in
errors seen above
pr98533.C:16:79: error: expected ‘,’ or ‘;’ at end of input
 } newId = qRegisterMetaType("", reinterpret_cast<ActionInstance
*>(quintptr()))

[Bug other/98533] [11 Regression] ICE: 'verify_type' failed

[marxin at gcc dot gnu.org]

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

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

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |marxin at gcc dot gnu.org
             Status|UNCONFIRMED                 |NEW
   Last reconfirmed|                            |2021-01-05
     Ever confirmed|0                           |1

[Bug other/98533] [11 Regression] ICE: 'verify_type' failed

[rguenth at gcc dot gnu.org]

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

Richard Biener <rguenth at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
           Keywords|                            |ice-checking
   Target Milestone|---                         |11.0

[Bug other/98533] [8/9/10/11 Regression] ICE: 'verify_type' failed

[rguenth at gcc dot gnu.org]

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

Richard Biener <rguenth at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
            Summary|[11 Regression] ICE:        |[8/9/10/11 Regression] ICE:
                   |'verify_type' failed        |'verify_type' failed
   Target Milestone|11.0                        |8.5

[Bug other/98533] [8/9/10/11 Regression] ICE: 'verify_type' failed

[rguenth at gcc dot gnu.org]

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

Richard Biener <rguenth at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
           Priority|P3                          |P2

[Bug other/98533] [8/9/10/11 Regression] ICE: 'verify_type' failed

[doko at debian dot org]

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

--- Comment #3 from Matthias Klose <doko at debian dot org> ---
reconfirmed with 20210306, building the actiona package.

[Bug other/98533] [9/10/11/12 Regression] ICE: 'verify_type' failed

[jakub at gcc dot gnu.org]

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

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

           What    |Removed                     |Added
----------------------------------------------------------------------------
   Target Milestone|8.5                         |9.4

--- Comment #4 from Jakub Jelinek <jakub at gcc dot gnu.org> ---
GCC 8 branch is being closed.

[Bug other/98533] [9/10/11/12 Regression] ICE: 'verify_type' failed

[rguenth at gcc dot gnu.org]

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

Richard Biener <rguenth at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
   Target Milestone|9.4                         |9.5

--- Comment #5 from Richard Biener <rguenth at gcc dot gnu.org> ---
GCC 9.4 is being released, retargeting bugs to GCC 9.5.

[Bug c++/98533] [10/11/12/13 Regression] ICE: 'verify_type' failed

[rguenth at gcc dot gnu.org]

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

Richard Biener <rguenth at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
   Target Milestone|9.5                         |10.4

--- Comment #6 from Richard Biener <rguenth at gcc dot gnu.org> ---
GCC 9 branch is being closed

[Bug c++/98533] [10/11/12/13 Regression] ICE: 'verify_type' failed

[jakub at gcc dot gnu.org]

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

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

           What    |Removed                     |Added
----------------------------------------------------------------------------
   Target Milestone|10.4                        |10.5

--- Comment #7 from Jakub Jelinek <jakub at gcc dot gnu.org> ---
GCC 10.4 is being released, retargeting bugs to GCC 10.5.

[Bug c++/98533] [11/12/13/14 Regression] ICE: 'verify_type' failed

[rguenth at gcc dot gnu.org]

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

Richard Biener <rguenth at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
   Target Milestone|10.5                        |11.5

--- Comment #8 from Richard Biener <rguenth at gcc dot gnu.org> ---
GCC 10 branch is being closed.

[Bug c++/98533] [11/12/13/14 Regression] ICE: 'verify_type' failed

[zhroma at gcc dot gnu.org]

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

Roman Zhuykov <zhroma at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |zhroma at gcc dot gnu.org

--- Comment #9 from Roman Zhuykov <zhroma at gcc dot gnu.org> ---
Just adding another example where I caught the same error:

$ cat test.cc 
class IR;
class Pass {
public:
    explicit Pass(IR *ir) : ir_(ir) {}
    virtual ~Pass() = default;
    IR *ir_ {nullptr};
};
class PassManager {
public:
    template <typename T> void RunPass() { T pass(ir_); }
    IR *ir_ {nullptr};
};
class IR final {
public:                            
    template <typename T> void RunPass() { pass_manager_.RunPass<T>(); }
    PassManager pass_manager_;
};
class ThePass : Pass {
public:
    explicit ThePass(IR *ir) : Pass(ir) {}
    ThePass(const ThePass &) = delete;
    template <typename Func = bool (*)(void *)> void Bar(void *inst, Func func
= [](void *) {});
};

void foo(IR *ir) { ir->RunPass<ThePass>(); }

$ g++ -fchecking -g -c test.cc  # any g++ from 8 to 13
test.cc:18:7: error: type variant has different ‘TYPE_FIELDS’
   18 | class ThePass : Pass {
      |       ^~~~~~~
 <record_type 0x7f44b1bbd738 ThePass ...

[Bug c++/98533] [11/12/13/14 Regression] ICE: 'verify_type' failed

[pinskia at gcc dot gnu.org]

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

Andrew Pinski <pinskia at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |doko at gcc dot gnu.org

--- Comment #10 from Andrew Pinski <pinskia at gcc dot gnu.org> ---
*** Bug 113198 has been marked as a duplicate of this bug. ***