This revision was landed with ongoing or failed builds. This revision was automatically updated to reflect the committed changes. Closed by commit rG5fc73b7502fb: [clang] Add test for CWG1111 (authored by Endill).
Repository: rG LLVM Github Monorepo CHANGES SINCE LAST ACTION https://reviews.llvm.org/D142315/new/ https://reviews.llvm.org/D142315 Files: clang/test/CXX/drs/dr11xx.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 @@ -6473,7 +6473,7 @@ <td><a href="https://wg21.link/cwg1111">1111</a></td> <td>C++11</td> <td>Remove dual-scope lookup of member template names</td> - <td class="none" align="center">Unknown</td> + <td class="full" align="center">Yes</td> </tr> <tr id="1112"> <td><a href="https://wg21.link/cwg1112">1112</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> 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 {}; Index: clang/test/CXX/drs/dr11xx.cpp =================================================================== --- clang/test/CXX/drs/dr11xx.cpp +++ clang/test/CXX/drs/dr11xx.cpp @@ -4,6 +4,46 @@ // RUN: %clang_cc1 -std=c++17 %s -verify -fexceptions -fcxx-exceptions -pedantic-errors // RUN: %clang_cc1 -std=c++2a %s -verify -fexceptions -fcxx-exceptions -pedantic-errors +namespace dr1111 { // dr1111: yes +namespace example1 { +template <typename> struct set; + +struct X { + template <typename T> void set(const T &value); +}; +void foo() { + X x; +#pragma clang diagnostic push +#if __cplusplus < 201103L +#pragma clang diagnostic ignored "-Wambiguous-member-template" +#endif + x.set<double>(3.2); +#pragma clang diagnostic pop +} + +struct Y {}; +void bar() { + Y y; + y.set<double>(3.2); // expected-error {{no member named 'set' in 'dr1111::example1::Y'}} +} +} // namespace example1 + +namespace example2 { +struct A {}; +namespace N { +struct A { + void g() {} + template <class T> operator T(); +}; +} // namespace N + +void baz() { + N::A a; + a.operator A(); +} +} // namespace example2 +} // namespace dr1111 + namespace dr1113 { // dr1113: partial namespace named { extern int a; // expected-note {{previous}}
Index: clang/www/cxx_dr_status.html =================================================================== --- clang/www/cxx_dr_status.html +++ clang/www/cxx_dr_status.html @@ -6473,7 +6473,7 @@ <td><a href="https://wg21.link/cwg1111">1111</a></td> <td>C++11</td> <td>Remove dual-scope lookup of member template names</td> - <td class="none" align="center">Unknown</td> + <td class="full" align="center">Yes</td> </tr> <tr id="1112"> <td><a href="https://wg21.link/cwg1112">1112</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> 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 {}; Index: clang/test/CXX/drs/dr11xx.cpp =================================================================== --- clang/test/CXX/drs/dr11xx.cpp +++ clang/test/CXX/drs/dr11xx.cpp @@ -4,6 +4,46 @@ // RUN: %clang_cc1 -std=c++17 %s -verify -fexceptions -fcxx-exceptions -pedantic-errors // RUN: %clang_cc1 -std=c++2a %s -verify -fexceptions -fcxx-exceptions -pedantic-errors +namespace dr1111 { // dr1111: yes +namespace example1 { +template <typename> struct set; + +struct X { + template <typename T> void set(const T &value); +}; +void foo() { + X x; +#pragma clang diagnostic push +#if __cplusplus < 201103L +#pragma clang diagnostic ignored "-Wambiguous-member-template" +#endif + x.set<double>(3.2); +#pragma clang diagnostic pop +} + +struct Y {}; +void bar() { + Y y; + y.set<double>(3.2); // expected-error {{no member named 'set' in 'dr1111::example1::Y'}} +} +} // namespace example1 + +namespace example2 { +struct A {}; +namespace N { +struct A { + void g() {} + template <class T> operator T(); +}; +} // namespace N + +void baz() { + N::A a; + a.operator A(); +} +} // namespace example2 +} // namespace dr1111 + namespace dr1113 { // dr1113: partial namespace named { extern int a; // expected-note {{previous}}
_______________________________________________ cfe-commits mailing list cfe-commits@lists.llvm.org https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits