[Bug middle-end/59827] New: [4.7/4.8/4.9 Regression] ICE on array with incomplete element type

[Bug middle-end/59827] New: [4.7/4.8/4.9 Regression] ICE on array with incomplete element type

[mpolacek at gcc dot gnu.org]

http://gcc.gnu.org/bugzilla/show_bug.cgi?id=59827

            Bug ID: 59827
           Summary: [4.7/4.8/4.9 Regression] ICE on array with incomplete
                    element type
           Product: gcc
           Version: 4.9.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: middle-end
          Assignee: unassigned at gcc dot gnu.org
          Reporter: mpolacek at gcc dot gnu.org

int
foo (int p[2][])
{
  return p[0][0];
}

void
bar (void)
{
  int p[2][1];
  foo (p);
}

$ ./cc1 -quiet zz.c 
zz.c:2:10: error: array type has incomplete element type
 foo (int p[2][])
          ^
zz.c: In function ‘bar’:
zz.c:11:3: error: type of formal parameter 1 is incomplete
   foo (p);
   ^
zz.c:8:1: internal compiler error: tree check: expected class ‘type’, have
‘exceptional’ (error_mark) in useless_type_conversion_p, at gimple-expr.c:81
 bar (void)
 ^
0xfb8b22 tree_class_check_failed(tree_node const*, tree_code_class, char
const*, int, char const*)
    /home/marek/src/gcc/gcc/tree.c:9243
0x56bd16 tree_class_check(tree_node*, tree_code_class, char const*, int, char
const*)
    /home/marek/src/gcc/gcc/tree.h:2832
0x9455e2 useless_type_conversion_p(tree_node*, tree_node*)
    /home/marek/src/gcc/gcc/gimple-expr.c:81
0x732bc8 types_compatible_p
    /home/marek/src/gcc/gcc/gimple-expr.h:65
0x73a350 gimple_check_call_args
    /home/marek/src/gcc/gcc/cgraph.c:3039
0x73a7a1 gimple_check_call_matching_types(gimple_statement_base*, tree_node*,
bool)
    /home/marek/src/gcc/gcc/cgraph.c:3089
0x734bbd cgraph_create_edge_1
    /home/marek/src/gcc/gcc/cgraph.c:894
0x734ca2 cgraph_create_edge(cgraph_node*, cgraph_node*, gimple_statement_base*,
long, int)
    /home/marek/src/gcc/gcc/cgraph.c:916
0x73bd85 build_cgraph_edges
    /home/marek/src/gcc/gcc/cgraphbuild.c:337
0x73c12a execute
    /home/marek/src/gcc/gcc/cgraphbuild.c:409
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.
>From gcc-bugs-return-440443-listarch-gcc-bugs=gcc.gnu.org@gcc.gnu.org Wed Jan 15 13:41:56 2014
Return-Path: <gcc-bugs-return-440443-listarch-gcc-bugs=gcc.gnu.org@gcc.gnu.org>
Delivered-To: listarch-gcc-bugs@gcc.gnu.org
Received: (qmail 11956 invoked by alias); 15 Jan 2014 13:41:56 -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 11942 invoked by uid 48); 15 Jan 2014 13:41:53 -0000
From: "mpolacek at gcc dot gnu.org" <gcc-bugzilla@gcc.gnu.org>
To: gcc-bugs@gcc.gnu.org
Subject: [Bug middle-end/59827] [4.7/4.8/4.9 Regression] ICE on array with incomplete element type
Date: Wed, 15 Jan 2014 13:41:00 -0000
X-Bugzilla-Reason: CC
X-Bugzilla-Type: changed
X-Bugzilla-Watch-Reason: None
X-Bugzilla-Product: gcc
X-Bugzilla-Component: middle-end
X-Bugzilla-Version: 4.9.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: P2
X-Bugzilla-Assigned-To: mpolacek at gcc dot gnu.org
X-Bugzilla-Target-Milestone: 4.7.4
X-Bugzilla-Flags:
X-Bugzilla-Changed-Fields: priority bug_status cf_known_to_work keywords cf_reconfirmed_on assigned_to everconfirmed target_milestone cf_known_to_fail
Message-ID: <bug-59827-4-w1Oe4T7fwj@http.gcc.gnu.org/bugzilla/>
In-Reply-To: <bug-59827-4@http.gcc.gnu.org/bugzilla/>
References: <bug-59827-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: 2014-01/txt/msg01585.txt.bz2
Content-length: 876

http://gcc.gnu.org/bugzilla/show_bug.cgi?idY827

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

           What    |Removed                     |Added
----------------------------------------------------------------------------
           Priority|P3                          |P2
             Status|UNCONFIRMED                 |ASSIGNED
      Known to work|                            |4.6.3
           Keywords|                            |ice-on-invalid-code
   Last reconfirmed|                            |2014-01-15
           Assignee|unassigned at gcc dot gnu.org      |mpolacek at gcc dot gnu.org
     Ever confirmed|0                           |1
   Target Milestone|---                         |4.7.4
      Known to fail|                            |4.7.4, 4.8.3, 4.9.0

--- Comment #1 from Marek Polacek <mpolacek at gcc dot gnu.org> ---
I have a patch.

[Bug middle-end/59827] [4.7/4.8/4.9 Regression] ICE on array with incomplete element type

[mpolacek at gcc dot gnu.org]

http://gcc.gnu.org/bugzilla/show_bug.cgi?id=59827

--- Comment #2 from Marek Polacek <mpolacek at gcc dot gnu.org> ---
Author: mpolacek
Date: Thu Jan 16 11:42:56 2014
New Revision: 206660

URL: http://gcc.gnu.org/viewcvs?rev=206660&root=gcc&view=rev
Log:
    PR middle-end/59827
    * cgraph.c (gimple_check_call_args): Don't use DECL_ARG_TYPE if
    it is error_mark_node.
testsuite/
    * gcc.dg/pr59827.c: New test.

Added:
    trunk/gcc/testsuite/gcc.dg/pr59827.c
Modified:
    trunk/gcc/ChangeLog
    trunk/gcc/cgraph.c
    trunk/gcc/testsuite/ChangeLog

[Bug middle-end/59827] [4.7/4.8 Regression] ICE on array with incomplete element type

[mpolacek at gcc dot gnu.org]

http://gcc.gnu.org/bugzilla/show_bug.cgi?id=59827

--- Comment #3 from Marek Polacek <mpolacek at gcc dot gnu.org> ---
Author: mpolacek
Date: Thu Jan 16 12:59:36 2014
New Revision: 206662

URL: http://gcc.gnu.org/viewcvs?rev=206662&root=gcc&view=rev
Log:
    PR middle-end/59827
    * gimple-low.c (gimple_check_call_args): Don't use DECL_ARG_TYPE if
    it is error_mark_node.
testsuite/
    * gcc.dg/pr59827.c: New test.

Added:
    branches/gcc-4_8-branch/gcc/testsuite/gcc.dg/pr59827.c
Modified:
    branches/gcc-4_8-branch/gcc/ChangeLog
    branches/gcc-4_8-branch/gcc/gimple-low.c
    branches/gcc-4_8-branch/gcc/testsuite/ChangeLog

[Bug middle-end/59827] [4.7 Regression] ICE on array with incomplete element type

[mpolacek at gcc dot gnu.org]

http://gcc.gnu.org/bugzilla/show_bug.cgi?id=59827

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

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

--- Comment #5 from Marek Polacek <mpolacek at gcc dot gnu.org> ---
Fixed on all active branches.

[Bug middle-end/59827] [4.7 Regression] ICE on array with incomplete element type

[mpolacek at gcc dot gnu.org]

http://gcc.gnu.org/bugzilla/show_bug.cgi?id=59827

--- Comment #4 from Marek Polacek <mpolacek at gcc dot gnu.org> ---
Author: mpolacek
Date: Thu Jan 16 14:59:46 2014
New Revision: 206665

URL: http://gcc.gnu.org/viewcvs?rev=206665&root=gcc&view=rev
Log:
    PR middle-end/59827
    * gimple-low.c (gimple_check_call_args): Don't use DECL_ARG_TYPE if
    it is error_mark_node.
testsuite/
    * gcc.dg/pr59827.c: New test.

Added:
    branches/gcc-4_7-branch/gcc/testsuite/gcc.dg/pr59827.c
Modified:
    branches/gcc-4_7-branch/gcc/ChangeLog
    branches/gcc-4_7-branch/gcc/gimple-low.c
    branches/gcc-4_7-branch/gcc/testsuite/ChangeLog