[Bug c++/106310] [11 Regression] lookup after this-> seems wrong for dependent lookup since r12-6754-g30f2c22def739211

cvs-commit at gcc dot gnu.org gcc-bugzilla@gcc.gnu.org
Mon Sep 11 22:11:10 GMT 2023


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

--- Comment #17 from CVS Commits <cvs-commit at gcc dot gnu.org> ---
The releases/gcc-11 branch has been updated by Jason Merrill
<jason@gcc.gnu.org>:

https://gcc.gnu.org/g:506d5f399bef7f2d8c48fd83d853c6ff7811a226

commit r11-10983-g506d5f399bef7f2d8c48fd83d853c6ff7811a226
Author: Jason Merrill <jason@redhat.com>
Date:   Wed Jul 26 10:39:34 2023 -0400

    c++: member vs global template [PR106310]

    For backward compatibility we still want to allow patterns like
    this->A<T>::foo, but the template keyword in a qualified name is
    specifically to specify that a dependent name is a template, so don't look
    in the enclosing scope at all.

    Also fix handling of dependent bases: if member lookup in the current
    instantiation fails and we have dependent bases, the lookup is dependent.
    We were already handling that for the case where lookup in the enclosing
    scope also fails, but we also want it to affect that lookup itself.

            PR c++/106310

    gcc/cp/ChangeLog:

            * parser.c (cp_parser_template_name): Skip non-member
            lookup after the template keyword.
            (cp_parser_lookup_name): Pass down template_keyword_p.

    gcc/testsuite/ChangeLog:

            * g++.dg/template/template-keyword4.C: New test.


More information about the Gcc-bugs mailing list