[Bug rtl-optimization/60030] [4.9 regression] ICE in simplify_subreg, at simplify-rtx.c:5903

[Bug rtl-optimization/60030] [4.9 regression] ICE in simplify_subreg, at simplify-rtx.c:5903

[schwab@linux-m68k.org]

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

Andreas Schwab <schwab@linux-m68k.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
   Target Milestone|---                         |4.9.0

[Bug rtl-optimization/60030] New: [4.9 regression] ICE in simplify_subreg, at simplify-rtx.c:5903

[schwab@linux-m68k.org]

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

            Bug ID: 60030
           Summary: [4.9 regression] ICE in simplify_subreg, at
                    simplify-rtx.c:5903
           Product: gcc
           Version: 4.9.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: rtl-optimization
          Assignee: unassigned at gcc dot gnu.org
          Reporter: schwab@linux-m68k.org
            Target: powerpc-*-*

$ gcc/xgcc -Bgcc/ ../gcc/testsuite/c-c++-common/ubsan/overflow-1.c
-Bpowerpc64-linux/32/libsanitizer/ -Bpowerpc64-linux/32/libsanitizer/ubsan/
-Lpowerpc64-linux/32/libsanitizer/ubsan/.libs -fno-diagnostics-show-caret
-fdiagnostics-color=never -O0 -fsanitize=signed-integer-overflow -lm -m32 -o
./overflow-1.exe../gcc/testsuite/c-c++-common/ubsan/overflow-1.c: In function
‘main’:
../gcc/testsuite/c-c++-common/ubsan/overflow-1.c:81:40: internal compiler
error: in simplify_subreg, at simplify-rtx.c:5903
../gcc/testsuite/c-c++-common/ubsan/overflow-1.c:12:29: note: in definition of
macro ‘CHECK’
../gcc/testsuite/c-c++-common/ubsan/overflow-1.c:81:10: note: in expansion of
macro ‘FN1’
0x1054b22b simplify_subreg(machine_mode, rtx_def*, machine_mode, unsigned int)
        ../../gcc/simplify-rtx.c:5902
0x1054b4df simplify_gen_subreg(machine_mode, rtx_def*, machine_mode, unsigned
int)
        ../../gcc/simplify-rtx.c:6123
0x102b9abf operand_subword(rtx_def*, unsigned int, int, machine_mode)
        ../../gcc/emit-rtl.c:1442
0x102b9cbf operand_subword_force(rtx_def*, unsigned int, machine_mode)
        ../../gcc/emit-rtl.c:1455
0x1048412b expand_binop(machine_mode, optab_tag, rtx_def*, rtx_def*, rtx_def*,
int, optab_methods)
        ../../gcc/optabs.c:1813
0x102cf023 expand_shift_1
        ../../gcc/expmed.c:2287
0x103a5b2f ubsan_expand_si_overflow_mul_check(gimple_statement_base*)
        ../../gcc/internal-fn.c:649
0x103a659b expand_internal_call(gimple_statement_base*)
        ../../gcc/internal-fn.c:883
0x101f2667 expand_call_stmt
        ../../gcc/cfgexpand.c:2188
0x101f2667 expand_gimple_stmt_1
        ../../gcc/cfgexpand.c:3157
0x101f2667 expand_gimple_stmt
        ../../gcc/cfgexpand.c:3309
0x101f351f expand_gimple_basic_block
        ../../gcc/cfgexpand.c:5149
0x101f58ab gimple_expand_cfg
        ../../gcc/cfgexpand.c:5715
0x101f58ab execute
        ../../gcc/cfgexpand.c:5935
>From gcc-bugs-return-442316-listarch-gcc-bugs=gcc.gnu.org@gcc.gnu.org Sun Feb 02 15:32:37 2014
Return-Path: <gcc-bugs-return-442316-listarch-gcc-bugs=gcc.gnu.org@gcc.gnu.org>
Delivered-To: listarch-gcc-bugs@gcc.gnu.org
Received: (qmail 20123 invoked by alias); 2 Feb 2014 15:32:35 -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 20074 invoked by uid 48); 2 Feb 2014 15:32:30 -0000
From: "trippels at gcc dot gnu.org" <gcc-bugzilla@gcc.gnu.org>
To: gcc-bugs@gcc.gnu.org
Subject: [Bug ipa/59469] [4.8/4.9 Regression] LLVM build failure with gcc LTO
Date: Sun, 02 Feb 2014 15:32:00 -0000
X-Bugzilla-Reason: CC
X-Bugzilla-Type: changed
X-Bugzilla-Watch-Reason: None
X-Bugzilla-Product: gcc
X-Bugzilla-Component: ipa
X-Bugzilla-Version: 4.9.0
X-Bugzilla-Keywords: lto
X-Bugzilla-Severity: normal
X-Bugzilla-Who: trippels at gcc dot gnu.org
X-Bugzilla-Status: NEW
X-Bugzilla-Priority: P2
X-Bugzilla-Assigned-To: unassigned at gcc dot gnu.org
X-Bugzilla-Target-Milestone: 4.9.0
X-Bugzilla-Flags:
X-Bugzilla-Changed-Fields:
Message-ID: <bug-59469-4-kgTGwOfUOA@http.gcc.gnu.org/bugzilla/>
In-Reply-To: <bug-59469-4@http.gcc.gnu.org/bugzilla/>
References: <bug-59469-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-02/txt/msg00073.txt.bz2
Content-length: 590

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

--- Comment #38 from Markus Trippelsdorf <trippels at gcc dot gnu.org> ---
So maybe the following patch is enough:

diff --git a/gcc/lto/lto-symtab.c b/gcc/lto/lto-symtab.c
index f5f9d1318ee0..bdb536131707 100644
--- a/gcc/lto/lto-symtab.c
+++ b/gcc/lto/lto-symtab.c
@@ -57,7 +57,7 @@ lto_cgraph_replace_node (struct cgraph_node *node,
     }

   /* Merge node flags.  */
-  if (node->force_output)
+  if (node->force_output || node->forced_by_abi)
     cgraph_mark_force_output_node (prevailing_node);
   if (node->address_taken)
     {

[Bug rtl-optimization/60030] [4.9 regression] ICE in simplify_subreg, at simplify-rtx.c:5903

[rguenth at gcc dot gnu.org]

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

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

           What    |Removed                     |Added
----------------------------------------------------------------------------
           Priority|P3                          |P1

[Bug rtl-optimization/60030] [4.9 regression] ICE in simplify_subreg, at simplify-rtx.c:5903

[jakub at gcc dot gnu.org]

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

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

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|UNCONFIRMED                 |ASSIGNED
   Last reconfirmed|                            |2014-02-03
                 CC|                            |jakub at gcc dot gnu.org
           Assignee|unassigned at gcc dot gnu.org      |jakub at gcc dot gnu.org
     Ever confirmed|0                           |1

--- Comment #1 from Jakub Jelinek <jakub at gcc dot gnu.org> ---
Created attachment 32023
  --> http://gcc.gnu.org/bugzilla/attachment.cgi?id=32023&action=edit
gcc49-pr60030.patch

Untested fix.

[Bug rtl-optimization/60030] [4.9 regression] ICE in simplify_subreg, at simplify-rtx.c:5903

[jakub at gcc dot gnu.org]

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

--- Comment #2 from Jakub Jelinek <jakub at gcc dot gnu.org> ---
Author: jakub
Date: Thu Feb  6 21:54:21 2014
New Revision: 207582

URL: http://gcc.gnu.org/viewcvs?rev=207582&root=gcc&view=rev
Log:
    PR rtl-optimization/60030
    * internal-fn.c (ubsan_expand_si_overflow_mul_check): Surround
    lopart with paradoxical subreg before shifting it up by hprec.

Modified:
    trunk/gcc/ChangeLog
    trunk/gcc/internal-fn.c

[Bug rtl-optimization/60030] [4.9 regression] ICE in simplify_subreg, at simplify-rtx.c:5903

[ramana at gcc dot gnu.org]

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

Ramana Radhakrishnan <ramana at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |bernd.edlinger at hotmail dot de

--- Comment #3 from Ramana Radhakrishnan <ramana at gcc dot gnu.org> ---
*** Bug 60093 has been marked as a duplicate of this bug. ***

[Bug rtl-optimization/60030] [4.9 regression] ICE in simplify_subreg, at simplify-rtx.c:5903

[jakub at gcc dot gnu.org]

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

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

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

--- Comment #4 from Jakub Jelinek <jakub at gcc dot gnu.org> ---
Fixed.