[Bug c/64768] New: internal compiler error: tree check: expected tree that contains ‘decl with RTL’ structure, have ‘field_decl’ in set_decl_rtl, at emit-rtl.c:1274

[Bug c/64768] New: internal compiler error: tree check: expected tree that contains ‘decl with RTL’ structure, have ‘field_decl’ in set_decl_rtl, at emit-rtl.c:1274

[mpolacek at gcc dot gnu.org]

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

            Bug ID: 64768
           Summary: internal compiler error: tree check: expected tree
                    that contains ‘decl with RTL’ structure, have
                    ‘field_decl’ in set_decl_rtl, at emit-rtl.c:1274
           Product: gcc
           Version: 5.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: c
          Assignee: unassigned at gcc dot gnu.org
          Reporter: mpolacek at gcc dot gnu.org

./cc1 ice2.c
ice2.c:2:12: error: array size missing in ‘a’
 struct { A a;
            ^
ice2.c:2:8: internal compiler error: tree check: expected tree that contains
‘decl with RTL’ structure, have ‘field_decl’ in set_decl_rtl, at
emit-rtl.c:1274
 struct { A a;
        ^
0xfad59a tree_contains_struct_check_failed(tree_node const*,
tree_node_structure_enum, char const*, int, char const*)
    /home/marek/src/gcc/gcc/tree.c:9462
0x672d2d contains_struct_check(tree_node*, tree_node_structure_enum, char
const*, int, char const*)
    /home/marek/src/gcc/gcc/tree.h:2960
0x89dfd7 set_decl_rtl(tree_node*, rtx_def*)
    /home/marek/src/gcc/gcc/emit-rtl.c:1274
0xca6a3c relayout_decl(tree_node*)
    /home/marek/src/gcc/gcc/stor-layout.c:829
0x655c81 finish_decl(tree_node*, unsigned int, tree_node*, tree_node*,
tree_node*)
    /home/marek/src/gcc/gcc/c/c-decl.c:4780
0x65d2f3 grokfield(unsigned int, c_declarator*, c_declspecs*, tree_node*,
tree_node**)
    /home/marek/src/gcc/gcc/c/c-decl.c:7337
0x6b34d7 c_parser_struct_declaration
    /home/marek/src/gcc/gcc/c/c-parser.c:2986
0x6b2e22 c_parser_struct_or_union_specifier
    /home/marek/src/gcc/gcc/c/c-parser.c:2790
0x6b2070 c_parser_declspecs
    /home/marek/src/gcc/gcc/c/c-parser.c:2402
0x6b02f3 c_parser_declaration_or_fndef
    /home/marek/src/gcc/gcc/c/c-parser.c:1571
0x6b0109 c_parser_external_declaration
    /home/marek/src/gcc/gcc/c/c-parser.c:1452
0x6afd1c c_parser_translation_unit
    /home/marek/src/gcc/gcc/c/c-parser.c:1339
0x6d2ce1 c_parse_file()
    /home/marek/src/gcc/gcc/c/c-parser.c:15416
0x72b672 c_common_parse_file()
    /home/marek/src/gcc/gcc/c-family/c-opts.c:1052
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.


typedef int A[];
struct { A a;
>From gcc-bugs-return-474683-listarch-gcc-bugs=gcc.gnu.org@gcc.gnu.org Sat Jan 24 10:30:26 2015
Return-Path: <gcc-bugs-return-474683-listarch-gcc-bugs=gcc.gnu.org@gcc.gnu.org>
Delivered-To: listarch-gcc-bugs@gcc.gnu.org
Received: (qmail 11392 invoked by alias); 24 Jan 2015 10:30:25 -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 11322 invoked by uid 48); 24 Jan 2015 10:30:20 -0000
From: "mpolacek at gcc dot gnu.org" <gcc-bugzilla@gcc.gnu.org>
To: gcc-bugs@gcc.gnu.org
Subject: [Bug c/64768] [4.8/4.9/5 Regression] internal compiler error: tree check:=?UTF-8?Q? expected tree that contains ‘decl with RTL’ structure?=,=?UTF-8?Q? have ‘field_decl’ in set_decl_rtl?=, at emit-rtl.c:1274
Date: Sat, 24 Jan 2015 10:30:00 -0000
X-Bugzilla-Reason: CC
X-Bugzilla-Type: changed
X-Bugzilla-Watch-Reason: None
X-Bugzilla-Product: gcc
X-Bugzilla-Component: c
X-Bugzilla-Version: 5.0
X-Bugzilla-Keywords: ice-on-invalid-code
X-Bugzilla-Severity: normal
X-Bugzilla-Who: mpolacek at gcc dot gnu.org
X-Bugzilla-Status: NEW
X-Bugzilla-Priority: P3
X-Bugzilla-Assigned-To: unassigned at gcc dot gnu.org
X-Bugzilla-Target-Milestone: 4.8.5
X-Bugzilla-Flags:
X-Bugzilla-Changed-Fields: bug_status cf_reconfirmed_on everconfirmed
Message-ID: <bug-64768-4-AGJUKDRs8J@http.gcc.gnu.org/bugzilla/>
In-Reply-To: <bug-64768-4@http.gcc.gnu.org/bugzilla/>
References: <bug-64768-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-01/txt/msg02677.txt.bz2
Content-length: 403

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

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

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|UNCONFIRMED                 |NEW
   Last reconfirmed|                            |2015-01-24
     Ever confirmed|0                           |1

[Bug c/64768] [4.8/4.9/5 Regression] internal compiler error: tree check: expected tree that contains ‘decl with RTL’ structure, have ‘field_decl’ in set_decl_rtl, at emit-rtl.c:1274

[mpolacek at gcc dot gnu.org]

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

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

           What    |Removed                     |Added
----------------------------------------------------------------------------
   Target Milestone|---                         |4.8.5
            Summary|internal compiler error:    |[4.8/4.9/5 Regression]
                   |tree check: expected tree   |internal compiler error:
                   |that contains ‘decl with    |tree check: expected tree
                   |RTL’ structure, have        |that contains ‘decl with
                   |‘field_decl’ in             |RTL’ structure, have
                   |set_decl_rtl, at            |‘field_decl’ in
                   |emit-rtl.c:1274             |set_decl_rtl, at
                   |                            |emit-rtl.c:1274

--- Comment #1 from Marek Polacek <mpolacek at gcc dot gnu.org> ---
Seems to be a regression, gcc 4.5 says
ice2.c:2:12: error: array size missing in ‘a’
ice2.c:2:8: error: expected specifier-qualifier-list at end of input
and doesn't ICE.
>From gcc-bugs-return-474685-listarch-gcc-bugs=gcc.gnu.org@gcc.gnu.org Sat Jan 24 10:31:39 2015
Return-Path: <gcc-bugs-return-474685-listarch-gcc-bugs=gcc.gnu.org@gcc.gnu.org>
Delivered-To: listarch-gcc-bugs@gcc.gnu.org
Received: (qmail 13222 invoked by alias); 24 Jan 2015 10:31:39 -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 13193 invoked by uid 48); 24 Jan 2015 10:31:36 -0000
From: "mpolacek at gcc dot gnu.org" <gcc-bugzilla@gcc.gnu.org>
To: gcc-bugs@gcc.gnu.org
Subject: [Bug c/64768] [4.8/4.9/5 Regression] internal compiler error: tree check:=?UTF-8?Q? expected tree that contains ‘decl with RTL’ structure?=,=?UTF-8?Q? have ‘field_decl’ in set_decl_rtl?=, at emit-rtl.c:1274
Date: Sat, 24 Jan 2015 10:31:00 -0000
X-Bugzilla-Reason: CC
X-Bugzilla-Type: changed
X-Bugzilla-Watch-Reason: None
X-Bugzilla-Product: gcc
X-Bugzilla-Component: c
X-Bugzilla-Version: 5.0
X-Bugzilla-Keywords: ice-on-invalid-code
X-Bugzilla-Severity: normal
X-Bugzilla-Who: mpolacek at gcc dot gnu.org
X-Bugzilla-Status: ASSIGNED
X-Bugzilla-Priority: P3
X-Bugzilla-Assigned-To: mpolacek at gcc dot gnu.org
X-Bugzilla-Target-Milestone: 4.8.5
X-Bugzilla-Flags:
X-Bugzilla-Changed-Fields: bug_status assigned_to
Message-ID: <bug-64768-4-QLrHA9uhee@http.gcc.gnu.org/bugzilla/>
In-Reply-To: <bug-64768-4@http.gcc.gnu.org/bugzilla/>
References: <bug-64768-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-01/txt/msg02679.txt.bz2
Content-length: 464

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

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

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|NEW                         |ASSIGNED
           Assignee|unassigned at gcc dot gnu.org      |mpolacek at gcc dot gnu.org

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

[Bug c/64768] [4.8/4.9/5 Regression] internal compiler error: tree check: expected tree that contains ‘decl with RTL’ structure, have ‘field_decl’ in set_decl_rtl, at emit-rtl.c:1274

[mpolacek at gcc dot gnu.org]

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

--- Comment #3 from Marek Polacek <mpolacek at gcc dot gnu.org> ---
typedef int A[];
struct { A a; }

ICEs as well (right brace added).

[Bug c/64768] [4.8/4.9/5 Regression] internal compiler error: tree check: expected tree that contains ‘decl with RTL’ structure, have ‘field_decl’ in set_decl_rtl, at emit-rtl.c:1274

[mpolacek at gcc dot gnu.org]

[-- Warning: decoded text below may be mangled, UTF-8 assumed --]
[-- Attachment #1: Type: text/plain; charset="UTF-8", Size: 4171 bytes --]

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

--- Comment #4 from Marek Polacek <mpolacek at gcc dot gnu.org> ---
And even better:

typedef int A[];
struct { int i; A a; } a;

Clang accepts the code, we say (released compiler):
ice2.c:2:19: error: array size missing in ‘a’
 struct { int i; A a; } a;
                   ^
and ICE with checking enabled since 4.6.
>From gcc-bugs-return-474692-listarch-gcc-bugs=gcc.gnu.org@gcc.gnu.org Sat Jan 24 10:55:11 2015
Return-Path: <gcc-bugs-return-474692-listarch-gcc-bugs=gcc.gnu.org@gcc.gnu.org>
Delivered-To: listarch-gcc-bugs@gcc.gnu.org
Received: (qmail 16938 invoked by alias); 24 Jan 2015 10:55:10 -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 16851 invoked by uid 48); 24 Jan 2015 10:55:05 -0000
From: "zsojka at seznam dot cz" <gcc-bugzilla@gcc.gnu.org>
To: gcc-bugs@gcc.gnu.org
Subject: [Bug tree-optimization/64769] New: ICE: tree check: expected integer_cst, have parm_decl in simd_clone_clauses_extract, at omp-low.c:12503 with -fopenmp-simd
Date: Sat, 24 Jan 2015 10:55:00 -0000
X-Bugzilla-Reason: CC
X-Bugzilla-Type: new
X-Bugzilla-Watch-Reason: None
X-Bugzilla-Product: gcc
X-Bugzilla-Component: tree-optimization
X-Bugzilla-Version: 5.0
X-Bugzilla-Keywords:
X-Bugzilla-Severity: normal
X-Bugzilla-Who: zsojka at seznam dot cz
X-Bugzilla-Status: UNCONFIRMED
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: bug_id short_desc product version bug_status bug_severity priority component assigned_to reporter attachments.created
Message-ID: <bug-64769-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-01/txt/msg02686.txt.bz2
Content-length: 1889

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

            Bug ID: 64769
           Summary: ICE: tree check: expected integer_cst, have parm_decl
                    in simd_clone_clauses_extract, at omp-low.c:12503 with
                    -fopenmp-simd
           Product: gcc
           Version: 5.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: tree-optimization
          Assignee: unassigned at gcc dot gnu.org
          Reporter: zsojka at seznam dot cz

Created attachment 34564
  --> https://gcc.gnu.org/bugzilla/attachment.cgi?id4564&actioníit
reduced testcase

Crashes only when compiled as C++.
Identical C code doesn't crash (or when '-x c' is passed).

Compiler output:
$ gcc -fopenmp-simd testcase.C
testcase.C:5:1: internal compiler error: tree check: expected integer_cst, have
parm_decl in simd_clone_clauses_extract, at omp-low.c:12503
 }
 ^
0x104e20c tree_check_failed(tree_node const*, char const*, int, char const*,
...)
        /mnt/svn/gcc-trunk/gcc/tree.c:9290
0x5b4284 tree_int_cst_elt_check(tree_node*, int, char const*, int, char const*)
        /mnt/svn/gcc-trunk/gcc/tree.h:3046
0xcdcd4e tree_int_cst_elt_check(tree_node*, int, char const*, int, char const*)
        /mnt/svn/gcc-trunk/gcc/tree.h:3049
0xcdcd4e simd_clone_clauses_extract
        /mnt/svn/gcc-trunk/gcc/omp-low.c:12503
0xcdcd4e expand_simd_clones
        /mnt/svn/gcc-trunk/gcc/omp-low.c:13488
0xcdcd4e ipa_omp_simd_clone
        /mnt/svn/gcc-trunk/gcc/omp-low.c:13579
0xcdcd4e execute
        /mnt/svn/gcc-trunk/gcc/omp-low.c:13607
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.

Tested revisions:
r219989 - ICE
4_9 r219040 - ICE
4_8 r219093 - unknown agrument "-fopenmp-simd"

[Bug c/64768] [4.8/4.9/5 Regression] internal compiler error: tree check: expected tree that contains ‘decl with RTL’ structure, have ‘field_decl’ in set_decl_rtl, at emit-rtl.c:1274

[jakub at gcc dot gnu.org]

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

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

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

--- Comment #5 from Jakub Jelinek <jakub at gcc dot gnu.org> ---
Started with my r182026.

[Bug c/64768] [4.8/4.9/5 Regression] internal compiler error: tree check: expected tree that contains ‘decl with RTL’ structure, have ‘field_decl’ in set_decl_rtl, at emit-rtl.c:1274

[mpolacek at gcc dot gnu.org]

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

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

           What    |Removed                     |Added
----------------------------------------------------------------------------
           Keywords|ice-on-invalid-code         |ice-on-valid-code,
                   |                            |rejects-valid

--- Comment #7 from Marek Polacek <mpolacek at gcc dot gnu.org> ---
(In reply to joseph@codesourcery.com from comment #6)
> On Sat, 24 Jan 2015, mpolacek at gcc dot gnu.org wrote:
> 
> > typedef int A[];
> > struct { int i; A a; } a;
> 
> This is valid code for C99 and above / gnu89 (i.e., it's valid to use a 
> typedef when declaring a flexible array member, whenever flexible array 
> members are accepted).

Yeah, initially I had the invalid testcase as in #c0, only then I discovered
that we ICE even on a valid testcase with a typedef.  Which means there are two
issues: a) we ICE, b) we don't accept a code where a flexible array member is a
typedef.  I'm adjusting the keywords now.

[Bug c/64768] [4.8/4.9/5 Regression] internal compiler error: tree check: expected tree that contains ‘decl with RTL’ structure, have ‘field_decl’ in set_decl_rtl, at emit-rtl.c:1274

[rguenth at gcc dot gnu.org]

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

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

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

[Bug c/64768] [4.8/4.9/5 Regression] internal compiler error: tree check: expected tree that contains ‘decl with RTL’ structure, have ‘field_decl’ in set_decl_rtl, at emit-rtl.c:1274

[mpolacek at gcc dot gnu.org]

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

--- Comment #8 from Marek Polacek <mpolacek at gcc dot gnu.org> ---
Author: mpolacek
Date: Sat Feb 14 11:25:19 2015
New Revision: 220708

URL: https://gcc.gnu.org/viewcvs?rev=220708&root=gcc&view=rev
Log:
    PR c/64768
    * c-decl.c (grokdeclarator): Set the range of a flexible array member
    declared through a typedef name.

    * gcc.dg/array-11.c: New test.
    * gcc.dg/array-12.c: New test.
    * gcc.dg/array-13.c: New test.
    * gcc.dg/array-14.c: New test.
    * gcc.dg/c99-flex-array-typedef-1.c: New test.
    * gcc.dg/c99-flex-array-typedef-2.c: New test.
    * gcc.dg/c99-flex-array-typedef-3.c: New test.
    * gcc.dg/c99-flex-array-typedef-5.c: New test.
    * gcc.dg/c99-flex-array-typedef-7.c: New test.
    * gcc.dg/c99-flex-array-typedef-8.c: New test.

Added:
    trunk/gcc/testsuite/gcc.dg/array-11.c
    trunk/gcc/testsuite/gcc.dg/array-12.c
    trunk/gcc/testsuite/gcc.dg/array-13.c
    trunk/gcc/testsuite/gcc.dg/array-14.c
    trunk/gcc/testsuite/gcc.dg/c99-flex-array-typedef-1.c
    trunk/gcc/testsuite/gcc.dg/c99-flex-array-typedef-2.c
    trunk/gcc/testsuite/gcc.dg/c99-flex-array-typedef-3.c
    trunk/gcc/testsuite/gcc.dg/c99-flex-array-typedef-5.c
    trunk/gcc/testsuite/gcc.dg/c99-flex-array-typedef-7.c
    trunk/gcc/testsuite/gcc.dg/c99-flex-array-typedef-8.c
Modified:
    trunk/gcc/c/ChangeLog
    trunk/gcc/c/c-decl.c
    trunk/gcc/testsuite/ChangeLog

[Bug c/64768] [4.8/4.9/5 Regression] internal compiler error: tree check: expected tree that contains ‘decl with RTL’ structure, have ‘field_decl’ in set_decl_rtl, at emit-rtl.c:1274

[mpolacek at gcc dot gnu.org]

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

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

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

--- Comment #9 from Marek Polacek <mpolacek at gcc dot gnu.org> ---
Fixed for GCC 5.