diff --git a/clang/test/CXX/drs/dr12xx.cpp b/clang/test/CXX/drs/dr12xx.cpp --- a/clang/test/CXX/drs/dr12xx.cpp +++ b/clang/test/CXX/drs/dr12xx.cpp @@ -68,6 +68,8 @@ #endif } +// dr1291: na + namespace dr1295 { // dr1295: 4 struct X { unsigned bitfield : 4; diff --git a/clang/test/CXX/drs/dr23xx.cpp b/clang/test/CXX/drs/dr23xx.cpp --- a/clang/test/CXX/drs/dr23xx.cpp +++ b/clang/test/CXX/drs/dr23xx.cpp @@ -179,3 +179,26 @@ B b; } + +namespace dr2396 { // dr2396: no + template + struct identity { + typedef T type; + }; + + struct A { + struct B; + operator B B::*(); + }; + struct B; + + // FIXME: per P1787 "Calling a conversion function" example, all of the + // examples below are well-formed, with B resolving to A::B, but currently + // it's been resolved to dr2396::B. + + // void f(A a) { a.operator B B::*(); } + // void g(A a) { a.operator decltype(B()) B::*(); } + // void g2(A a) { a.operator B decltype(B())::*(); } + // void h(A a) { a.operator identity::type B::*(); } + // void h2(A a) { a.operator B identity::type::*(); } +} diff --git a/clang/www/cxx_dr_status.html b/clang/www/cxx_dr_status.html --- a/clang/www/cxx_dr_status.html +++ b/clang/www/cxx_dr_status.html @@ -7553,7 +7553,7 @@ 1291 CD6 Looking up a conversion-type-id - Unknown + N/A 1292 @@ -14183,7 +14183,7 @@ 2396 CD6 Lookup of names in complex conversion-type-ids - Unknown + No 2397