[Bug c/57980] New: gcc 4.8.1 -foptimize-sibling-calls -O1 ICE in build_int_cst_wide, at tree.c:1210

[Bug c/57980] New: gcc 4.8.1 -foptimize-sibling-calls -O1 ICE in build_int_cst_wide, at tree.c:1210

[zeccav at gmail dot com]

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

            Bug ID: 57980
           Summary: gcc 4.8.1 -foptimize-sibling-calls -O1 ICE in
                    build_int_cst_wide, at tree.c:1210
           Product: gcc
           Version: 4.8.1
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: c
          Assignee: unassigned at gcc dot gnu.org
          Reporter: zeccav at gmail dot com

From a testsuite code, fpsub32s.c, 
compiling it with -O1 -foptimize-sibling-calls
I get an ICE in build_int_cst_wide, at tree.c:1210.
As in the following:

/*gcc 4.8.1 -foptimize-sibling-calls -O1 ICE in build_int_cst_wide, at 
tree.c:1210*/ 
typedef int vec32 __attribute__((vector_size(4)));

vec32 f(void);

vec32 bar(void)
{
  return - f ();
}
/*
gccerr3.c: In function ‘bar’:
gccerr3.c:9:1: internal compiler error: in build_int_cst_wide, at tree.c:1210
 }
 ^
0x93a5db build_int_cst_wide(tree_node*, unsigned long, long)
    ../../gcc-4.8.1/gcc/tree.c:1210
0x93a785 double_int_to_tree(tree_node*, double_int)
    ../../gcc-4.8.1/gcc/tree.c:1064
0x93a7aa build_int_cst(tree_node*, long)
    ../../gcc-4.8.1/gcc/tree.c:1041
0x8f35b0 process_assignment
    ../../gcc-4.8.1/gcc/tree-tailcall.c:332
0x8f35b0 find_tail_calls
    ../../gcc-4.8.1/gcc/tree-tailcall.c:535
0x8f3c02 tree_optimize_tail_calls_1
    ../../gcc-4.8.1/gcc/tree-tailcall.c:941
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-426668-listarch-gcc-bugs=gcc.gnu.org@gcc.gnu.org Thu Jul 25 08:33:50 2013
Return-Path: <gcc-bugs-return-426668-listarch-gcc-bugs=gcc.gnu.org@gcc.gnu.org>
Delivered-To: listarch-gcc-bugs@gcc.gnu.org
Received: (qmail 18047 invoked by alias); 25 Jul 2013 08:33:49 -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 17959 invoked by uid 48); 25 Jul 2013 08:33:47 -0000
From: "mpolacek at gcc dot gnu.org" <gcc-bugzilla@gcc.gnu.org>
To: gcc-bugs@gcc.gnu.org
Subject: [Bug c++/56427] [C++11] template template parameter template parameter pack that depends on another parameter pack
Date: Thu, 25 Jul 2013 08:33: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.8.0
X-Bugzilla-Keywords: rejects-valid
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.9.0
X-Bugzilla-Flags:
X-Bugzilla-Changed-Fields: bug_status cf_reconfirmed_on cc target_milestone everconfirmed cf_known_to_fail
Message-ID: <bug-56427-4-Q6wrbO376B@http.gcc.gnu.org/bugzilla/>
In-Reply-To: <bug-56427-4@http.gcc.gnu.org/bugzilla/>
References: <bug-56427-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: 2013-07/txt/msg01175.txt.bz2
Content-length: 682

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

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

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|UNCONFIRMED                 |NEW
   Last reconfirmed|                            |2013-07-25
                 CC|                            |mpolacek at gcc dot gnu.org
   Target Milestone|---                         |4.9.0
     Ever confirmed|0                           |1
      Known to fail|                            |4.8.1, 4.9.0

--- Comment #2 from Marek Polacek <mpolacek at gcc dot gnu.org> ---
Well, confirmed.

[Bug c/57980] gcc 4.8.1 -foptimize-sibling-calls -O1 ICE in build_int_cst_wide, at tree.c:1210

[glisse at gcc dot gnu.org]

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

Marc Glisse <glisse at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|UNCONFIRMED                 |NEW
   Last reconfirmed|                            |2013-07-25
     Ever confirmed|0                           |1

--- Comment #1 from Marc Glisse <glisse at gcc dot gnu.org> ---
In process_assignment (tree-tailcall.c):

      if (FLOAT_TYPE_P (TREE_TYPE (op0)))
        *m = build_real (TREE_TYPE (op0), dconstm1);
      else
        *m = build_int_cst (TREE_TYPE (op0), -1);

could be replaced by:

      *m = build_minus_one_cst (TREE_TYPE (op0));

unless we want to return false for some types. The same issue likely exists for
the MINUS_EXPR case below.

[Bug tree-optimization/57980] [4.7/4.8/4.9 Regression] gcc 4.8.1 -foptimize-sibling-calls -O1 ICE in build_int_cst_wide, at tree.c:1210

[mpolacek at gcc dot gnu.org]

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

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

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|NEW                         |ASSIGNED
      Known to work|                            |4.6.3
          Component|c                           |tree-optimization
                 CC|                            |mpolacek at gcc dot gnu.org
           Assignee|unassigned at gcc dot gnu.org      |mpolacek at gcc dot gnu.org
            Summary|gcc 4.8.1                   |[4.7/4.8/4.9 Regression]
                   |-foptimize-sibling-calls    |gcc 4.8.1
                   |-O1 ICE in                  |-foptimize-sibling-calls
                   |build_int_cst_wide, at      |-O1 ICE in
                   |tree.c:1210                 |build_int_cst_wide, at
                   |                            |tree.c:1210
   Target Milestone|---                         |4.8.2
      Known to fail|                            |4.7.3, 4.8.1, 4.9.0

--- Comment #2 from Marek Polacek <mpolacek at gcc dot gnu.org> ---
On it.

[Bug tree-optimization/57980] [4.7/4.8/4.9 Regression] gcc 4.8.1 -foptimize-sibling-calls -O1 ICE in build_int_cst_wide, at tree.c:1210

[mpolacek at gcc dot gnu.org]

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

--- Comment #3 from Marek Polacek <mpolacek at gcc dot gnu.org> ---
Author: mpolacek
Date: Mon Aug 12 08:46:41 2013
New Revision: 201660

URL: http://gcc.gnu.org/viewcvs?rev=201660&root=gcc&view=rev
Log:
PR tree-optimization/57980

Added:
    trunk/gcc/testsuite/gcc.dg/pr57980.c
Modified:
    trunk/gcc/ChangeLog
    trunk/gcc/testsuite/ChangeLog
    trunk/gcc/tree-tailcall.c

[Bug tree-optimization/57980] [4.7/4.8/4.9 Regression] gcc 4.8.1 -foptimize-sibling-calls -O1 ICE in build_int_cst_wide, at tree.c:1210

[mpolacek at gcc dot gnu.org]

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

--- Comment #4 from Marek Polacek <mpolacek at gcc dot gnu.org> ---
Fixed on trunk.

[Bug tree-optimization/57980] [4.7/4.8/4.9 Regression] gcc 4.8.1 -foptimize-sibling-calls -O1 ICE in build_int_cst_wide, at tree.c:1210

[mpolacek at gcc dot gnu.org]

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

--- Comment #5 from Marek Polacek <mpolacek at gcc dot gnu.org> ---
Author: mpolacek
Date: Tue Aug 13 13:34:08 2013
New Revision: 201687

URL: http://gcc.gnu.org/viewcvs?rev=201687&root=gcc&view=rev
Log:
2013-08-13  Marek Polacek  <polacek@redhat.com>
        Jakub Jelinek  <jakub@redhat.com>

    PR tree-optimization/57980
    * tree-tailcall.c (process_assignment): Return false
    when not dealing with integers or floats.

    * gcc.dg/pr57980.c: New test.


Added:
    branches/gcc-4_8-branch/gcc/testsuite/gcc.dg/pr57980.c
Modified:
    branches/gcc-4_8-branch/gcc/ChangeLog
    branches/gcc-4_8-branch/gcc/testsuite/ChangeLog
    branches/gcc-4_8-branch/gcc/tree-tailcall.c

[Bug tree-optimization/57980] [4.7/4.8/4.9 Regression] gcc 4.8.1 -foptimize-sibling-calls -O1 ICE in build_int_cst_wide, at tree.c:1210

[mpolacek at gcc dot gnu.org]

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

--- Comment #6 from Marek Polacek <mpolacek at gcc dot gnu.org> ---
Author: mpolacek
Date: Tue Aug 13 13:42:28 2013
New Revision: 201688

URL: http://gcc.gnu.org/viewcvs?rev=201688&root=gcc&view=rev
Log:
2013-08-13  Marek Polacek  <polacek@redhat.com>
        Jakub Jelinek  <jakub@redhat.com>

    PR tree-optimization/57980
    * tree-tailcall.c (process_assignment): Return false
    when not dealing with integers or floats.

    * gcc.dg/pr57980.c: New test.


Added:
    branches/gcc-4_7-branch/gcc/testsuite/gcc.dg/pr57980.c
Modified:
    branches/gcc-4_7-branch/gcc/ChangeLog
    branches/gcc-4_7-branch/gcc/testsuite/ChangeLog
    branches/gcc-4_7-branch/gcc/tree-tailcall.c

[Bug tree-optimization/57980] [4.7/4.8/4.9 Regression] gcc 4.8.1 -foptimize-sibling-calls -O1 ICE in build_int_cst_wide, at tree.c:1210

[mpolacek at gcc dot gnu.org]

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

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

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

--- Comment #7 from Marek Polacek <mpolacek at gcc dot gnu.org> ---
Fixed.