[Bug c++/100652] Unexpanded parameter pack in partial specialization of variable template not rejected

[cvs-commit at gcc dot gnu.org via Gcc-bugs]

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

--- Comment #2 from CVS Commits <cvs-commit at gcc dot gnu.org> ---
The master branch has been updated by Patrick Palka <ppa...@gcc.gnu.org>:

https://gcc.gnu.org/g:a19f09cb03d7f69377e6d12162e5d6df78a82849

commit r12-5052-ga19f09cb03d7f69377e6d12162e5d6df78a82849
Author: Patrick Palka <ppa...@redhat.com>
Date:   Tue Nov 9 09:09:12 2021 -0500

    c++: unexpanded pack in var tmpl partial spec [PR100652]

    Here we're failing to spot a bare parameter pack appearing in the argument
    list of a variable template partial specialization because we only look for
    them within the decl's TREE_TYPE, which is sufficient for class templates
    but not for variable templates.

            PR c++/100652

    gcc/cp/ChangeLog:

            * pt.c (push_template_decl): Check for bare parameter packs in
            the argument list of a variable template partial specialization.

    gcc/testsuite/ChangeLog:

            * g++.dg/cpp1y/var-templ69.C: New test.