re PR c++/42687 (The prevention of ADL with the help of parentheses doesn't work)
PR c++/42687 * parser.c (cp_parser_primary_expression): Set *idk to CP_ID_KIND_NONE for a parenthesized identifier. From-SVN: r173009
This commit is contained in:
parent
3b1d2e7aad
commit
4febc53fbf
|
@ -1,3 +1,9 @@
|
|||
2011-04-26 Jason Merrill <jason@redhat.com>
|
||||
|
||||
PR c++/42687
|
||||
* parser.c (cp_parser_primary_expression): Set *idk to
|
||||
CP_ID_KIND_NONE for a parenthesized identifier.
|
||||
|
||||
2011-04-20 Jason Merrill <jason@redhat.com>
|
||||
|
||||
PR c++/48594
|
||||
|
|
|
@ -3274,6 +3274,12 @@ cp_parser_primary_expression (cp_parser *parser,
|
|||
`&A::B' might be a pointer-to-member, but `&(A::B)' is
|
||||
not. */
|
||||
finish_parenthesized_expr (expr);
|
||||
/* DR 705: Wrapping an unqualified name in parentheses
|
||||
suppresses arg-dependent lookup. We want to pass back
|
||||
CP_ID_KIND_QUALIFIED for suppressing vtable lookup
|
||||
(c++/37862), but none of the others. */
|
||||
if (*idk != CP_ID_KIND_QUALIFIED)
|
||||
*idk = CP_ID_KIND_NONE;
|
||||
}
|
||||
/* The `>' token might be the end of a template-id or
|
||||
template-parameter-list now. */
|
||||
|
|
|
@ -1,3 +1,7 @@
|
|||
2011-04-26 Jason Merrill <jason@redhat.com>
|
||||
|
||||
* g++.dg/lookup/koenig13.C: New.
|
||||
|
||||
2011-04-20 Jason Merrill <jason@redhat.com>
|
||||
|
||||
* g++.dg/template/operator11.C: New.
|
||||
|
|
|
@ -0,0 +1,16 @@
|
|||
// PR c++/42687
|
||||
// DR 705
|
||||
|
||||
namespace N
|
||||
{
|
||||
struct S { };
|
||||
void f(const S &) { }
|
||||
}
|
||||
|
||||
void f(const N::S &) { }
|
||||
|
||||
int main()
|
||||
{
|
||||
N::S v;
|
||||
(f)(v); // no ambiguity: ADL is prevented with (), only ::f is considered
|
||||
}
|
Loading…
Reference in New Issue