Endill created this revision. Endill added a reviewer: clang-language-wg. Herald added a project: All. Endill requested review of this revision. Herald added a project: clang. Herald added a subscriber: cfe-commits.
Also mark CWG1291 and CWG2385 as "na". P1787 <https://reviews.llvm.org/P1787>: CWG1291 and CWG2396 are resolved by explicitly specifying how to look up names in a conversion-type-id. Wording: see changes to [basic.lookup.unqual]/5 and [basic.lookup.qual]/2. "Calling a conversion function" example in P1787 <https://reviews.llvm.org/P1787> is also relevant. Repository: rG LLVM Github Monorepo https://reviews.llvm.org/D142316 Files: clang/test/CXX/drs/dr12xx.cpp clang/test/CXX/drs/dr23xx.cpp clang/www/cxx_dr_status.html Index: clang/www/cxx_dr_status.html =================================================================== --- clang/www/cxx_dr_status.html +++ clang/www/cxx_dr_status.html @@ -7553,7 +7553,7 @@ <td><a href="https://wg21.link/cwg1291">1291</a></td> <td>CD6</td> <td>Looking up a <I>conversion-type-id</I></td> - <td class="none" align="center">Unknown</td> + <td class="na" align="center">N/A</td> </tr> <tr id="1292"> <td><a href="https://wg21.link/cwg1292">1292</a></td> @@ -14117,7 +14117,7 @@ <td><a href="https://wg21.link/cwg2385">2385</a></td> <td>CD5</td> <td>Lookup for <I>conversion-function-id</I>s</td> - <td class="none" align="center">Unknown</td> + <td class="na" align="center">N/A</td> </tr> <tr id="2386"> <td><a href="https://wg21.link/cwg2386">2386</a></td> @@ -14183,7 +14183,7 @@ <td><a href="https://wg21.link/cwg2396">2396</a></td> <td>CD6</td> <td>Lookup of names in complex <I>conversion-type-id</I>s</td> - <td class="none" align="center">Unknown</td> + <td class="none" align="center">No</td> </tr> <tr id="2397"> <td><a href="https://wg21.link/cwg2397">2397</a></td> Index: clang/test/CXX/drs/dr23xx.cpp =================================================================== --- clang/test/CXX/drs/dr23xx.cpp +++ clang/test/CXX/drs/dr23xx.cpp @@ -169,6 +169,8 @@ } //namespace dr2303 #endif +// dr2385: na + namespace dr2394 { // dr2394: 15 struct A {}; @@ -179,3 +181,26 @@ B b; } + +namespace dr2396 { // dr2396: no + template<typename T> + 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<B>::type B::*(); } + // void h2(A a) { a.operator B identity<B>::type::*(); } +} Index: clang/test/CXX/drs/dr12xx.cpp =================================================================== --- clang/test/CXX/drs/dr12xx.cpp +++ clang/test/CXX/drs/dr12xx.cpp @@ -68,6 +68,8 @@ #endif } +// dr1291: na + namespace dr1295 { // dr1295: 4 struct X { unsigned bitfield : 4;
Index: clang/www/cxx_dr_status.html =================================================================== --- clang/www/cxx_dr_status.html +++ clang/www/cxx_dr_status.html @@ -7553,7 +7553,7 @@ <td><a href="https://wg21.link/cwg1291">1291</a></td> <td>CD6</td> <td>Looking up a <I>conversion-type-id</I></td> - <td class="none" align="center">Unknown</td> + <td class="na" align="center">N/A</td> </tr> <tr id="1292"> <td><a href="https://wg21.link/cwg1292">1292</a></td> @@ -14117,7 +14117,7 @@ <td><a href="https://wg21.link/cwg2385">2385</a></td> <td>CD5</td> <td>Lookup for <I>conversion-function-id</I>s</td> - <td class="none" align="center">Unknown</td> + <td class="na" align="center">N/A</td> </tr> <tr id="2386"> <td><a href="https://wg21.link/cwg2386">2386</a></td> @@ -14183,7 +14183,7 @@ <td><a href="https://wg21.link/cwg2396">2396</a></td> <td>CD6</td> <td>Lookup of names in complex <I>conversion-type-id</I>s</td> - <td class="none" align="center">Unknown</td> + <td class="none" align="center">No</td> </tr> <tr id="2397"> <td><a href="https://wg21.link/cwg2397">2397</a></td> Index: clang/test/CXX/drs/dr23xx.cpp =================================================================== --- clang/test/CXX/drs/dr23xx.cpp +++ clang/test/CXX/drs/dr23xx.cpp @@ -169,6 +169,8 @@ } //namespace dr2303 #endif +// dr2385: na + namespace dr2394 { // dr2394: 15 struct A {}; @@ -179,3 +181,26 @@ B b; } + +namespace dr2396 { // dr2396: no + template<typename T> + 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<B>::type B::*(); } + // void h2(A a) { a.operator B identity<B>::type::*(); } +} Index: clang/test/CXX/drs/dr12xx.cpp =================================================================== --- clang/test/CXX/drs/dr12xx.cpp +++ clang/test/CXX/drs/dr12xx.cpp @@ -68,6 +68,8 @@ #endif } +// dr1291: na + namespace dr1295 { // dr1295: 4 struct X { unsigned bitfield : 4;
_______________________________________________ cfe-commits mailing list cfe-commits@lists.llvm.org https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits