public inbox for gcc-bugs@sourceware.org
help / color / mirror / Atom feed
* [Bug middle-end/66214] New: [6 Regression] ICE verify_type failed with -O0 -g via gen_type_die_with_usage's dwarf2out.c:20250
@ 2015-05-20 11:16 burnus at gcc dot gnu.org
  2015-05-20 11:17 ` [Bug middle-end/66214] " burnus at gcc dot gnu.org
                   ` (15 more replies)
  0 siblings, 16 replies; 17+ messages in thread
From: burnus at gcc dot gnu.org @ 2015-05-20 11:16 UTC (permalink / raw)
  To: gcc-bugs

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

            Bug ID: 66214
           Summary: [6 Regression] ICE verify_type failed with -O0 -g via
                    gen_type_die_with_usage's dwarf2out.c:20250
           Product: gcc
           Version: 6.0
            Status: UNCONFIRMED
          Keywords: ice-on-valid-code
          Severity: normal
          Priority: P3
         Component: middle-end
          Assignee: unassigned at gcc dot gnu.org
          Reporter: burnus at gcc dot gnu.org
                CC: hubicka at gcc dot gnu.org
  Target Milestone: ---

Created attachment 35574
  --> https://gcc.gnu.org/bugzilla/attachment.cgi?id=35574&action=edit
Test case (input13.ii): Compile with g++ -std=c++11 -g

The bug reminds me of 66103, but is one is without LTO.

Compiling the attached code snipped with "g++ -std=c++11 -g" give the following
ICE. Without "-g", it doesn't crash:


input13.ii:53:34:   required from here
input13.ii:44:74: error: TYPE_CANONICAL is not compatible
 template < typename _Tp, typename _Alloc = std::allocator < _Tp > >class
vector:protected _Vector_base < _Tp,
[...]
input13.ii:44:74: internal compiler error: verify_type failed
0xf3e280 verify_type(tree_node const*)
        ../../gcc/tree.c:13257
0x96dc04 gen_type_die_with_usage
        ../../gcc/dwarf2out.c:20250
0x96e2a3 gen_type_die_with_usage
        ../../gcc/dwarf2out.c:20337
0x97f21c gen_type_die
        ../../gcc/dwarf2out.c:20434
0x97f21c gen_formal_types_die
        ../../gcc/dwarf2out.c:18027


^ permalink raw reply	[flat|nested] 17+ messages in thread

* [Bug middle-end/66214] [6 Regression] ICE verify_type failed with -O0 -g via gen_type_die_with_usage's dwarf2out.c:20250
  2015-05-20 11:16 [Bug middle-end/66214] New: [6 Regression] ICE verify_type failed with -O0 -g via gen_type_die_with_usage's dwarf2out.c:20250 burnus at gcc dot gnu.org
@ 2015-05-20 11:17 ` burnus at gcc dot gnu.org
  2015-05-20 13:10 ` mpolacek at gcc dot gnu.org
                   ` (14 subsequent siblings)
  15 siblings, 0 replies; 17+ messages in thread
From: burnus at gcc dot gnu.org @ 2015-05-20 11:17 UTC (permalink / raw)
  To: gcc-bugs

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

Tobias Burnus <burnus at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
      Known to work|                            |5.1.0
   Target Milestone|---                         |6.0
      Known to fail|                            |6.0

--- Comment #1 from Tobias Burnus <burnus at gcc dot gnu.org> ---
(In reply to Tobias Burnus from comment #0)
> The bug reminds me of bug 66103, but is one is without LTO.


^ permalink raw reply	[flat|nested] 17+ messages in thread

* [Bug middle-end/66214] [6 Regression] ICE verify_type failed with -O0 -g via gen_type_die_with_usage's dwarf2out.c:20250
  2015-05-20 11:16 [Bug middle-end/66214] New: [6 Regression] ICE verify_type failed with -O0 -g via gen_type_die_with_usage's dwarf2out.c:20250 burnus at gcc dot gnu.org
  2015-05-20 11:17 ` [Bug middle-end/66214] " burnus at gcc dot gnu.org
@ 2015-05-20 13:10 ` mpolacek at gcc dot gnu.org
  2015-05-22  8:19 ` burnus at gcc dot gnu.org
                   ` (13 subsequent siblings)
  15 siblings, 0 replies; 17+ messages in thread
From: mpolacek at gcc dot gnu.org @ 2015-05-20 13:10 UTC (permalink / raw)
  To: gcc-bugs

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

Marek Polacek <mpolacek at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|UNCONFIRMED                 |NEW
   Last reconfirmed|                            |2015-05-20
                 CC|                            |mpolacek at gcc dot gnu.org
     Ever confirmed|0                           |1

--- Comment #2 from Marek Polacek <mpolacek at gcc dot gnu.org> ---
Confirmed.


^ permalink raw reply	[flat|nested] 17+ messages in thread

* [Bug middle-end/66214] [6 Regression] ICE verify_type failed with -O0 -g via gen_type_die_with_usage's dwarf2out.c:20250
  2015-05-20 11:16 [Bug middle-end/66214] New: [6 Regression] ICE verify_type failed with -O0 -g via gen_type_die_with_usage's dwarf2out.c:20250 burnus at gcc dot gnu.org
  2015-05-20 11:17 ` [Bug middle-end/66214] " burnus at gcc dot gnu.org
  2015-05-20 13:10 ` mpolacek at gcc dot gnu.org
@ 2015-05-22  8:19 ` burnus at gcc dot gnu.org
  2015-05-26 12:13 ` burnus at gcc dot gnu.org
                   ` (12 subsequent siblings)
  15 siblings, 0 replies; 17+ messages in thread
From: burnus at gcc dot gnu.org @ 2015-05-22  8:19 UTC (permalink / raw)
  To: gcc-bugs

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

--- Comment #3 from Tobias Burnus <burnus at gcc dot gnu.org> ---
Works after reverting Honza's r223391.


^ permalink raw reply	[flat|nested] 17+ messages in thread

* [Bug middle-end/66214] [6 Regression] ICE verify_type failed with -O0 -g via gen_type_die_with_usage's dwarf2out.c:20250
  2015-05-20 11:16 [Bug middle-end/66214] New: [6 Regression] ICE verify_type failed with -O0 -g via gen_type_die_with_usage's dwarf2out.c:20250 burnus at gcc dot gnu.org
                   ` (2 preceding siblings ...)
  2015-05-22  8:19 ` burnus at gcc dot gnu.org
@ 2015-05-26 12:13 ` burnus at gcc dot gnu.org
  2015-05-27  6:47 ` burnus at gcc dot gnu.org
                   ` (11 subsequent siblings)
  15 siblings, 0 replies; 17+ messages in thread
From: burnus at gcc dot gnu.org @ 2015-05-26 12:13 UTC (permalink / raw)
  To: gcc-bugs

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

--- Comment #4 from Tobias Burnus <burnus at gcc dot gnu.org> ---
Seems to be fixed by Honza's patch at
https://gcc.gnu.org/ml/gcc-patches/2015-05/msg02225.html / by his commit
r223608.

Should the test case be test-cased?


^ permalink raw reply	[flat|nested] 17+ messages in thread

* [Bug middle-end/66214] [6 Regression] ICE verify_type failed with -O0 -g via gen_type_die_with_usage's dwarf2out.c:20250
  2015-05-20 11:16 [Bug middle-end/66214] New: [6 Regression] ICE verify_type failed with -O0 -g via gen_type_die_with_usage's dwarf2out.c:20250 burnus at gcc dot gnu.org
                   ` (3 preceding siblings ...)
  2015-05-26 12:13 ` burnus at gcc dot gnu.org
@ 2015-05-27  6:47 ` burnus at gcc dot gnu.org
  2015-06-08 11:54 ` trippels at gcc dot gnu.org
                   ` (10 subsequent siblings)
  15 siblings, 0 replies; 17+ messages in thread
From: burnus at gcc dot gnu.org @ 2015-05-27  6:47 UTC (permalink / raw)
  To: gcc-bugs

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

--- Comment #5 from Tobias Burnus <burnus at gcc dot gnu.org> ---
Hmm, today, I see it again. I wonder why it (seemed to) work(ed) yesterday.


^ permalink raw reply	[flat|nested] 17+ messages in thread

* [Bug middle-end/66214] [6 Regression] ICE verify_type failed with -O0 -g via gen_type_die_with_usage's dwarf2out.c:20250
  2015-05-20 11:16 [Bug middle-end/66214] New: [6 Regression] ICE verify_type failed with -O0 -g via gen_type_die_with_usage's dwarf2out.c:20250 burnus at gcc dot gnu.org
                   ` (4 preceding siblings ...)
  2015-05-27  6:47 ` burnus at gcc dot gnu.org
@ 2015-06-08 11:54 ` trippels at gcc dot gnu.org
  2015-06-10 15:06 ` trippels at gcc dot gnu.org
                   ` (9 subsequent siblings)
  15 siblings, 0 replies; 17+ messages in thread
From: trippels at gcc dot gnu.org @ 2015-06-08 11:54 UTC (permalink / raw)
  To: gcc-bugs

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

Markus Trippelsdorf <trippels at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |aldyh at gcc dot gnu.org,
                   |                            |trippels at gcc dot gnu.org

--- Comment #6 from Markus Trippelsdorf <trippels at gcc dot gnu.org> ---
A bit more reduced:

 % cat test_66214.ii
class A;
template <typename = int> class B {
  typedef A value_type;
  void m_fn1(const value_type &);
};
class A {
  int m_upperBorder;
  B<> m_tupelTypes;
};

 % g++ -c -g test_66214.ii
test_66214.ii: In instantiation of ‘class B<>’:
test_66214.ii:8:7:   required from here
test_66214.ii:2:33: error: TYPE_CANONICAL is not compatible
>From gcc-bugs-return-488352-listarch-gcc-bugs=gcc.gnu.org@gcc.gnu.org Mon Jun 08 11:54:03 2015
Return-Path: <gcc-bugs-return-488352-listarch-gcc-bugs=gcc.gnu.org@gcc.gnu.org>
Delivered-To: listarch-gcc-bugs@gcc.gnu.org
Received: (qmail 105855 invoked by alias); 8 Jun 2015 11:54:02 -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 105823 invoked by uid 55); 8 Jun 2015 11:53:59 -0000
From: "vries at gcc dot gnu.org" <gcc-bugzilla@gcc.gnu.org>
To: gcc-bugs@gcc.gnu.org
Subject: [Bug tree-optimization/66442] [6 regression] FAIL: gcc.dg/autopar/pr46885.c (test for excess errors)
Date: Mon, 08 Jun 2015 11:54:00 -0000
X-Bugzilla-Reason: CC
X-Bugzilla-Type: changed
X-Bugzilla-Watch-Reason: None
X-Bugzilla-Product: gcc
X-Bugzilla-Component: tree-optimization
X-Bugzilla-Version: 6.0
X-Bugzilla-Keywords: patch
X-Bugzilla-Severity: normal
X-Bugzilla-Who: vries at gcc dot gnu.org
X-Bugzilla-Status: NEW
X-Bugzilla-Resolution:
X-Bugzilla-Priority: P3
X-Bugzilla-Assigned-To: vries at gcc dot gnu.org
X-Bugzilla-Target-Milestone: 6.0
X-Bugzilla-Flags:
X-Bugzilla-Changed-Fields:
Message-ID: <bug-66442-4-nI7r5bRwoN@http.gcc.gnu.org/bugzilla/>
In-Reply-To: <bug-66442-4@http.gcc.gnu.org/bugzilla/>
References: <bug-66442-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-06/txt/msg00684.txt.bz2
Content-length: 742

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

--- Comment #6 from vries at gcc dot gnu.org ---
Author: vries
Date: Mon Jun  8 11:53:27 2015
New Revision: 224218

URL: https://gcc.gnu.org/viewcvs?rev"4218&root=gcc&view=rev
Log:
Fix try_transform_to_exit_first_loop_alt

2015-06-08  Tom de Vries  <tom@codesourcery.com>

        PR tree-optimization/66442
        * gimple-iterator.h (gimple_seq_nondebug_singleton_p): Add function.
        * tree-parloops.c (try_transform_to_exit_first_loop_alt): Return false
        if the loop latch is not a singleton.  Use
        gimple_seq_nondebug_singleton_p instead of gimple_seq_singleton_p.

Modified:
    trunk/gcc/ChangeLog
    trunk/gcc/gimple-iterator.h
    trunk/gcc/tree-parloops.c


^ permalink raw reply	[flat|nested] 17+ messages in thread

* [Bug middle-end/66214] [6 Regression] ICE verify_type failed with -O0 -g via gen_type_die_with_usage's dwarf2out.c:20250
  2015-05-20 11:16 [Bug middle-end/66214] New: [6 Regression] ICE verify_type failed with -O0 -g via gen_type_die_with_usage's dwarf2out.c:20250 burnus at gcc dot gnu.org
                   ` (5 preceding siblings ...)
  2015-06-08 11:54 ` trippels at gcc dot gnu.org
@ 2015-06-10 15:06 ` trippels at gcc dot gnu.org
  2015-06-11 21:53 ` hubicka at gcc dot gnu.org
                   ` (8 subsequent siblings)
  15 siblings, 0 replies; 17+ messages in thread
From: trippels at gcc dot gnu.org @ 2015-06-10 15:06 UTC (permalink / raw)
  To: gcc-bugs

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

Markus Trippelsdorf <trippels at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |alserkli at inbox dot ru

--- Comment #7 from Markus Trippelsdorf <trippels at gcc dot gnu.org> ---
*** Bug 66490 has been marked as a duplicate of this bug. ***


^ permalink raw reply	[flat|nested] 17+ messages in thread

* [Bug middle-end/66214] [6 Regression] ICE verify_type failed with -O0 -g via gen_type_die_with_usage's dwarf2out.c:20250
  2015-05-20 11:16 [Bug middle-end/66214] New: [6 Regression] ICE verify_type failed with -O0 -g via gen_type_die_with_usage's dwarf2out.c:20250 burnus at gcc dot gnu.org
                   ` (6 preceding siblings ...)
  2015-06-10 15:06 ` trippels at gcc dot gnu.org
@ 2015-06-11 21:53 ` hubicka at gcc dot gnu.org
  2015-07-06 11:44 ` burnus at gcc dot gnu.org
                   ` (7 subsequent siblings)
  15 siblings, 0 replies; 17+ messages in thread
From: hubicka at gcc dot gnu.org @ 2015-06-11 21:53 UTC (permalink / raw)
  To: gcc-bugs

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

Jan Hubicka <hubicka at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |jason at redhat dot com

--- Comment #8 from Jan Hubicka <hubicka at gcc dot gnu.org> ---
Jaon,
the issue here is that TYPE_CANONICAL is incomplete type:
 <record_type 0x3fff8e94c8d0 A readonly type_5 VOID
    align 8 symtab 0 alias set -1 canonical type 0x3fff8e94c8d0 context
<translation_unit_decl 0x3fff96fc0078 D.1>
    full-name "const class A"
    n_parents=0 use_template=0 interface-unknown reference_to_this
<reference_type 0x3fff8e94ca20>>

while the type itself is complete (it is a completetion of the class A provided
later):

 <record_type 0x3fff8e94d158 value_type readonly used type_5 VOID
    align 8 symtab -1903885616 alias set -1 canonical type 0x3fff8e94c8d0
    fields <field_decl 0x3fff8e834c00 m_upperBorder
        type <integer_type 0x3fff8e770690 int public type_6 SI
            size <integer_cst 0x3fff8e7316b0 constant 32>
            unit size <integer_cst 0x3fff8e7316c8 constant 4>
            align 32 symtab 0 alias set -1 canonical type 0x3fff8e770690
precision 32 min <integer_cst 0x3fff8e731668 -2147483648> max <integer_cst
0x3fff8e731680 2147483647>
            pointer_to_this <pointer_type 0x3fff8e7717a0>>
        private decl_3 VOID file t.C line 7 col 7
        align 1 offset_align 1 context <record_type 0x3fff8e94c4e0 A>
        chain <type_decl 0x3fff8e834b68 A type <record_type 0x3fff8e94ceb8 A>
            nonlocal decl_4 VOID file t.C line 6 col 9
            align 1 context <record_type 0x3fff8e94c4e0 A> result <record_type
0x3fff8e94c4e0 A>
           >> context <translation_unit_decl 0x3fff96fc0078 D.1>
    full-name "const value_type"
    n_parents=0 use_template=0 interface-unknown reference_to_this
<reference_type 0x3fff8e94d200>>

Shouldn't the canonical type be always the complete variant of the type?


^ permalink raw reply	[flat|nested] 17+ messages in thread

* [Bug middle-end/66214] [6 Regression] ICE verify_type failed with -O0 -g via gen_type_die_with_usage's dwarf2out.c:20250
  2015-05-20 11:16 [Bug middle-end/66214] New: [6 Regression] ICE verify_type failed with -O0 -g via gen_type_die_with_usage's dwarf2out.c:20250 burnus at gcc dot gnu.org
                   ` (7 preceding siblings ...)
  2015-06-11 21:53 ` hubicka at gcc dot gnu.org
@ 2015-07-06 11:44 ` burnus at gcc dot gnu.org
  2015-08-02  3:46 ` jim at meyering dot net
                   ` (6 subsequent siblings)
  15 siblings, 0 replies; 17+ messages in thread
From: burnus at gcc dot gnu.org @ 2015-07-06 11:44 UTC (permalink / raw)
  To: gcc-bugs

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

--- Comment #9 from Tobias Burnus <burnus at gcc dot gnu.org> ---
Jason, any news on this:

(In reply to Jan Hubicka from comment #8)
> Jaon, the issue here is that TYPE_CANONICAL is incomplete type:
[...]
> Shouldn't the canonical type be always the complete variant of the type?


^ permalink raw reply	[flat|nested] 17+ messages in thread

* [Bug middle-end/66214] [6 Regression] ICE verify_type failed with -O0 -g via gen_type_die_with_usage's dwarf2out.c:20250
  2015-05-20 11:16 [Bug middle-end/66214] New: [6 Regression] ICE verify_type failed with -O0 -g via gen_type_die_with_usage's dwarf2out.c:20250 burnus at gcc dot gnu.org
                   ` (8 preceding siblings ...)
  2015-07-06 11:44 ` burnus at gcc dot gnu.org
@ 2015-08-02  3:46 ` jim at meyering dot net
  2015-08-10 11:52 ` burnus at gcc dot gnu.org
                   ` (5 subsequent siblings)
  15 siblings, 0 replies; 17+ messages in thread
From: jim at meyering dot net @ 2015-08-02  3:46 UTC (permalink / raw)
  To: gcc-bugs

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?


^ permalink raw reply	[flat|nested] 17+ messages in thread

* [Bug middle-end/66214] [6 Regression] ICE verify_type failed with -O0 -g via gen_type_die_with_usage's dwarf2out.c:20250
  2015-05-20 11:16 [Bug middle-end/66214] New: [6 Regression] ICE verify_type failed with -O0 -g via gen_type_die_with_usage's dwarf2out.c:20250 burnus at gcc dot gnu.org
                   ` (9 preceding siblings ...)
  2015-08-02  3:46 ` jim at meyering dot net
@ 2015-08-10 11:52 ` burnus at gcc dot gnu.org
  2015-08-12 23:07 ` anton at samba dot org
                   ` (4 subsequent siblings)
  15 siblings, 0 replies; 17+ messages in thread
From: burnus at gcc dot gnu.org @ 2015-08-10 11:52 UTC (permalink / raw)
  To: gcc-bugs

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

--- Comment #11 from Tobias Burnus <burnus at gcc dot gnu.org> ---
Another test case is the GIT version of LLVM, which fails when compiling 
ExecutionEngine.cpp for Debug+Asserts build.


^ permalink raw reply	[flat|nested] 17+ messages in thread

* [Bug middle-end/66214] [6 Regression] ICE verify_type failed with -O0 -g via gen_type_die_with_usage's dwarf2out.c:20250
  2015-05-20 11:16 [Bug middle-end/66214] New: [6 Regression] ICE verify_type failed with -O0 -g via gen_type_die_with_usage's dwarf2out.c:20250 burnus at gcc dot gnu.org
                   ` (10 preceding siblings ...)
  2015-08-10 11:52 ` burnus at gcc dot gnu.org
@ 2015-08-12 23:07 ` anton at samba dot org
  2015-08-28 17:23 ` trippels at gcc dot gnu.org
                   ` (3 subsequent siblings)
  15 siblings, 0 replies; 17+ messages in thread
From: anton at samba dot org @ 2015-08-12 23:07 UTC (permalink / raw)
  To: gcc-bugs

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

Anton Blanchard <anton at samba dot org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |anton at samba dot org

--- Comment #12 from Anton Blanchard <anton at samba dot org> ---
I hit this when building MariaDB. Reduced testcase:


typedef struct bn_gencb_st BN_GENCB;

struct bn_gencb_st {
        void *arg;
        union {
                int (*cb_2)(int, int, BN_GENCB *);
        };
};


g++ -O0 -g -c testcase.i
testcase.i:5:15: error: TYPE_CANONICAL is not compatible
         union {
               ^
 <record_type 0x3fff76fbc630 bn_gencb_st type_5 VOID
    align 8 symtab 1995243680 alias set -1 canonical type 0x3fff76fbc630
    fields <field_decl 0x3fff76eb49a0 arg
        type <pointer_type 0x3fff76e01110 type <void_type 0x3fff76e00fc0 void>
            public unsigned DI
            size <integer_cst 0x3fff76db1470 constant 64>
            unit size <integer_cst 0x3fff76db1488 constant 8>
            align 64 symtab 0 alias set -1 canonical type 0x3fff76e01110
            pointer_to_this <pointer_type 0x3fff76e04cc8>>
        decl_3 VOID file testcase.i line 4 col 15
        align 1 offset_align 1 context <record_type 0x3fff76fbc630 bn_gencb_st>
        chain <type_decl 0x3fff76eb4908 bn_gencb_st type <record_type
0x3fff76fbc8d0 bn_gencb_st>
            nonlocal decl_4 VOID file testcase.i line 3 col 20
            align 1 context <record_type 0x3fff76fbc630 bn_gencb_st> result
<record_type 0x3fff76fbc630 bn_gencb_st>
            chain <type_decl 0x3fff76eb4ad0 ._0>>> context
<translation_unit_decl 0x3fff79680078 D.1>
    full-name "struct bn_gencb_st"
    n_parents=0 use_template=0 interface-unknown
    pointer_to_this <pointer_type 0x3fff76fbcb70> chain <type_decl
0x3fff76eb47d8 bn_gencb_st>>
 <record_type 0x3fff76fbc6d8 BN_GENCB type_5 VOID
    align 8 symtab 1995243600 alias set -1 canonical type 0x3fff76fbc630
context <translation_unit_decl 0x3fff79680078 D.1>
    full-name "BN_GENCB"
    n_parents=0 use_template=0 interface-unknown
    pointer_to_this <pointer_type 0x3fff76fbcac8> chain <type_decl
0x3fff76eb47d8 bn_gencb_st>>
testcase.i:5:15: internal compiler error: verify_type failed
0x10dd6617 verify_type(tree_node const*)
        ../../gcc/gcc/tree.c:13570
0x1067fc67 gen_type_die_with_usage
        ../../gcc/gcc/dwarf2out.c:20685
0x10680887 gen_type_die_with_usage
        ../../gcc/gcc/dwarf2out.c:20783
0x10681d97 gen_type_die
        ../../gcc/gcc/dwarf2out.c:20879
0x1067f3d3 gen_formal_types_die
        ../../gcc/gcc/dwarf2out.c:18225
0x1067f91b gen_subroutine_type_die
        ../../gcc/gcc/dwarf2out.c:20505
0x1068046f gen_type_die_with_usage
        ../../gcc/gcc/dwarf2out.c:20812
0x10680887 gen_type_die_with_usage
        ../../gcc/gcc/dwarf2out.c:20783
0x10681d97 gen_type_die
        ../../gcc/gcc/dwarf2out.c:20879
0x1067538f gen_decl_die
        ../../gcc/gcc/dwarf2out.c:21519
0x106786bb gen_member_die
        ../../gcc/gcc/dwarf2out.c:20356
0x106786bb gen_struct_or_union_type_die
        ../../gcc/gcc/dwarf2out.c:20461
0x106786bb gen_tagged_type_die
        ../../gcc/gcc/dwarf2out.c:20662
0x1068079f gen_type_die_with_usage
        ../../gcc/gcc/dwarf2out.c:20824
0x10681d97 gen_type_die
        ../../gcc/gcc/dwarf2out.c:20879
0x10675b9b gen_decl_die
        ../../gcc/gcc/dwarf2out.c:21465
0x1067681f dwarf2out_decl
        ../../gcc/gcc/dwarf2out.c:21915
0x10676c77 dwarf2out_type_decl
        ../../gcc/gcc/dwarf2out.c:21625
0x1098065f rest_of_type_compilation(tree_node*, int)
        ../../gcc/gcc/passes.c:336
0x102c2223 finish_struct_1(tree_node*)
        ../../gcc/gcc/cp/class.c:6747


^ permalink raw reply	[flat|nested] 17+ messages in thread

* [Bug middle-end/66214] [6 Regression] ICE verify_type failed with -O0 -g via gen_type_die_with_usage's dwarf2out.c:20250
  2015-05-20 11:16 [Bug middle-end/66214] New: [6 Regression] ICE verify_type failed with -O0 -g via gen_type_die_with_usage's dwarf2out.c:20250 burnus at gcc dot gnu.org
                   ` (11 preceding siblings ...)
  2015-08-12 23:07 ` anton at samba dot org
@ 2015-08-28 17:23 ` trippels at gcc dot gnu.org
  2015-09-20  4:58 ` trippels at gcc dot gnu.org
                   ` (2 subsequent siblings)
  15 siblings, 0 replies; 17+ messages in thread
From: trippels at gcc dot gnu.org @ 2015-08-28 17:23 UTC (permalink / raw)
  To: gcc-bugs

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

Markus Trippelsdorf <trippels at gcc dot gnu.org> changed:

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

--- Comment #13 from Markus Trippelsdorf <trippels at gcc dot gnu.org> ---
*** Bug 67387 has been marked as a duplicate of this bug. ***


^ permalink raw reply	[flat|nested] 17+ messages in thread

* [Bug middle-end/66214] [6 Regression] ICE verify_type failed with -O0 -g via gen_type_die_with_usage's dwarf2out.c:20250
  2015-05-20 11:16 [Bug middle-end/66214] New: [6 Regression] ICE verify_type failed with -O0 -g via gen_type_die_with_usage's dwarf2out.c:20250 burnus at gcc dot gnu.org
                   ` (12 preceding siblings ...)
  2015-08-28 17:23 ` trippels at gcc dot gnu.org
@ 2015-09-20  4:58 ` trippels at gcc dot gnu.org
  2015-10-16 22:35 ` gcc at magfr dot user.lysator.liu.se
  2015-10-21 19:53 ` gcc at magfr dot user.lysator.liu.se
  15 siblings, 0 replies; 17+ messages in thread
From: trippels at gcc dot gnu.org @ 2015-09-20  4:58 UTC (permalink / raw)
  To: gcc-bugs

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

Markus Trippelsdorf <trippels at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |ryan.burn at gmail dot com

--- Comment #14 from Markus Trippelsdorf <trippels at gcc dot gnu.org> ---
*** Bug 67641 has been marked as a duplicate of this bug. ***


^ permalink raw reply	[flat|nested] 17+ messages in thread

* [Bug middle-end/66214] [6 Regression] ICE verify_type failed with -O0 -g via gen_type_die_with_usage's dwarf2out.c:20250
  2015-05-20 11:16 [Bug middle-end/66214] New: [6 Regression] ICE verify_type failed with -O0 -g via gen_type_die_with_usage's dwarf2out.c:20250 burnus at gcc dot gnu.org
                   ` (13 preceding siblings ...)
  2015-09-20  4:58 ` trippels at gcc dot gnu.org
@ 2015-10-16 22:35 ` gcc at magfr dot user.lysator.liu.se
  2015-10-21 19:53 ` gcc at magfr dot user.lysator.liu.se
  15 siblings, 0 replies; 17+ messages in thread
From: gcc at magfr dot user.lysator.liu.se @ 2015-10-16 22:35 UTC (permalink / raw)
  To: gcc-bugs

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

Magnus Fromreide <gcc at magfr dot user.lysator.liu.se> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |gcc at magfr dot user.lysator.liu.
                   |                            |se

--- Comment #15 from Magnus Fromreide <gcc at magfr dot user.lysator.liu.se> ---
Created attachment 36533
  --> https://gcc.gnu.org/bugzilla/attachment.cgi?id=36533&action=edit
Simpler test case - z3.ii

Even simpler test case.
Compile with g++ -g z3.ii to trigger the bug.


^ permalink raw reply	[flat|nested] 17+ messages in thread

* [Bug middle-end/66214] [6 Regression] ICE verify_type failed with -O0 -g via gen_type_die_with_usage's dwarf2out.c:20250
  2015-05-20 11:16 [Bug middle-end/66214] New: [6 Regression] ICE verify_type failed with -O0 -g via gen_type_die_with_usage's dwarf2out.c:20250 burnus at gcc dot gnu.org
                   ` (14 preceding siblings ...)
  2015-10-16 22:35 ` gcc at magfr dot user.lysator.liu.se
@ 2015-10-21 19:53 ` gcc at magfr dot user.lysator.liu.se
  15 siblings, 0 replies; 17+ messages in thread
From: gcc at magfr dot user.lysator.liu.se @ 2015-10-21 19:53 UTC (permalink / raw)
  To: gcc-bugs

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

--- Comment #16 from Magnus Fromreide <gcc at magfr dot user.lysator.liu.se> ---
Should the importance of this bug be raised?
It is a bit embarrasing that the program

#include <openssl/ssl.h>

ice's


^ permalink raw reply	[flat|nested] 17+ messages in thread

end of thread, other threads:[~2015-10-21 19:53 UTC | newest]

Thread overview: 17+ messages (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2015-05-20 11:16 [Bug middle-end/66214] New: [6 Regression] ICE verify_type failed with -O0 -g via gen_type_die_with_usage's dwarf2out.c:20250 burnus at gcc dot gnu.org
2015-05-20 11:17 ` [Bug middle-end/66214] " burnus at gcc dot gnu.org
2015-05-20 13:10 ` mpolacek at gcc dot gnu.org
2015-05-22  8:19 ` burnus at gcc dot gnu.org
2015-05-26 12:13 ` burnus at gcc dot gnu.org
2015-05-27  6:47 ` burnus at gcc dot gnu.org
2015-06-08 11:54 ` trippels at gcc dot gnu.org
2015-06-10 15:06 ` trippels at gcc dot gnu.org
2015-06-11 21:53 ` hubicka at gcc dot gnu.org
2015-07-06 11:44 ` burnus at gcc dot gnu.org
2015-08-02  3:46 ` jim at meyering dot net
2015-08-10 11:52 ` burnus at gcc dot gnu.org
2015-08-12 23:07 ` anton at samba dot org
2015-08-28 17:23 ` trippels at gcc dot gnu.org
2015-09-20  4:58 ` trippels at gcc dot gnu.org
2015-10-16 22:35 ` gcc at magfr dot user.lysator.liu.se
2015-10-21 19:53 ` gcc at magfr dot user.lysator.liu.se

This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for read-only IMAP folder(s) and NNTP newsgroup(s).