[Bug c++/79163] Access-checking not done in template argument list of partial specialization

redi at gcc dot gnu.org gcc-bugzilla@gcc.gnu.org
Thu Mar 12 15:59:39 GMT 2020


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

Jonathan Wakely <redi at gcc dot gnu.org> changed:

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

--- Comment #2 from Jonathan Wakely <redi at gcc dot gnu.org> ---
Seems to be fixed in 8.2 and later, by r261151:

    PR c++/61806 - missed SFINAE with partial specialization.

            * cp-tree.h (deferring_access_check_sentinel): Add deferring_kind
            parameter to constructor.
            * pt.c (instantiate_class_template_1): Enable access checking
            before call to most_specialized_partial_spec.


More information about the Gcc-bugs mailing list