[Bug c++/94799] [8/9/10 Regression] Calling a member template function fails

["cvs-commit at gcc dot gnu.org" <gcc-bugzilla@gcc.gnu.org>]

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

--- Comment #16 from CVS Commits <cvs-commit at gcc dot gnu.org> ---
The master branch has been updated by Marek Polacek <mpolacek@gcc.gnu.org>:

https://gcc.gnu.org/g:323dd4255203479d8c456b85513db4f8e0041d04

commit r11-4499-g323dd4255203479d8c456b85513db4f8e0041d04
Author: Marek Polacek <polacek@redhat.com>
Date:   Mon Oct 19 18:13:42 2020 -0400

    c++: Member template function lookup failure [PR94799]

    My earlier patch for this PR, r11-86, broke pybind11.  That patch
    changed cp_parser_class_name to also consider the object expression
    scope (parser->context->object_type) to fix parsing of

      p->template A<T>::foo(); // consider p's scope too

    Here we reject

      b.operator typename B<T>::type();

    because 'typename_p' in cp_parser_class_name uses 'scope', which means
    that 'typename_p' will be true for the example above.  Then we create
    a TYPENAME_TYPE via make_typename_type, which fails when tsubsting it;
    the code basically created 'typename B::B' and then we complain that there
    is no member named 'B' in 'A<int>'.  So, when deciding if we should
    create a TYPENAME_TYPE, don't consider the object_type scope, like we
    did pre-r11-86.

    gcc/cp/ChangeLog:

            PR c++/94799
            * parser.c (cp_parser_class_name): Use parser->scope when
            setting typename_p.

    gcc/testsuite/ChangeLog:

            PR c++/94799
            * g++.dg/template/lookup16.C: New test.