[Bug c++/98486] Variable template specialization doesn't account for primary's constraints

[cvs-commit at gcc dot gnu.org]

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

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

https://gcc.gnu.org/g:729cf2ea979f396e706625b1669087d5920b8c2a

commit r11-9081-g729cf2ea979f396e706625b1669087d5920b8c2a
Author: Patrick Palka <ppalka@redhat.com>
Date:   Thu Sep 16 15:03:55 2021 -0400

    c++: constrained variable template issues [PR98486]

    This fixes some issues with constrained variable templates:

      - Constraints aren't checked when explicitly specializing a variable
        template.
      - Constraints aren't attached to a static data member template at
        parse time.
      - Constraints don't get propagated when (partially) instantiating a
        static data member template, so we need to make sure to look up
        constraints using the most general template during satisfaction.

            PR c++/98486

    gcc/cp/ChangeLog:

            * constraint.cc (get_normalized_constraints_from_decl): Always
            look up constraints using the most general template.
            * decl.c (grokdeclarator): Set constraints on a static data
            member template.
            * pt.c (determine_specialization): Check constraints on a
            variable template.

    gcc/testsuite/ChangeLog:

            * g++.dg/cpp2a/concepts-var-templ1.C: New test.
            * g++.dg/cpp2a/concepts-var-templ1a.C: New test.
            * g++.dg/cpp2a/concepts-var-templ1b.C: New test.

    (cherry picked from commit 2e2e65a46d2674bed53afd211493876ee2b79453)