[Bug c++/71765] incorrectly accepts invalid C++ code that invokes base class constructor

[redi at gcc dot gnu.org]

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

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

           What    |Removed                     |Added
----------------------------------------------------------------------------
           Keywords|                            |accepts-invalid
             Status|UNCONFIRMED                 |NEW
   Last reconfirmed|                            |2016-07-05
     Ever confirmed|0                           |1

--- Comment #1 from Jonathan Wakely <redi at gcc dot gnu.org> ---
From the clang bug report:

[basic.lookup.classref]p3 says:

"If the unqualified-id is ~type-name, the type-name is looked up in the context
of the entire postfix-expression. If the type T of the object expression is of
a class type C, the type-name is also looked up in the scope of class C. At
least one of the lookups shall find a name that refers to (possibly
cv-qualified) T."

So Richard is right that we should reject it, because lookup for ~A finds the
type-name A, but that doesn't refer to B, so it's ill-formed.