[Bug c++/42266] New: [C++0x] ICE with decltype and variadic templates

[Bug c++/42266] New: [C++0x] ICE with decltype and variadic templates

[paolo dot carlini at oracle dot com]

I tried to reduce as much as possible (maybe too much, we'll see...) an issue
which is blocking our work on std::bind. Note, the problem disappears if I
simplify the testcase further to not use variadic templates while keeping the
rest unchanged.

Jason, can you help us?

//////////////////

template<typename... _Elements>
  class tuple;

template<typename _Arg>
  class _Mu;

template<typename _Signature>
  struct _Bind;

template<typename _Functor, typename... _Bound_args>
  class _Bind<_Functor(_Bound_args...)>
  {
    template<typename... _Args, typename
             = decltype(_Functor()(_Mu<_Bound_args>()(_Bound_args(),
                                                      tuple<_Args...>())...) )>
      void __call() { }
  };

template<typename _Functor, typename _Arg>
  _Bind<_Functor(_Arg)>
  bind(_Functor, _Arg) { }

struct State
{
  bool ready() { return true; }

  void f()
  {
    bind(&State::ready, this);
  }
};


-- 
           Summary: [C++0x] ICE with decltype and variadic templates
           Product: gcc
           Version: 4.5.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: c++
        AssignedTo: unassigned at gcc dot gnu dot org
        ReportedBy: paolo dot carlini at oracle dot com


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

[Bug c++/42266] [C++0x] ICE with decltype and variadic templates

[jason at gcc dot gnu dot org]

-- 

jason at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
         AssignedTo|unassigned at gcc dot gnu   |jason at gcc dot gnu dot org
                   |dot org                     |
             Status|UNCONFIRMED                 |ASSIGNED
     Ever Confirmed|0                           |1
   Last reconfirmed|0000-00-00 00:00:00         |2009-12-03 22:09:51
               date|                            |


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

[Bug c++/42266] [C++0x] ICE with decltype and variadic templates

[jason at gcc dot gnu dot org]

------- Comment #1 from jason at gcc dot gnu dot org  2009-12-04 00:26 -------
Subject: Bug 42266

Author: jason
Date: Fri Dec  4 00:26:27 2009
New Revision: 154964

URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=154964
Log:
        PR c++/42266
        * cvt.c (convert_from_reference): Do nothing if TREE_TYPE is null.

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


-- 


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

[Bug c++/42266] [C++0x] ICE with decltype and variadic templates

[paolo dot carlini at oracle dot com]

------- Comment #2 from paolo dot carlini at oracle dot com  2009-12-04 08:50 -------
Thanks Jason, it looks like the larger testcases we have also build fine now!


-- 

paolo dot carlini at oracle dot com changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|jason at gcc dot gnu dot org|


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

[Bug c++/42266] [C++0x] ICE with decltype and variadic templates

[jason at gcc dot gnu dot org]

------- Comment #3 from jason at gcc dot gnu dot org  2009-12-04 16:40 -------
Fixed.


-- 

jason at gcc dot gnu dot org changed:

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


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