[Bug ada/49785] New: [C++0x] ICE in coerce_template_parms

[Bug ada/49785] New: [C++0x] ICE in coerce_template_parms

[jakub at gcc dot gnu.org]

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

           Summary: [C++0x] ICE in coerce_template_parms
           Product: gcc
           Version: 4.7.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: ada
        AssignedTo: unassigned@gcc.gnu.org
        ReportedBy: jakub@gcc.gnu.org
                CC: jason@gcc.gnu.org


template <typename, typename ...> struct B;
template <typename> class A;

template <typename R, typename ... S>
struct A <R (S ...)> : public B <R, , S ...>
{
  struct C {};
  template <typename D> A (D, C = C ());
  R operator () (...);
};

template <typename R, typename ... S, typename T>
auto operator >> (A <R (S ...)>, T)->A <decltype ((*((R *) nullptr))) (S ...)>
{
  []() {};
}

int
main ()
{
  A <int (int, int)> a = [](int, int) {};
  auto b = [](){};
  (a >> b) (3, 5);
}

ICEs with -std=c++0x:
rh720161.ii: In instantiation of ‘A<decltype (*(R*)(nullptr))(S ...)>
operator>>(A<R(S ...)>, T) [with R = int, S = {int, int}, T =
main()::<lambda()>, decltype (*(R*)(nullptr)) = int&]’:
rh720161.ii:23:9:   required from here
rh720161.ii:15:9: internal compiler error: tree check: accessed elt 6 of
tree_vec with 3 elts in coerce_template_parms, at cp/pt.c:6695

No idea whether I've reduced it correctly, the original is from
https://bugzilla.redhat.com/720161 attachment.

[Bug c++/49785] [C++0x] ICE in coerce_template_parms

[jakub at gcc dot gnu.org]

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

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

           What    |Removed                     |Added
----------------------------------------------------------------------------
          Component|ada                         |c++
   Target Milestone|---                         |4.6.2
      Known to fail|                            |4.6.1, 4.7.0

[Bug c++/49785] [C++0x] ICE in coerce_template_parms

[jason at gcc dot gnu.org]

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

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

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|UNCONFIRMED                 |ASSIGNED
   Last reconfirmed|                            |2011.07.19 15:35:23
         AssignedTo|unassigned at gcc dot       |jason at gcc dot gnu.org
                   |gnu.org                     |
     Ever Confirmed|0                           |1

[Bug c++/49785] [C++0x] ICE in coerce_template_parms

[jason at gcc dot gnu.org]

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

--- Comment #1 from Jason Merrill <jason at gcc dot gnu.org> 2011-07-19 17:26:55 UTC ---
Author: jason
Date: Tue Jul 19 17:26:52 2011
New Revision: 176471

URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=176471
Log:
    PR c++/49785
    * pt.c (coerce_template_parms): Handle non-pack after pack.

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

[Bug c++/49785] [C++0x] ICE in coerce_template_parms

[jason at gcc dot gnu.org]

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

--- Comment #2 from Jason Merrill <jason at gcc dot gnu.org> 2011-07-19 17:28:16 UTC ---
Author: jason
Date: Tue Jul 19 17:28:13 2011
New Revision: 176472

URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=176472
Log:
    PR c++/49785
    * pt.c (coerce_template_parms): Handle non-pack after pack.

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

[Bug c++/49785] [C++0x] ICE in coerce_template_parms

[jason at gcc dot gnu.org]

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

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

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

--- Comment #3 from Jason Merrill <jason at gcc dot gnu.org> 2011-07-19 17:30:21 UTC ---
Fixed for 4.6.2.