[Bug c++/58466] New: [4.8/4.9 Regression] ICE in cxx_eval_constant_expression

[Bug c++/58466] New: [4.8/4.9 Regression] ICE in cxx_eval_constant_expression

[jakub at gcc dot gnu.org]

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

            Bug ID: 58466
           Summary: [4.8/4.9 Regression] ICE in
                    cxx_eval_constant_expression
           Product: gcc
           Version: 4.9.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: c++
          Assignee: unassigned at gcc dot gnu.org
          Reporter: jakub at gcc dot gnu.org
                CC: jason at gcc dot gnu.org

template <char first, char... data>
struct CTArray
{
  static constexpr unsigned long count = sizeof... (data);
};
struct Str
{
  template <typename T>
  Str(T...) {}
};
template <typename T>
struct ToStr;
template <char... letters>
struct ToStr <CTArray <letters...>>
{
  static Str
  get ()
  {
    return { letters... };
  }
};
using Foo = CTArray <'F', 'o', 'o'>;
Str str(ToStr <Foo>::get ());

ICEs with -std=c++11.  Before r198750 it just errored out on the testcase (is
it invalid, right?), in r198800 ICEs, haven't bisected more.

[Bug c++/58466] [4.8/4.9 Regression] ICE in cxx_eval_constant_expression

[jakub at gcc dot gnu.org]

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

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

           What    |Removed                     |Added
----------------------------------------------------------------------------
   Target Milestone|---                         |4.8.2

[Bug c++/58466] [4.8/4.9 Regression] ICE in cxx_eval_constant_expression

[paolo.carlini at oracle dot com]

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

Paolo Carlini <paolo.carlini at oracle dot com> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
           Keywords|                            |ice-on-invalid-code
             Status|UNCONFIRMED                 |NEW
   Last reconfirmed|                            |2013-10-05
     Ever confirmed|0                           |1

[Bug c++/58466] [4.8/4.9 Regression] ICE in cxx_eval_constant_expression

[reichelt at gcc dot gnu.org]

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

Volker Reichelt <reichelt at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |reichelt at gcc dot gnu.org
      Known to work|                            |4.7.0, 4.8.0
      Known to fail|                            |4.8.1, 4.8.2, 4.9.0

--- Comment #1 from Volker Reichelt <reichelt at gcc dot gnu.org> ---
Here's an even simpler testcase:

=============================================
template<char, char...> struct A;

template<typename> struct B;

template<char... C> struct B<A<C...>> {};

B<A<'X'>> b;
=============================================

[Bug c++/58466] [4.8/4.9 Regression] ICE in cxx_eval_constant_expression

[reichelt at gcc dot gnu.org]

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

--- Comment #2 from Volker Reichelt <reichelt at gcc dot gnu.org> ---
Crash stack trace:

PR58466.cc:7:11: internal compiler error: unexpected expression 'C' of kind
template_parm_index
 B<A<'X'>> b;
           ^
0x6c40ce cxx_eval_constant_expression
        ../../gcc/gcc/cp/semantics.c:8197
0x6c7036 cxx_eval_outermost_constant_expr
        ../../gcc/gcc/cp/semantics.c:8217
0x6c9cab maybe_constant_value(tree_node*)
        ../../gcc/gcc/cp/semantics.c:8327
0x5b164e convert_nontype_argument
        ../../gcc/gcc/cp/pt.c:5576
0x5b164e convert_template_argument
        ../../gcc/gcc/cp/pt.c:6453
0x5aa702 coerce_template_parameter_pack
        ../../gcc/gcc/cp/pt.c:6577
0x5aa702 coerce_template_parms
        ../../gcc/gcc/cp/pt.c:6776
0x5b327a lookup_template_class_1
        ../../gcc/gcc/cp/pt.c:7398
0x5b327a lookup_template_class(tree_node*, tree_node*, tree_node*, tree_node*,
int, int)
        ../../gcc/gcc/cp/pt.c:7695
0x5b894e tsubst_aggr_type
        ../../gcc/gcc/cp/pt.c:9977
0x5ac34b tsubst(tree_node*, tree_node*, int, tree_node*)
        ../../gcc/gcc/cp/pt.c:11367
0x5b7f1a tsubst_template_args
        ../../gcc/gcc/cp/pt.c:9774
0x5ac09f tsubst(tree_node*, tree_node*, int, tree_node*)
        ../../gcc/gcc/cp/pt.c:11672
0x5c6ee0 get_class_bindings
        ../../gcc/gcc/cp/pt.c:18177
0x5c7ad2 most_specialized_class
        ../../gcc/gcc/cp/pt.c:18401
0x5d85f0 instantiate_class_template_1
        ../../gcc/gcc/cp/pt.c:8687
0x5d85f0 instantiate_class_template(tree_node*)
        ../../gcc/gcc/cp/pt.c:9216
0x66445b complete_type(tree_node*)
        ../../gcc/gcc/cp/typeck.c:132
0x555239 start_decl_1(tree_node*, bool)
        ../../gcc/gcc/cp/decl.c:4670
0x57f03d start_decl(cp_declarator const*, cp_decl_specifier_seq*, int,
tree_node*, tree_node*, tree_node**)
        ../../gcc/gcc/cp/decl.c:4633
Please submit a full bug report, [etc.]

[Bug c++/58466] [4.8/4.9 Regression] ICE in cxx_eval_constant_expression

[jakub at gcc dot gnu.org]

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

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

           What    |Removed                     |Added
----------------------------------------------------------------------------
   Target Milestone|4.8.2                       |4.8.3

--- Comment #3 from Jakub Jelinek <jakub at gcc dot gnu.org> ---
GCC 4.8.2 has been released.

[Bug c++/58466] [4.8/4.9 Regression] ICE in cxx_eval_constant_expression

[paolo.carlini at oracle dot com]

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

Paolo Carlini <paolo.carlini at oracle dot com> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|NEW                         |ASSIGNED
           Assignee|unassigned at gcc dot gnu.org      |paolo.carlini at oracle dot com

--- Comment #4 from Paolo Carlini <paolo.carlini at oracle dot com> ---
Mine. Patch posted here:
http://gcc.gnu.org/ml/gcc-patches/2013-10/msg00837.html

[Bug c++/58466] [4.8/4.9 Regression] ICE in cxx_eval_constant_expression

[paolo at gcc dot gnu.org]

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

--- Comment #5 from paolo at gcc dot gnu.org <paolo at gcc dot gnu.org> ---
Author: paolo
Date: Fri Oct 18 21:24:05 2013
New Revision: 203836

URL: http://gcc.gnu.org/viewcvs?rev=203836&root=gcc&view=rev
Log:
/cp
2013-10-18  Paolo Carlini  <paolo.carlini@oracle.com>

    PR c++/58466
    * pt.c (most_specialized_class): Bump processing_template_decl for
    get_class_bindings.

/testsuite
2013-10-18  Paolo Carlini  <paolo.carlini@oracle.com>

    PR c++/58466
    * g++.dg/cpp0x/variadic145.C: New.

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

[Bug c++/58466] [4.8 Regression] ICE in cxx_eval_constant_expression

[paolo.carlini at oracle dot com]

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

Paolo Carlini <paolo.carlini at oracle dot com> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
            Summary|[4.8/4.9 Regression] ICE in |[4.8 Regression] ICE in
                   |cxx_eval_constant_expressio |cxx_eval_constant_expressio
                   |n                           |n

--- Comment #6 from Paolo Carlini <paolo.carlini at oracle dot com> ---
Fixed in mainline so far.

[Bug c++/58466] [4.8 Regression] ICE in cxx_eval_constant_expression

[paolo at gcc dot gnu.org]

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

--- Comment #7 from paolo at gcc dot gnu.org <paolo at gcc dot gnu.org> ---
Author: paolo
Date: Thu Oct 31 12:09:17 2013
New Revision: 204250

URL: http://gcc.gnu.org/viewcvs?rev=204250&root=gcc&view=rev
Log:
/cp
2013-10-31  Paolo Carlini  <paolo.carlini@oracle.com>

    PR c++/58932
    Revert:
    2013-10-18  Paolo Carlini  <paolo.carlini@oracle.com>

    PR c++/58466
    * pt.c (most_specialized_class): Bump processing_template_decl for
    get_class_bindings.

/testsuite
2013-10-31  Paolo Carlini  <paolo.carlini@oracle.com>

    PR c++/58932
    Revert:
    2013-10-18  Paolo Carlini  <paolo.carlini@oracle.com>

    PR c++/58466
    * g++.dg/cpp0x/variadic145.C: New.

    * g++.dg/cpp0x/sfinae49.C: New.

Removed:
    trunk/gcc/testsuite/g++.dg/cpp0x/variadic145.C
Modified:
    trunk/gcc/cp/ChangeLog
    trunk/gcc/cp/pt.c
    trunk/gcc/testsuite/ChangeLog

[Bug c++/58466] [4.8 Regression] ICE in cxx_eval_constant_expression

[paolo at gcc dot gnu.org]

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

--- Comment #8 from paolo at gcc dot gnu.org <paolo at gcc dot gnu.org> ---
Author: paolo
Date: Thu Oct 31 12:10:20 2013
New Revision: 204252

URL: http://gcc.gnu.org/viewcvs?rev=204252&root=gcc&view=rev
Log:
/cp
2013-10-31  Paolo Carlini  <paolo.carlini@oracle.com>

    PR c++/58932
    Revert:
    2013-10-18  Paolo Carlini  <paolo.carlini@oracle.com>

    PR c++/58466
    * pt.c (most_specialized_class): Bump processing_template_decl for
    get_class_bindings.

/testsuite
2013-10-31  Paolo Carlini  <paolo.carlini@oracle.com>

    PR c++/58932
    Revert:
    2013-10-18  Paolo Carlini  <paolo.carlini@oracle.com>

    PR c++/58466
    * g++.dg/cpp0x/variadic145.C: New.

    * g++.dg/cpp0x/sfinae49.C: New.

Added:
    trunk/gcc/testsuite/g++.dg/cpp0x/sfinae49.C

[Bug c++/58466] [4.8/4.9 Regression] ICE in cxx_eval_constant_expression

[paolo.carlini at oracle dot com]

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

Paolo Carlini <paolo.carlini at oracle dot com> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|ASSIGNED                    |NEW
           Assignee|paolo.carlini at oracle dot com    |unassigned at gcc dot gnu.org
            Summary|[4.8 Regression] ICE in     |[4.8/4.9 Regression] ICE in
                   |cxx_eval_constant_expressio |cxx_eval_constant_expressio
                   |n                           |n

--- Comment #9 from Paolo Carlini <paolo.carlini at oracle dot com> ---
Fix reverted.

[Bug c++/58466] [4.8/4.9 Regression] ICE in cxx_eval_constant_expression

[rguenth at gcc dot gnu.org]

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

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

           What    |Removed                     |Added
----------------------------------------------------------------------------
           Priority|P3                          |P2

[Bug c++/58466] [4.8/4.9 Regression] ICE in cxx_eval_constant_expression

[trippels at gcc dot gnu.org]

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

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

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |chretien at lirmm dot fr

--- Comment #10 from Markus Trippelsdorf <trippels at gcc dot gnu.org> ---
*** Bug 59956 has been marked as a duplicate of this bug. ***

[Bug c++/58466] [4.8/4.9 Regression] ICE in cxx_eval_constant_expression

[jason at gcc dot gnu.org]

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

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

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

[Bug c++/58466] [4.8/4.9 Regression] ICE in cxx_eval_constant_expression

[jason at gcc dot gnu.org]

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

--- Comment #11 from Jason Merrill <jason at gcc dot gnu.org> ---
Author: jason
Date: Wed Jan 29 20:54:21 2014
New Revision: 207283

URL: http://gcc.gnu.org/viewcvs?rev=207283&root=gcc&view=rev
Log:
    PR c++/58466
    * pt.c (unify_pack_expansion): Call expand_template_argument_pack.

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

[Bug c++/58466] [4.8/4.9 Regression] ICE in cxx_eval_constant_expression

[jason at gcc dot gnu.org]

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

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

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

--- Comment #12 from Jason Merrill <jason at gcc dot gnu.org> ---
Fixed for 4.8.3/4.9.

[Bug c++/58466] [4.8/4.9 Regression] ICE in cxx_eval_constant_expression

[jason at gcc dot gnu.org]

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

--- Comment #13 from Jason Merrill <jason at gcc dot gnu.org> ---
Author: jason
Date: Wed Jan 29 21:28:20 2014
New Revision: 207284

URL: http://gcc.gnu.org/viewcvs?rev=207284&root=gcc&view=rev
Log:
    PR c++/58466
    * pt.c (unify_pack_expansion): Call expand_template_argument_pack.

Added:
    branches/gcc-4_8-branch/gcc/testsuite/g++.dg/cpp0x/variadic147.C
Modified:
    branches/gcc-4_8-branch/gcc/cp/ChangeLog
    branches/gcc-4_8-branch/gcc/cp/pt.c