[Bug c++/66320] New: internal compiler error: in cxx_eval_constant_expression, at cp/constexpr.c:3524

[Bug c++/66320] New: internal compiler error: in cxx_eval_constant_expression, at cp/constexpr.c:3524

[allan at archlinux dot org]

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

            Bug ID: 66320
           Summary: internal compiler error: in
                    cxx_eval_constant_expression, at cp/constexpr.c:3524
           Product: gcc
           Version: unknown
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: c++
          Assignee: unassigned at gcc dot gnu.org
          Reporter: allan at archlinux dot org
  Target Milestone: ---

Created attachment 35640
  --> https://gcc.gnu.org/bugzilla/attachment.cgi?id=35640&action=edit
testcase

An ICE seen in gcc-5-20150519.  gcc-4.8.2 works.

A reduced (but not minimal) testcase is attached.

g++ -std=c++14 testcase.ii

[Bug c++/66320] [5/6 Regression] ICE: in cxx_eval_constant_expression, at cp/constexpr.c:3524

[trippels at gcc dot gnu.org]

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

Markus Trippelsdorf <trippels at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|UNCONFIRMED                 |NEW
   Last reconfirmed|                            |2015-05-28
                 CC|                            |trippels at gcc dot gnu.org
            Summary|internal compiler error: in |[5/6 Regression] ICE: in
                   |cxx_eval_constant_expressio |cxx_eval_constant_expressio
                   |n, at cp/constexpr.c:3524   |n, at cp/constexpr.c:3524
     Ever confirmed|0                           |1
      Known to fail|                            |5.0, 6.0

--- Comment #1 from Markus Trippelsdorf <trippels at gcc dot gnu.org> ---
markus@x4 tmp % cat testcase.ii
class A
{
  virtual int m_fn1 ();
};
class B
{
public:
  B (int);
};
class D : B
{
  struct C
  {
    A a;
    A b = a;
  };
  D (int *);
  C _channels;
};
D::D (int *) : B (0)
{
};

markus@x4 tmp % g++ -c -std=c++11 testcase.ii
testcase.ii: In constructor ‘D::D(int*)’:
testcase.ii:20:20: internal compiler error: in cxx_eval_constant_expression, at
cp/constexpr.c:3477
 D::D (int *) : B (0)
                    ^
0x7ccfd3 cxx_eval_constant_expression
        ../../gcc/gcc/cp/constexpr.c:3476
0x7cad5e cxx_eval_constant_expression
        ../../gcc/gcc/cp/constexpr.c:3191
0x7cb3a5 cxx_eval_constant_expression
        ../../gcc/gcc/cp/constexpr.c:3390
0x7cb28b cxx_eval_indirect_ref
        ../../gcc/gcc/cp/constexpr.c:2432
0x7cb28b cxx_eval_constant_expression
        ../../gcc/gcc/cp/constexpr.c:3182
0x7cc415 cxx_eval_component_reference
        ../../gcc/gcc/cp/constexpr.c:1753
0x7cc415 cxx_eval_constant_expression
        ../../gcc/gcc/cp/constexpr.c:3342
0x7cad5e cxx_eval_constant_expression
        ../../gcc/gcc/cp/constexpr.c:3191
0x7cb3a5 cxx_eval_constant_expression
        ../../gcc/gcc/cp/constexpr.c:3390
0x7cb3a5 cxx_eval_constant_expression
        ../../gcc/gcc/cp/constexpr.c:3390
0x7c9503 cxx_bind_parameters_in_call
        ../../gcc/gcc/cp/constexpr.c:1101
0x7c9503 cxx_eval_call_expression
        ../../gcc/gcc/cp/constexpr.c:1282
0x7cadf5 cxx_eval_constant_expression
        ../../gcc/gcc/cp/constexpr.c:3062
0x7cd5a7 is_sub_constant_expr(tree_node*)
        ../../gcc/gcc/cp/constexpr.c:3642
0x71f6c9 check_noexcept_r
        ../../gcc/gcc/cp/except.c:1182
0xf14612 walk_tree_1(tree_node**, tree_node* (*)(tree_node**, int*, void*),
void*, hash_set<tree_node*, default_hashset_traits>*, tree_node*
(*)(tree_node**, int*, tree_node* (*)(tree_node**, int*, void*), void*,
hash_set<tree_node*, default_hashset_traits>*))
        ../../gcc/gcc/tree.c:11149
0xf14979 walk_tree_1(tree_node**, tree_node* (*)(tree_node**, int*, void*),
void*, hash_set<tree_node*, default_hashset_traits>*, tree_node*
(*)(tree_node**, int*, tree_node* (*)(tree_node**, int*, void*), void*,
hash_set<tree_node*, default_hashset_traits>*))
        ../../gcc/gcc/tree.c:11363
0xf19248 walk_tree_without_duplicates_1(tree_node**, tree_node*
(*)(tree_node**, int*, void*), void*, tree_node* (*)(tree_node**, int*,
tree_node* (*)(tree_node**, int*, void*), void*, hash_set<tree_node*,
default_hashset_traits>*))
        ../../gcc/gcc/tree.c:11479
0x71f21f expr_noexcept_p(tree_node*, int)
        ../../gcc/gcc/cp/except.c:1259
0x731ff9 walk_field_subobs
        ../../gcc/gcc/cp/method.c:1221
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-487476-listarch-gcc-bugs=gcc.gnu.org@gcc.gnu.org Thu May 28 07:49:16 2015
Return-Path: <gcc-bugs-return-487476-listarch-gcc-bugs=gcc.gnu.org@gcc.gnu.org>
Delivered-To: listarch-gcc-bugs@gcc.gnu.org
Received: (qmail 95939 invoked by alias); 28 May 2015 07:49:15 -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 95880 invoked by uid 48); 28 May 2015 07:49:11 -0000
From: "olegendo at gcc dot gnu.org" <gcc-bugzilla@gcc.gnu.org>
To: gcc-bugs@gcc.gnu.org
Subject: [Bug target/66312] [SH] Regression: Bootstrap failure gcc/d/ctfeexpr.dmd.o differs with gcc-4.8/4.9
Date: Thu, 28 May 2015 07:49: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: 4.9.3
X-Bugzilla-Keywords:
X-Bugzilla-Severity: normal
X-Bugzilla-Who: olegendo at gcc dot gnu.org
X-Bugzilla-Status: UNCONFIRMED
X-Bugzilla-Resolution:
X-Bugzilla-Priority: P3
X-Bugzilla-Assigned-To: unassigned at gcc dot gnu.org
X-Bugzilla-Target-Milestone: ---
X-Bugzilla-Flags:
X-Bugzilla-Changed-Fields:
Message-ID: <bug-66312-4-gdClPFKJM6@http.gcc.gnu.org/bugzilla/>
In-Reply-To: <bug-66312-4@http.gcc.gnu.org/bugzilla/>
References: <bug-66312-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: 2015-05/txt/msg02316.txt.bz2
Content-length: 636

https://gcc.gnu.org/bugzilla/show_bug.cgi?idf312

--- Comment #3 from Oleg Endo <olegendo at gcc dot gnu.org> ---
(In reply to Richard Biener from comment #2)
> D is not part of FSF GCC so I am inclined to close as invalid.

If there's a bug that shows up with D but doesn't show up with non-D, and the
bug can be identified as an SH backend bug and it's not too complex, then we
can fix it.  Otherwise I guess we'd have to pass the ball to the debian
maintainers of their version of GCC (they also apply a bunch of patches, a
vanilla GCC doesn't even build out of the box on SH4 debian).

Anyway, please leave this PR open for now.

[Bug c++/66320] [5/6 Regression] ICE: in cxx_eval_constant_expression, at cp/constexpr.c:3524

[mpolacek at gcc dot gnu.org]

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

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

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

--- Comment #2 from Marek Polacek <mpolacek at gcc dot gnu.org> ---
Started with r217663 aka C++14 constexpr support.

[Bug c++/66320] [5/6 Regression] ICE: in cxx_eval_constant_expression, at cp/constexpr.c:3524

[jason at gcc dot gnu.org]

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

--- Comment #3 from Jason Merrill <jason at gcc dot gnu.org> ---
Author: jason
Date: Sun May 31 20:36:18 2015
New Revision: 223901

URL: https://gcc.gnu.org/viewcvs?rev=223901&root=gcc&view=rev
Log:
        PR c++/66320
        * constexpr.c (cxx_eval_constant_expression): Treat a placeholder
        with the wrong type as non-constant.

Added:
    trunk/gcc/testsuite/g++.dg/cpp0x/nsdmi11.C
Modified:
    trunk/gcc/cp/ChangeLog
    trunk/gcc/cp/constexpr.c

[Bug c++/66320] [5/6 Regression] ICE: in cxx_eval_constant_expression, at cp/constexpr.c:3524

[jason at gcc dot gnu.org]

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

--- Comment #4 from Jason Merrill <jason at gcc dot gnu.org> ---
Author: jason
Date: Sun May 31 20:57:19 2015
New Revision: 223904

URL: https://gcc.gnu.org/viewcvs?rev=223904&root=gcc&view=rev
Log:
        PR c++/66320
        * constexpr.c (cxx_eval_constant_expression): Treat a placeholder
        with the wrong type as non-constant.

Added:
    branches/gcc-5-branch/gcc/testsuite/g++.dg/cpp0x/nsdmi11.C
Modified:
    branches/gcc-5-branch/gcc/cp/ChangeLog
    branches/gcc-5-branch/gcc/cp/constexpr.c

[Bug c++/66320] [5/6 Regression] ICE: in cxx_eval_constant_expression, at cp/constexpr.c:3524

[jason at gcc dot gnu.org]

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

Jason Merrill <jason at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|NEW                         |RESOLVED
         Resolution|---                         |FIXED
           Assignee|unassigned at gcc dot gnu.org      |jason at gcc dot gnu.org

--- Comment #5 from Jason Merrill <jason at gcc dot gnu.org> ---
Fixed.