[Bug c++/53305] New: internal crash with variadic templates and decltype

[Bug c++/53305] New: internal crash with variadic templates and decltype

[chesstr at hotmail dot com]

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

             Bug #: 53305
           Summary: internal crash with variadic templates and decltype
    Classification: Unclassified
           Product: gcc
           Version: 4.6.3
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: c++
        AssignedTo: unassigned@gcc.gnu.org
        ReportedBy: chesstr@hotmail.com


Created attachment 27362
  --> http://gcc.gnu.org/bugzilla/attachment.cgi?id=27362
simplified c++ code that crushes gcc

g++ -std=c++0x gcc_bug.cpp -o t
gcc_bug.cpp: In member function ‘int funct::operator()(argTs ...)’:
gcc_bug.cpp:7:2: error: expected ‘;’ before ‘}’ token
gcc_bug.cpp:23: confused by earlier errors, bailing out

in the real (and more complex) code, instead the last error message was :

internal compiler error: Segmentation fault

[Bug c++/53305] internal crash with variadic templates and decltype

[daniel.kruegler at googlemail dot com]

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

Daniel Krügler <daniel.kruegler at googlemail dot com> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |daniel.kruegler at
                   |                            |googlemail dot com

--- Comment #1 from Daniel Krügler <daniel.kruegler at googlemail dot com> 2012-05-10 19:49:27 UTC ---
The internal error also occurs in gcc 4.8.0 HEAD. The issue does not describe
it clearly, therefore I mention it here: The code is ill-formed.

[Bug c++/53305] internal crash with variadic templates and decltype

[paolo.carlini at oracle dot com]

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

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

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|UNCONFIRMED                 |NEW
   Last reconfirmed|                            |2012-05-10
     Ever Confirmed|0                           |1

[Bug c++/53305] internal crash with variadic templates and decltype

[paolo.carlini at oracle dot com]

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

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

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|NEW                         |ASSIGNED
         AssignedTo|unassigned at gcc dot       |paolo.carlini at oracle dot
                   |gnu.org                     |com
   Target Milestone|---                         |4.8.0

--- Comment #2 from Paolo Carlini <paolo.carlini at oracle dot com> 2012-05-10 23:32:39 UTC ---
Mine.

[Bug c++/53305] internal crash with variadic templates and decltype

[paolo at gcc dot gnu.org]

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

--- Comment #3 from paolo at gcc dot gnu.org <paolo at gcc dot gnu.org> 2012-05-11 08:22:39 UTC ---
Author: paolo
Date: Fri May 11 08:22:16 2012
New Revision: 187396

URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=187396
Log:
/cp
2012-05-11  Paolo Carlini  <paolo.carlini@oracle.com>

    PR c++/53305
    * pt.c (tsubst_copy: case PARM_DECL): Return error_mark_node if
    tsubst_decl returns NULL_TREE.
    * cxx-pretty-print.c (pp_cxx_simple_type_specifier): Handle
    BOUND_TEMPLATE_TEMPLATE_PARM.

/testsuite
2012-05-11  Paolo Carlini  <paolo.carlini@oracle.com>

    PR c++/53305
    * g++.dg/cpp0x/variadic132.C: New.



Added:
    trunk/gcc/testsuite/g++.dg/cpp0x/variadic132.C
Modified:
    trunk/gcc/cp/ChangeLog
    trunk/gcc/cp/cxx-pretty-print.c
    trunk/gcc/cp/pt.c
    trunk/gcc/testsuite/ChangeLog

[Bug c++/53305] internal crash with variadic templates and decltype

[paolo.carlini at oracle dot com]

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

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

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

--- Comment #4 from Paolo Carlini <paolo.carlini at oracle dot com> 2012-05-11 08:25:02 UTC ---
Fixed for 4.8.0.

[Bug c++/53305] internal crash with variadic templates and decltype

[jason at gcc dot gnu.org]

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

--- Comment #5 from Jason Merrill <jason at gcc dot gnu.org> 2012-06-26 03:42:44 UTC ---
Author: jason
Date: Tue Jun 26 03:42:34 2012
New Revision: 188973

URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=188973
Log:
    PR c++/53498
    PR c++/53305
    * pt.c (tsubst_decl) [PARM_DECL]: Don't recurse into DECL_CHAIN
    if cp_unevaluated_operand is set.
    (tsubst_copy) [PARM_DECL]: Don't copy before tsubsting.

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

--- Comment #6 from Jason Merrill <jason at gcc dot gnu.org> 2012-06-26 03:42:56 UTC ---
Author: jason
Date: Tue Jun 26 03:42:48 2012
New Revision: 188974

URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=188974
Log:
    PR c++/53498
    PR c++/53305
    * pt.c (tsubst_pack_expansion): Copy before dummy tsubst.

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

[Bug c++/53305] internal crash with variadic templates and decltype

[jason at gcc dot gnu.org]

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

--- Comment #5 from Jason Merrill <jason at gcc dot gnu.org> 2012-06-26 03:42:44 UTC ---
Author: jason
Date: Tue Jun 26 03:42:34 2012
New Revision: 188973

URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=188973
Log:
    PR c++/53498
    PR c++/53305
    * pt.c (tsubst_decl) [PARM_DECL]: Don't recurse into DECL_CHAIN
    if cp_unevaluated_operand is set.
    (tsubst_copy) [PARM_DECL]: Don't copy before tsubsting.

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

[Bug c++/53305] internal crash with variadic templates and decltype

[jason at gcc dot gnu.org]

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

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

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

--- Comment #7 from Jason Merrill <jason at gcc dot gnu.org> 2012-06-26 03:45:19 UTC ---
The testcase is now accepted without an error in 4.7.2 and 4.8.0.