[Bug lto/64373] New: [5 regression] ICE with lto related to variably modified type

[Bug lto/64373] New: [5 regression] ICE with lto related to variably modified type

[uecker at eecs dot berkeley.edu]

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

            Bug ID: 64373
           Summary: [5 regression] ICE with lto related to variably
                    modified type
           Product: gcc
           Version: 5.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: lto
          Assignee: unassigned at gcc dot gnu.org
          Reporter: uecker at eecs dot berkeley.edu

Created attachment 34309
  --> https://gcc.gnu.org/bugzilla/attachment.cgi?id=34309&action=edit
minimized test case

xgcc (GCC) 5.0.0 20141221 (experimental)


test.c: In function ‘a’:
test.c:8:8: warning: passing argument 2 of ‘b’ from incompatible pointer type
[-Wincompatible-pointer-types]
  b(10, p + i);
        ^
test.c:2:13: note: expected ‘float (*)[(sizetype)(L)]’ but argument is of type
‘float *’
 extern void b(int L, float (*data)[L]);
             ^
test.c:9:1: internal compiler error: Speicherzugriffsfehler
 }
 ^
0xafb59f crash_signal
    ../../gcc_git/gcc/toplev.c:358
0x9e3327 contains_struct_check(tree_node*, tree_node_structure_enum, char
const*, int, char const*)
    ../../gcc_git/gcc/tree.h:2892
0x9e3327 tree_is_indexable
    ../../gcc_git/gcc/lto-streamer-out.c:153
0x9ece57 DFS::DFS_write_tree(output_block*, DFS::sccs*, tree_node*, bool, bool,
bool)
    ../../gcc_git/gcc/lto-streamer-out.c:1332
0x9ef8c8 DFS::DFS_write_tree_body(output_block*, tree_node*, DFS::sccs*, bool,
bool)
    ../../gcc_git/gcc/lto-streamer-out.c:654
0x9ed1a0 DFS::DFS_write_tree(output_block*, DFS::sccs*, tree_node*, bool, bool,
bool)
    ../../gcc_git/gcc/lto-streamer-out.c:1357
0x9ef8c8 DFS::DFS_write_tree_body(output_block*, tree_node*, DFS::sccs*, bool,
bool)
    ../../gcc_git/gcc/lto-streamer-out.c:654
0x9ed1a0 DFS::DFS_write_tree(output_block*, DFS::sccs*, tree_node*, bool, bool,
bool)
    ../../gcc_git/gcc/lto-streamer-out.c:1357
0x9ef8c8 DFS::DFS_write_tree_body(output_block*, tree_node*, DFS::sccs*, bool,
bool)
    ../../gcc_git/gcc/lto-streamer-out.c:654
0x9ed1a0 DFS::DFS_write_tree(output_block*, DFS::sccs*, tree_node*, bool, bool,
bool)
    ../../gcc_git/gcc/lto-streamer-out.c:1357
0x9ef8c8 DFS::DFS_write_tree_body(output_block*, tree_node*, DFS::sccs*, bool,
bool)
    ../../gcc_git/gcc/lto-streamer-out.c:654
0x9ed1a0 DFS::DFS_write_tree(output_block*, DFS::sccs*, tree_node*, bool, bool,
bool)
    ../../gcc_git/gcc/lto-streamer-out.c:1357
0x9ef016 DFS::DFS_write_tree_body(output_block*, tree_node*, DFS::sccs*, bool,
bool)
    ../../gcc_git/gcc/lto-streamer-out.c:603
0x9ed1a0 DFS::DFS_write_tree(output_block*, DFS::sccs*, tree_node*, bool, bool,
bool)
    ../../gcc_git/gcc/lto-streamer-out.c:1357
0x9eea95 DFS::DFS_write_tree_body(output_block*, tree_node*, DFS::sccs*, bool,
bool)
    ../../gcc_git/gcc/lto-streamer-out.c:522
0x9ed1a0 DFS::DFS_write_tree(output_block*, DFS::sccs*, tree_node*, bool, bool,
bool)
    ../../gcc_git/gcc/lto-streamer-out.c:1357
0x9eea95 DFS::DFS_write_tree_body(output_block*, tree_node*, DFS::sccs*, bool,
bool)
    ../../gcc_git/gcc/lto-streamer-out.c:522
0x9ed1a0 DFS::DFS_write_tree(output_block*, DFS::sccs*, tree_node*, bool, bool,
bool)
    ../../gcc_git/gcc/lto-streamer-out.c:1357
0x9edc97 DFS::DFS(output_block*, tree_node*, bool, bool, bool)
    ../../gcc_git/gcc/lto-streamer-out.c:495
0x9ee6cd lto_output_tree(output_block*, tree_node*, bool, bool)
    ../../gcc_git/gcc/lto-streamer-out.c:1552
>From gcc-bugs-return-471522-listarch-gcc-bugs=gcc.gnu.org@gcc.gnu.org Sun Dec 21 22:37:24 2014
Return-Path: <gcc-bugs-return-471522-listarch-gcc-bugs=gcc.gnu.org@gcc.gnu.org>
Delivered-To: listarch-gcc-bugs@gcc.gnu.org
Received: (qmail 30596 invoked by alias); 21 Dec 2014 22:37:22 -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 30525 invoked by uid 55); 21 Dec 2014 22:37:17 -0000
From: "olegendo at gcc dot gnu.org" <gcc-bugzilla@gcc.gnu.org>
To: gcc-bugs@gcc.gnu.org
Subject: [Bug target/17280] -mrelax and -O cause .uses directives in assembler to refer to non-existent local labels
Date: Sun, 21 Dec 2014 22:37: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: 3.4.1
X-Bugzilla-Keywords: wrong-code
X-Bugzilla-Severity: normal
X-Bugzilla-Who: olegendo at gcc dot gnu.org
X-Bugzilla-Status: WAITING
X-Bugzilla-Priority: P2
X-Bugzilla-Assigned-To: unassigned at gcc dot gnu.org
X-Bugzilla-Target-Milestone: ---
X-Bugzilla-Flags:
X-Bugzilla-Changed-Fields:
Message-ID: <bug-17280-4-au4jooQKmI@http.gcc.gnu.org/bugzilla/>
In-Reply-To: <bug-17280-4@http.gcc.gnu.org/bugzilla/>
References: <bug-17280-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-12/txt/msg02529.txt.bz2
Content-length: 441

https://gcc.gnu.org/bugzilla/show_bug.cgi?id\x17280

--- Comment #3 from Oleg Endo <olegendo at gcc dot gnu.org> ---
Author: olegendo
Date: Sun Dec 21 22:36:33 2014
New Revision: 218998

URL: https://gcc.gnu.org/viewcvs?rev!8998&root=gcc&view=rev
Log:
gcc/testsuite/
    PR target/17280
    * gcc.target/sh/torture/pr17280.c: New.

Added:
    trunk/gcc/testsuite/gcc.target/sh/torture/pr17280.c
Modified:
    trunk/gcc/testsuite/ChangeLog

[Bug lto/64373] [5 regression] ICE with lto related to variably modified type

[rguenth at gcc dot gnu.org]

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

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

           What    |Removed                     |Added
----------------------------------------------------------------------------
   Target Milestone|---                         |5.0

[Bug lto/64373] [4.9/5 regression] ICE with lto related to variably modified type

[rguenth at gcc dot gnu.org]

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

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

           What    |Removed                     |Added
----------------------------------------------------------------------------
           Priority|P3                          |P2
             Status|UNCONFIRMED                 |ASSIGNED
   Last reconfirmed|                            |2015-01-13
           Assignee|unassigned at gcc dot gnu.org      |rguenth at gcc dot gnu.org
   Target Milestone|5.0                         |4.9.3
            Summary|[5 regression] ICE with lto |[4.9/5 regression] ICE with
                   |related to variably         |lto related to variably
                   |modified type               |modified type
     Ever confirmed|0                           |1

--- Comment #1 from Richard Biener <rguenth at gcc dot gnu.org> ---
Interestingly L has no DECL_CONTEXT, but of course b is only a declaration.

I have a fix.

[Bug lto/64373] [4.9 regression] ICE with lto related to variably modified type

[rguenth at gcc dot gnu.org]

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

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

           What    |Removed                     |Added
----------------------------------------------------------------------------
      Known to work|                            |5.0
            Summary|[4.9/5 regression] ICE with |[4.9 regression] ICE with
                   |lto related to variably     |lto related to variably
                   |modified type               |modified type

--- Comment #2 from Richard Biener <rguenth at gcc dot gnu.org> ---
Fixed on trunk sofar.

[Bug lto/64373] [4.9 regression] ICE with lto related to variably modified type

[rguenth at gcc dot gnu.org]

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

--- Comment #3 from Richard Biener <rguenth at gcc dot gnu.org> ---
Author: rguenth
Date: Tue Jan 13 13:57:27 2015
New Revision: 219531

URL: https://gcc.gnu.org/viewcvs?rev=219531&root=gcc&view=rev
Log:
2015-01-13  Richard Biener  <rguenther@suse.de>

    PR lto/64373
    * lto-streamer-out.c (tree_is_indexable): Guard for NULL
    DECL_CONTEXT.

    * gcc.dg/lto/pr64373_0.c: New testcase.

Added:
    trunk/gcc/testsuite/gcc.dg/lto/pr64373_0.c
Modified:
    trunk/gcc/ChangeLog
    trunk/gcc/lto-streamer-out.c
    trunk/gcc/testsuite/ChangeLog

[Bug lto/64373] [4.9 regression] ICE with lto related to variably modified type

[rguenth at gcc dot gnu.org]

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

--- Comment #4 from Richard Biener <rguenth at gcc dot gnu.org> ---
Author: rguenth
Date: Fri Feb 20 07:32:08 2015
New Revision: 220835

URL: https://gcc.gnu.org/viewcvs?rev=220835&root=gcc&view=rev
Log:
2015-02-20  Richard Biener  <rguenther@suse.de>

    Backport from mainline
    2015-01-12  Richard Biener  <rguenther@suse.de>

    PR tree-optimization/64530
    * tree-loop-distribution.c (pg_add_dependence_edges): Shuffle
    back dr1.

    * gfortran.dg/pr64530.f90: New testcase.

    2015-02-13  Richard Biener  <rguenther@suse.de>

    PR lto/64373
    * lto-streamer-out.c (tree_is_indexable): Guard for NULL
    DECL_CONTEXT.

    * gcc.dg/lto/pr64373_0.c: New testcase.

    2015-02-16  Richard Biener  <rguenther@suse.de>

    PR tree-optimization/63593
    * tree-predcom.c (execute_pred_commoning_chain): Delay removing
    stmts and releasing SSA names until...
    (execute_pred_commoning): ... after processing all chains.

    * gcc.dg/pr63593.c: New testcase.

    2015-02-18  Richard Biener  <rguenther@suse.de>

    PR tree-optimization/65063
    * tree-predcom.c (determine_unroll_factor): Return 1 if we
    have replaced looparound PHIs.

    * gcc.dg/pr65063.c: New testcase.

Added:
    branches/gcc-4_9-branch/gcc/testsuite/gcc.dg/lto/pr64373_0.c
    branches/gcc-4_9-branch/gcc/testsuite/gcc.dg/pr63593.c
    branches/gcc-4_9-branch/gcc/testsuite/gcc.dg/pr65063.c
    branches/gcc-4_9-branch/gcc/testsuite/gfortran.dg/pr64530.f90
Modified:
    branches/gcc-4_9-branch/gcc/ChangeLog
    branches/gcc-4_9-branch/gcc/lto-streamer-out.c
    branches/gcc-4_9-branch/gcc/testsuite/ChangeLog
    branches/gcc-4_9-branch/gcc/tree-loop-distribution.c
    branches/gcc-4_9-branch/gcc/tree-predcom.c

[Bug lto/64373] [4.9 regression] ICE with lto related to variably modified type

[rguenth at gcc dot gnu.org]

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

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

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|ASSIGNED                    |RESOLVED
      Known to work|                            |4.9.3
         Resolution|---                         |FIXED
      Known to fail|                            |4.9.2

--- Comment #5 from Richard Biener <rguenth at gcc dot gnu.org> ---
Fixed.

[Bug lto/64373] [4.9 regression] ICE with lto related to variably modified type

[rguenth at gcc dot gnu.org]

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

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

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |jens.maurer at gmx dot net

--- Comment #6 from Richard Biener <rguenth at gcc dot gnu.org> ---
*** Bug 65140 has been marked as a duplicate of this bug. ***