[Bug c++/47289] New: internal compiler error: in tsubst_pack_expansion (triggered by decltype)

[Bug c++/47289] New: internal compiler error: in tsubst_pack_expansion (triggered by decltype)

[schmidt-thieme at ismll dot de]

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

           Summary: internal compiler error: in tsubst_pack_expansion
                    (triggered by decltype)
           Product: gcc
           Version: 4.6.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: c++
        AssignedTo: unassigned@gcc.gnu.org
        ReportedBy: schmidt-thieme@ismll.de


Created attachment 22963
  --> http://gcc.gnu.org/bugzilla/attachment.cgi?id=22963
preprocessed source file

gcc (svn rev. 166057) throws an internal compiler error when 
compiling the attached file "bug-gcc-compiler-error.ii"

> g++ -std=c++0x bug-gcc-compiler-error.ii
bug-gcc-compiler-error.cpp: In function ‘int main()’:
bug-gcc-compiler-error.cpp:33: internal compiler error: in
tsubst_pack_expansion, at cp/pt.c:7544

The code compiles fine if the definition of "reverse" is replaced
by:

template <template <typename... __ARGS> class _F, typename _T, typename...
_ARGS>
_T reverse (_T x1, _ARGS... args) {
  return _F<_T, _ARGS...>::call_function(x1, args...);
}

gcc was build from source and configured via
> configure --prefix=/opt/prog/gcc/ -enable-languages=c,c++,fortran --disable-multilib
on ubuntu
> uname -a
Linux lst-desktop 2.6.32-24-generic #39-Ubuntu SMP Wed Jul 28 05:14:15 UTC 2010
x86_64 GNU/Linux

[Bug c++/47289] internal compiler error: in tsubst_pack_expansion (triggered by decltype)

[rguenth at gcc dot gnu.org]

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

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

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|UNCONFIRMED                 |NEW
   Last reconfirmed|                            |2011.01.14 10:27:04
     Ever Confirmed|0                           |1
      Known to fail|                            |4.4.5, 4.5.2, 4.6.0

--- Comment #1 from Richard Guenther <rguenth at gcc dot gnu.org> 2011-01-14 10:27:04 UTC ---
Confirmed.

[Bug c++/47289] [C++0x] ICE in tsubst_pack_expansion (triggered by decltype)

[hjl.tools at gmail dot com]

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

H.J. Lu <hjl.tools at gmail dot com> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |jason at redhat dot com

--- Comment #2 from H.J. Lu <hjl.tools at gmail dot com> 2011-01-14 14:39:14 UTC ---
ICE is caused by revision 145013:

http://gcc.gnu.org/ml/gcc-cvs/2009-03/msg00520.html

[Bug c++/47289] [C++0x] ICE in tsubst_pack_expansion (triggered by decltype)

[jason at gcc dot gnu.org]

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

--- Comment #3 from Jason Merrill <jason at gcc dot gnu.org> 2011-01-14 21:26:50 UTC ---
Author: jason
Date: Fri Jan 14 21:26:47 2011
New Revision: 168822

URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=168822
Log:
    PR c++/47289
    * pt.c (coerce_template_parms): Fix error recovery.

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

[Bug c++/47289] [C++0x] ICE in tsubst_pack_expansion (triggered by decltype)

[paolo.carlini at oracle dot com]

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

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

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|NEW                         |RESOLVED
         Resolution|                            |FIXED
   Target Milestone|---                         |4.6.0

--- Comment #4 from Paolo Carlini <paolo.carlini at oracle dot com> 2011-01-14 21:41:31 UTC ---
Fixed.

[Bug c++/47289] [C++0x] ICE in tsubst_pack_expansion (triggered by decltype)

[jason at gcc dot gnu.org]

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

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

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |jason at gcc dot gnu.org
   Target Milestone|4.6.0                       |---

--- Comment #5 from Jason Merrill <jason at gcc dot gnu.org> 2011-01-14 22:22:19 UTC ---
Fixed.

[Bug c++/47289] [C++0x] ICE in tsubst_pack_expansion (triggered by decltype)

[paolo.carlini at oracle dot com]

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

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

           What    |Removed                     |Added
----------------------------------------------------------------------------
   Target Milestone|---                         |4.6.0

[Bug c++/47289] [4.4/4.5 Regression] [C++0x] ICE in tsubst_pack_expansion (triggered by decltype)

[hjl.tools at gmail dot com]

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

H.J. Lu <hjl.tools at gmail dot com> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|RESOLVED                    |REOPENED
         Resolution|FIXED                       |
   Target Milestone|4.6.0                       |4.4.6
            Summary|[C++0x] ICE in              |[4.4/4.5 Regression]
                   |tsubst_pack_expansion       |[C++0x] ICE in
                   |(triggered by decltype)     |tsubst_pack_expansion
                   |                            |(triggered by decltype)

--- Comment #6 from H.J. Lu <hjl.tools at gmail dot com> 2011-01-18 14:17:13 UTC ---
4.4/4.5 regression.

[Bug c++/47289] [4.4/4.5 Regression] [C++0x] ICE in tsubst_pack_expansion (triggered by decltype)

[rguenth at gcc dot gnu.org]

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

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

           What    |Removed                     |Added
----------------------------------------------------------------------------
           Keywords|                            |ice-on-invalid-code
           Priority|P3                          |P2
             Status|REOPENED                    |RESOLVED
      Known to work|                            |4.3.4, 4.6.0
         Resolution|                            |FIXED
   Target Milestone|4.4.6                       |4.6.0
      Known to fail|4.6.0                       |

--- Comment #7 from Richard Guenther <rguenth at gcc dot gnu.org> 2011-03-08 13:24:34 UTC ---
4.3 rejects the code without ICEing because it doesn't have decltype.

I gather from Jason closing the bug the fix isn't worth backporting.

[Bug c++/47289] [4.4/4.5 Regression] [C++0x] ICE in tsubst_pack_expansion (triggered by decltype)

[jason at gcc dot gnu.org]

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

--- Comment #9 from Jason Merrill <jason at gcc dot gnu.org> 2011-03-08 22:40:10 UTC ---
Author: jason
Date: Tue Mar  8 22:40:06 2011
New Revision: 170796

URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=170796
Log:
    PR c++/47289
    * pt.c (coerce_template_parms): Fix error recovery.

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

[Bug c++/47289] [4.4/4.5 Regression] [C++0x] ICE in tsubst_pack_expansion (triggered by decltype)

[jason at gcc dot gnu.org]

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

--- Comment #11 from Jason Merrill <jason at gcc dot gnu.org> 2011-03-08 22:41:30 UTC ---
I tend to be very conservative about ICE-on-invalid fixes on earlier releases,
since the risk/reward ratio seems low.  But this one seems safe enough that
I'll go ahead and backport it.

[Bug c++/47289] [4.4/4.5 Regression] [C++0x] ICE in tsubst_pack_expansion (triggered by decltype)

[jason at gcc dot gnu.org]

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

--- Comment #10 from Jason Merrill <jason at gcc dot gnu.org> 2011-03-08 22:40:55 UTC ---
Author: jason
Date: Tue Mar  8 22:40:50 2011
New Revision: 170797

URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=170797
Log:
    PR c++/47289
    * pt.c (coerce_template_parms): Fix error recovery.

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

[Bug c++/47289] [4.4/4.5 Regression] [C++0x] ICE in tsubst_pack_expansion (triggered by decltype)

[jason at gcc dot gnu.org]

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

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

           What    |Removed                     |Added
----------------------------------------------------------------------------
   Target Milestone|4.6.0                       |4.4.6