[Bug middle-end/66214] [6 Regression] ICE verify_type failed with -O0 -g via gen_type_die_with_usage's dwarf2out.c:20250

["jim at meyering dot net" <gcc-bugzilla@gcc.gnu.org>]

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

jim at meyering dot net changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |jim at meyering dot net

--- Comment #10 from jim at meyering dot net ---
I have just encountered this problem and reduced a large input file to this:

$ cat z.cpp
struct A {
  typedef A B;
  int m;
  struct {
    V(B);
  }
}


$ g++ --version|head -1                                      
g++ (GCC) 6.0.0 20150801 (experimental)

That provokes the same ICE with this command:

$ g++ -g -fpermissive z.cpp
z.cpp:5:8: warning: ISO C++ forbids declaration of ‘V’ with no type
[-fpermissive]
     V(B);
        ^
z.cpp:4:10: error: TYPE_CANONICAL is not compatible
   struct {
          ^
 <record_type 0x7f3208e9e1f8 A type_5 VOID
    align 8 symtab 148250704 alias set -1 canonical type 0x7f3208e9e1f8
    fields <field_decl 0x7f3208e9b558 m
        type <integer_type 0x7f3208d3c7e0 int asm_written public SI
            size <integer_cst 0x7f3208d5a0a8 constant 32>
            unit size <integer_cst 0x7f3208d5a0c0 constant 4>
            align 32 symtab 148250944 alias set -1 canonical type
0x7f3208d3c7e0 precision 32 min <integer_cst 0x7f3208d5a060 -2147483648> max
<integer_cst 0x7f3208d5a078 2147483647>
            pointer_to_this <pointer_type 0x7f3208d5e930>>
        decl_3 VOID file z.cpp line 3 col 7
        align 1 offset_align 1 context <record_type 0x7f3208e9e1f8 A>
        chain <type_decl 0x7f3208e9b428 A type <record_type 0x7f3208e9e2a0 A>
            used nonlocal decl_4 VOID file z.cpp line 1 col 10
            align 1 context <record_type 0x7f3208e9e1f8 A> result <record_type
0x7f3208e9e1f8 A>
            chain <type_decl 0x7f3208e9b4c0 B>>> context <translation_unit_decl
0x7f32107ca1e0 D.1>
    full-name "struct A"
    n_parents=0 use_template=0 interface-unknown
    chain <type_decl 0x7f3208e9b390 A>>
 <record_type 0x7f3208e9e348 B type_5 VOID
    align 8 symtab 0 alias set -1 canonical type 0x7f3208e9e1f8
    fields <type_decl 0x7f3208e9b428 A
        type <record_type 0x7f3208e9e2a0 A type_5 VOID
            align 8 symtab 0 alias set -1 canonical type 0x7f3208e9e1f8 context
<translation_unit_decl 0x7f32107ca1e0 D.1>
            full-name "struct A"
            n_parents=0 use_template=0 interface-unknown
            chain <type_decl 0x7f3208e9b390 A>>
        used nonlocal decl_4 VOID file z.cpp line 1 col 10
        align 1 context <record_type 0x7f3208e9e1f8 A>
        result <record_type 0x7f3208e9e1f8 A type_5 VOID
            align 8 symtab 148250704 alias set -1 canonical type 0x7f3208e9e1f8
fields <field_decl 0x7f3208e9b558 m> context <translation_unit_decl
0x7f32107ca1e0 D.1>
            full-name "struct A"
            n_parents=0 use_template=0 interface-unknown
            chain <type_decl 0x7f3208e9b390 A>>

        chain <type_decl 0x7f3208e9b4c0 B type <record_type 0x7f3208e9e348 B>
            used nonlocal VOID file z.cpp line 2 col 13
            align 1 context <record_type 0x7f3208e9e1f8 A> result <record_type
0x7f3208e9e1f8 A>
            chain <type_decl 0x7f3208e9b688 ._0>>> context
<translation_unit_decl 0x7f32107ca1e0 D.1>
    full-name "A::B"
    n_parents=0 use_template=0 interface-unknown
    chain <type_decl 0x7f3208e9b390 A>>
z.cpp:4:10: internal compiler error: verify_type failed
0xfe0959 verify_type(tree_node const*)
        ../../gcc/tree.c:13570
0x965ed4 gen_type_die_with_usage
        ../../gcc/dwarf2out.c:20685
0x967506 gen_type_die
        ../../gcc/dwarf2out.c:20879
0x96837c modified_type_die
        ../../gcc/dwarf2out.c:10810
0x968b84 add_type_attribute
        ../../gcc/dwarf2out.c:17486
0x968db7 gen_formal_parameter_die
        ../../gcc/dwarf2out.c:18100
0x9692c1 gen_formal_types_die
        ../../gcc/dwarf2out.c:18198
0x960ab7 gen_subprogram_die
        ../../gcc/dwarf2out.c:19083
0x96483b gen_decl_die
        ../../gcc/dwarf2out.c:21442
0x963b54 gen_member_die
        ../../gcc/dwarf2out.c:20377
0x963b54 gen_struct_or_union_type_die
        ../../gcc/dwarf2out.c:20461
0x963b54 gen_tagged_type_die
        ../../gcc/dwarf2out.c:20662
0x9669bd gen_type_die_with_usage
        ../../gcc/dwarf2out.c:20824
0x967506 gen_type_die
        ../../gcc/dwarf2out.c:20879
0x964bbe gen_decl_die
        ../../gcc/dwarf2out.c:21465
0x965794 dwarf2out_decl
        ../../gcc/dwarf2out.c:21915
0x965a6b dwarf2out_type_decl
        ../../gcc/dwarf2out.c:21625
0xc8446f rest_of_type_compilation(tree_node*, int)
        ../../gcc/passes.c:336
0x698ef3 finish_struct_1(tree_node*)
        ../../gcc/cp/class.c:6738
0x69a5a4 finish_struct(tree_node*, tree_node*)
        ../../gcc/cp/class.c:6904
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.
[Exit 1]
>From gcc-bugs-return-493887-listarch-gcc-bugs=gcc.gnu.org@gcc.gnu.org Sun Aug 02 08:40:30 2015
Return-Path: <gcc-bugs-return-493887-listarch-gcc-bugs=gcc.gnu.org@gcc.gnu.org>
Delivered-To: listarch-gcc-bugs@gcc.gnu.org
Received: (qmail 122908 invoked by alias); 2 Aug 2015 08:40:29 -0000
Mailing-List: contact gcc-bugs-help@gcc.gnu.org; run by ezmlm
Precedence: bulk
List-Id: <gcc-bugs.gcc.gnu.org>
List-Archive: <http://gcc.gnu.org/ml/gcc-bugs/>
List-Post: <mailto:gcc-bugs@gcc.gnu.org>
List-Help: <mailto:gcc-bugs-help@gcc.gnu.org>
Sender: gcc-bugs-owner@gcc.gnu.org
Delivered-To: mailing list gcc-bugs@gcc.gnu.org
Received: (qmail 122865 invoked by uid 48); 2 Aug 2015 08:40:25 -0000
From: "glaubitz at physik dot fu-berlin.de" <gcc-bugzilla@gcc.gnu.org>
To: gcc-bugs@gcc.gnu.org
Subject: [Bug target/66312] [SH] Regression: Bootstrap failure gcc/d/ctfeexpr.dmd.o differs with gcc-4.8/4.9
Date: Sun, 02 Aug 2015 08:40:00 -0000
X-Bugzilla-Reason: CC
X-Bugzilla-Type: changed
X-Bugzilla-Watch-Reason: None
X-Bugzilla-Product: gcc
X-Bugzilla-Component: target
X-Bugzilla-Version: 4.9.3
X-Bugzilla-Keywords:
X-Bugzilla-Severity: normal
X-Bugzilla-Who: glaubitz at physik dot fu-berlin.de
X-Bugzilla-Status: UNCONFIRMED
X-Bugzilla-Resolution:
X-Bugzilla-Priority: P3
X-Bugzilla-Assigned-To: unassigned at gcc dot gnu.org
X-Bugzilla-Target-Milestone: ---
X-Bugzilla-Flags:
X-Bugzilla-Changed-Fields:
Message-ID: <bug-66312-4-ePj0yAq61H@http.gcc.gnu.org/bugzilla/>
In-Reply-To: <bug-66312-4@http.gcc.gnu.org/bugzilla/>
References: <bug-66312-4@http.gcc.gnu.org/bugzilla/>
Content-Type: text/plain; charset="UTF-8"
Content-Transfer-Encoding: 7bit
X-Bugzilla-URL: http://gcc.gnu.org/bugzilla/
Auto-Submitted: auto-generated
MIME-Version: 1.0
X-SW-Source: 2015-08/txt/msg00029.txt.bz2
Content-length: 246

https://gcc.gnu.org/bugzilla/show_bug.cgi?idf312

--- Comment #8 from John Paul Adrian Glaubitz <glaubitz at physik dot fu-berlin.de> ---
Would it be helpful to have a diff of the disassembly attached to this bug
report as in PR target/67002?