[Bug c/61136] New: ice in tree_nop_conversion

[Bug c/61136] New: ice in tree_nop_conversion

[dcb314 at hotmail dot com]

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

            Bug ID: 61136
           Summary: ice in tree_nop_conversion
           Product: gcc
           Version: 4.9.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: c
          Assignee: unassigned at gcc dot gnu.org
          Reporter: dcb314 at hotmail dot com

Created attachment 32773
  --> http://gcc.gnu.org/bugzilla/attachment.cgi?id=32773&action=edit
gzipped C source code

I just tried to compile the attached code, derived from the Linux kernel,
with flag -O2 on trunk dated 20140509 and it said

mm/slub.c: In function ‘slab_order’:
mm/slub.c:2774:3: internal compiler error: Segmentation fault
   return get_order(size * MAX_OBJS_PER_PAGE) - 1;
   ^
0x98391f crash_signal
    ../../src/trunk/gcc/toplev.c:337
0xb68634 tree_nop_conversion
    ../../src/trunk/gcc/tree.c:11483
0xb68634 tree_strip_nop_conversions
    ../../src/trunk/gcc/tree.c:11534

valgrind says

==21347== Invalid read of size 2
==21347==    at 0xB68634: integer_zerop(tree_node const*) (tree.c:11483)
==21347==    by 0x74C413: multiple_of_p(tree_node*, tree_node const*, tree_node
const*) (fold-const.c:15308)
==21347==    by 0x74C3F8: multiple_of_p(tree_node*, tree_node const*, tree_node
const*) (fold-const.c:15273)
==21347==    by 0x741D02: fold_binary_loc(unsigned int, tree_code, tree_node*,
tree_node*, tree_node*) (fold-const.c:11749)
==21347==    by 0x7434EA: fold_build2_stat_loc(unsigned int, tree_code,
tree_node*, tree_node*, tree_node*) (fold-const.c:14995)
==21347==    by 0x5A69DD: c_fully_fold_internal(tree_node*, bool, bool*, bool*)
(c-common.c:1303)
==21347==    by 0x5A7062: c_fully_fold(tree_node*, bool, bool*)
(c-common.c:1097)
==21347==    by 0x546D04: build_binary_op(unsigned int, tree_code, tree_node*,
tree_node*, int) (c-typeck.c:10953)
==21347==    by 0x54357A: c_objc_common_truthvalue_conversion(unsigned int,
tree_node*) (c-typeck.c:11116)
==21347==    by 0x562671: c_parser_conditional_expression(c_parser*, c_expr*,
tree_node*) (c-parser.c:5962)
==21347==    by 0x5627BB: c_parser_conditional_expression(c_parser*, c_expr*,
tree_node*) (c-parser.c:5982)
==21347==    by 0x562BB0: c_parser_expr_no_commas(c_parser*, c_expr*,
tree_node*) [clone .constprop.45] (c-parser.c:5848)
==21347==  Address 0x0 is not stack'd, malloc'd or (recently) free'd
==21347==
>From gcc-bugs-return-451198-listarch-gcc-bugs=gcc.gnu.org@gcc.gnu.org Sat May 10 07:27:12 2014
Return-Path: <gcc-bugs-return-451198-listarch-gcc-bugs=gcc.gnu.org@gcc.gnu.org>
Delivered-To: listarch-gcc-bugs@gcc.gnu.org
Received: (qmail 16409 invoked by alias); 10 May 2014 07:27:12 -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 16369 invoked by uid 48); 10 May 2014 07:27:07 -0000
From: "schwab@linux-m68k.org" <gcc-bugzilla@gcc.gnu.org>
To: gcc-bugs@gcc.gnu.org
Subject: [Bug c/50459] alignof doesn't work on plain old constant, works with expressions containing it
Date: Sat, 10 May 2014 07:27: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: 4.6.1
X-Bugzilla-Keywords: rejects-valid
X-Bugzilla-Severity: normal
X-Bugzilla-Who: schwab@linux-m68k.org
X-Bugzilla-Status: RESOLVED
X-Bugzilla-Priority: P2
X-Bugzilla-Assigned-To: mpolacek at gcc dot gnu.org
X-Bugzilla-Target-Milestone: 4.10.0
X-Bugzilla-Flags:
X-Bugzilla-Changed-Fields:
Message-ID: <bug-50459-4-HQlqTP5yQS@http.gcc.gnu.org/bugzilla/>
In-Reply-To: <bug-50459-4@http.gcc.gnu.org/bugzilla/>
References: <bug-50459-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-05/txt/msg00890.txt.bz2
Content-length: 177

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

--- Comment #8 from Andreas Schwab <schwab@linux-m68k.org> ---
FAIL: gcc.target/ia64/small-addr-1.c (test for excess errors)

[Bug c/61136] [4.10 Regression] ice in tree_nop_conversion

[jakub at gcc dot gnu.org]

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

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

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|UNCONFIRMED                 |NEW
   Last reconfirmed|                            |2014-05-10
                 CC|                            |jakub at gcc dot gnu.org
            Version|4.9.0                       |4.10.0
   Target Milestone|---                         |4.10.0
            Summary|ice in tree_nop_conversion  |[4.10 Regression] ice in
                   |                            |tree_nop_conversion
     Ever confirmed|0                           |1

--- Comment #1 from Jakub Jelinek <jakub at gcc dot gnu.org> ---
Seems to be caused by the wide-int merge r210113.

[Bug c/61136] [4.10 Regression] ice in tree_nop_conversion

[jakub at gcc dot gnu.org]

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

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

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

--- Comment #2 from Jakub Jelinek <jakub at gcc dot gnu.org> ---
Reduced testcase:
unsigned long long
foo (int a)
{
  return a * 7 & 1ULL << 63;
}

[Bug c/61136] [4.10 Regression] ice in tree_nop_conversion

[rsandifo at gcc dot gnu.org]

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

rsandifo at gcc dot gnu.org <rsandifo at gcc dot gnu.org> changed:

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

--- Comment #3 from rsandifo at gcc dot gnu.org <rsandifo at gcc dot gnu.org> ---
OK, I'll have a look.

[Bug c/61136] [4.10 Regression] ice in tree_nop_conversion

[rsandifo at gcc dot gnu.org]

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

--- Comment #4 from rsandifo at gcc dot gnu.org <rsandifo at gcc dot gnu.org> ---
Author: rsandifo
Date: Sun May 11 20:21:55 2014
New Revision: 210312

URL: http://gcc.gnu.org/viewcvs?rev=210312&root=gcc&view=rev
Log:
gcc/
    PR tree-optimization/61136
    * wide-int.h (multiple_of_p): Define a version that doesn't return
    the quotient.
    * fold-const.c (extract_muldiv_1): Use wi::multiple_of_p instead of an
    integer_zerop/const_binop pair.
    (multiple_of_p): Likewise, converting both operands to widest_int
    precision.

gcc/testsuite/
    * gcc.dg/torture/pr61136.c: New test.

Added:
    trunk/gcc/testsuite/gcc.dg/torture/pr61136.c
Modified:
    trunk/gcc/ChangeLog
    trunk/gcc/fold-const.c
    trunk/gcc/testsuite/ChangeLog
    trunk/gcc/wide-int.h

[Bug c/61136] [4.10 Regression] ice in tree_nop_conversion

[rsandifo at gcc dot gnu.org]

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

rsandifo at gcc dot gnu.org <rsandifo at gcc dot gnu.org> changed:

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

--- Comment #5 from rsandifo at gcc dot gnu.org <rsandifo at gcc dot gnu.org> ---
Rix applied.