[Bug c++/66061] New: Internal Compiler Error when specializing a variable template when the specialization is variadic

[Bug c++/66061] New: Internal Compiler Error when specializing a variable template when the specialization is variadic

[david at doublewise dot net]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=66061

            Bug ID: 66061
           Summary: Internal Compiler Error when specializing a variable
                    template when the specialization is variadic
           Product: gcc
           Version: 5.1.1
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: c++
          Assignee: unassigned at gcc dot gnu.org
          Reporter: david at doublewise dot net
  Target Milestone: ---

main.cpp:

template<int...>
int x = 1;

template<int n, int... m>
int x<n, m...> = 1;





david@i5-fedora ~/test> g++ source/main.cpp -c -std=c++14
source/main.cpp:5:5: internal compiler error: in
process_partial_specialization, at cp/pt.c:4248
 int x<n, m...> = 1;
     ^
0x63102e process_partial_specialization
        ../../gcc/gcc/cp/pt.c:4248
0x631517 push_template_decl_real(tree_node*, bool)
        ../../gcc/gcc/cp/pt.c:4892
0x60820f start_decl(cp_declarator const*, cp_decl_specifier_seq*, int,
tree_node*, tree_node*, tree_node**)
        ../../gcc/gcc/cp/decl.c:4832
0x67e266 cp_parser_init_declarator
        ../../gcc/gcc/cp/parser.c:17170
0x67ee14 cp_parser_single_declaration
        ../../gcc/gcc/cp/parser.c:23811
0x67f0b8 cp_parser_template_declaration_after_export
        ../../gcc/gcc/cp/parser.c:23602
0x661f79 cp_parser_declaration
        ../../gcc/gcc/cp/parser.c:11342
0x688a3a cp_parser_declaration_seq_opt
        ../../gcc/gcc/cp/parser.c:11264
0x688d4f cp_parser_translation_unit
        ../../gcc/gcc/cp/parser.c:4100
0x688d4f c_parse_file()
        ../../gcc/gcc/cp/parser.c:33192
0x73b692 c_common_parse_file()
        ../../gcc/gcc/c-family/c-opts.c:1057
Please submit a full bug report,
with preprocessed source if appropriate.
Please include the complete backtrace with any bug report.
See <http://gcc.gnu.org/bugs.html> for instructions.

[Bug c++/66061] [5/6 Regression] Internal Compiler Error when specializing a variable template when the specialization is variadic

[mpolacek at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=66061

Marek Polacek <mpolacek at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|UNCONFIRMED                 |NEW
   Last reconfirmed|                            |2015-05-14
                 CC|                            |mpolacek at gcc dot gnu.org
   Target Milestone|---                         |5.2
            Summary|Internal Compiler Error     |[5/6 Regression] Internal
                   |when specializing a         |Compiler Error when
                   |variable template when the  |specializing a variable
                   |specialization is variadic  |template when the
                   |                            |specialization is variadic
     Ever confirmed|0                           |1

--- Comment #1 from Marek Polacek <mpolacek at gcc dot gnu.org> ---
Started with r220183.

[Bug c++/66061] [5/6 Regression] Internal Compiler Error when specializing a variable template when the specialization is variadic

[jason at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=66061

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

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|NEW                         |WAITING
                 CC|                            |jason at gcc dot gnu.org

--- Comment #2 from Jason Merrill <jason at gcc dot gnu.org> ---
I can't reproduce this on the current trunk or 5 branch; it seems to have been
fixed.

[Bug c++/66061] [5/6 Regression] Internal Compiler Error when specializing a variable template when the specialization is variadic

[jason at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=66061

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

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|WAITING                     |RESOLVED
         Resolution|---                         |FIXED
           Assignee|unassigned at gcc dot gnu.org      |jason at gcc dot gnu.org

--- Comment #3 from Jason Merrill <jason at gcc dot gnu.org> ---
Yes, this was fixed by r223304 on trunk, r223311 on the branch.  I'll add the
testcase.

[Bug c++/66061] [5/6 Regression] Internal Compiler Error when specializing a variable template when the specialization is variadic

[jason at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=66061

--- Comment #4 from Jason Merrill <jason at gcc dot gnu.org> ---
Author: jason
Date: Fri Jun 19 18:15:17 2015
New Revision: 224675

URL: https://gcc.gnu.org/viewcvs?rev=224675&root=gcc&view=rev
Log:
        PR c++/66061
        * g++.dg/cpp1y/var-templ31.C: New.

Added:
    trunk/gcc/testsuite/g++.dg/cpp1y/var-templ31.C

[Bug c++/66061] [5/6 Regression] Internal Compiler Error when specializing a variable template when the specialization is variadic

[jason at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=66061

--- Comment #5 from Jason Merrill <jason at gcc dot gnu.org> ---
Author: jason
Date: Fri Jun 19 18:24:13 2015
New Revision: 224680

URL: https://gcc.gnu.org/viewcvs?rev=224680&root=gcc&view=rev
Log:
        PR c++/66061
        * g++.dg/cpp1y/var-templ31.C: New.

Added:
    branches/gcc-5-branch/gcc/testsuite/g++.dg/cpp1y/var-templ31.C