c++: simpler fix for PR106024
authorJason Merrill <jason@redhat.com>
Fri, 1 Jul 2022 15:02:54 +0000 (11:02 -0400)
committerJason Merrill <jason@redhat.com>
Fri, 1 Jul 2022 15:42:34 +0000 (11:42 -0400)
Actually, for release branches let's just avoid the lookup for the lambdas
that are the problematic case and only make the bigger change on trunk.

PR c++/106024

gcc/cp/ChangeLog:

* parser.cc (cp_parser_lookup_name): Limit previous change to
lambdas.

gcc/cp/parser.cc

index ad717f7..15bba45 100644 (file)
@@ -30565,7 +30565,8 @@ cp_parser_lookup_name (cp_parser *parser, tree name,
 
       /* Look up the name in the scope of the OBJECT_TYPE, unless the
         OBJECT_TYPE is not a class.  */
-      if (!dep && CLASS_TYPE_P (object_type))
+      if (CLASS_TYPE_P (object_type)
+         && !(dep && LAMBDA_TYPE_P (object_type)))
        /* If the OBJECT_TYPE is a template specialization, it may
           be instantiated during name lookup.  In that case, errors
           may be issued.  Even if we rollback the current tentative
@@ -30589,25 +30590,6 @@ cp_parser_lookup_name (cp_parser *parser, tree name,
                            : is_template ? LOOK_want::TYPE
                            : prefer_type_arg (tag_type));
 
-      /* If we did unqualified lookup of a dependent member-qualified name and
-        found something, do we want to use it?  P1787 clarified that we need
-        to look in the object scope first even if it's dependent, but for now
-        let's still use it in some cases.
-        FIXME remember unqualified lookup result to use if member lookup fails
-        at instantiation time.  */
-      if (decl && dep && is_template)
-       {
-         saved_token_sentinel toks (parser->lexer, STS_ROLLBACK);
-         /* Only use the unqualified class template lookup if we're actually
-            looking at a template arg list.  */
-         if (!cp_parser_skip_entire_template_parameter_list (parser))
-           decl = NULL_TREE;
-         /* And only use the unqualified lookup if we're looking at ::.  */
-         if (decl
-             && !cp_lexer_next_token_is (parser->lexer, CPP_SCOPE))
-           decl = NULL_TREE;
-       }
-
       /* If we know we're looking for a type (e.g. A in p->A::x),
         mock up a typename.  */
       if (!decl && object_type && tag_type != none_type