r201106 - Tests for DR351-370, plus update DR status page to match the latest core issue list.
Richard Smith
richard-llvm at metafoo.co.uk
Mon Feb 10 11:53:17 PST 2014
Author: rsmith
Date: Mon Feb 10 13:53:17 2014
New Revision: 201106
URL: http://llvm.org/viewvc/llvm-project?rev=201106&view=rev
Log:
Tests for DR351-370, plus update DR status page to match the latest core issue list.
Modified:
cfe/trunk/test/CXX/drs/dr3xx.cpp
cfe/trunk/www/cxx_dr_status.html
Modified: cfe/trunk/test/CXX/drs/dr3xx.cpp
URL: http://llvm.org/viewvc/llvm-project/cfe/trunk/test/CXX/drs/dr3xx.cpp?rev=201106&r1=201105&r2=201106&view=diff
==============================================================================
--- cfe/trunk/test/CXX/drs/dr3xx.cpp (original)
+++ cfe/trunk/test/CXX/drs/dr3xx.cpp Mon Feb 10 13:53:17 2014
@@ -527,3 +527,267 @@ namespace dr349 { // dr349: no
B b;
const int *const *const *p2 = b;
}
+
+// dr351: na
+
+namespace dr352 { // dr352: yes
+ namespace example1 {
+ namespace A {
+ enum E {};
+ template<typename R, typename A> void foo(E, R (*)(A)); // expected-note 2{{couldn't infer template argument 'R'}}
+ }
+
+ template<typename T> void arg(T);
+ template<typename T> int arg(T) = delete; // expected-note {{here}} expected-error 0-1{{extension}}
+
+ void f(A::E e) {
+ foo(e, &arg); // expected-error {{no matching function}}
+
+ using A::foo;
+ foo<int, int>(e, &arg); // expected-error {{deleted}}
+ }
+
+ int arg(int);
+
+ void g(A::E e) {
+ foo(e, &arg); // expected-error {{no matching function}}
+
+ using A::foo;
+ foo<int, int>(e, &arg); // ok, uses non-template
+ }
+ }
+
+ namespace contexts {
+ template<int I> void f1(int (&)[I]);
+ template<int I> void f2(int (&)[I+1]); // expected-note {{couldn't infer}}
+ template<int I> void f3(int (&)[I+1], int (&)[I]);
+ void f() {
+ int a[4];
+ int b[3];
+ f1(a);
+ f2(a); // expected-error {{no matching function}}
+ f3(a, b);
+ }
+
+ template<int I> struct S {};
+ template<int I> void g1(S<I>);
+ template<int I> void g2(S<I+1>); // expected-note {{couldn't infer}}
+ template<int I> void g3(S<I+1>, S<I>);
+ void g() {
+ S<4> a;
+ S<3> b;
+ g1(a);
+ g2(a); // expected-error {{no matching function}}
+ g3(a, b);
+ }
+
+ template<typename T> void h1(T = 0); // expected-note {{couldn't infer}}
+ template<typename T> void h2(T, T = 0);
+ void h() {
+ h1(); // expected-error {{no matching function}}
+ h1(0);
+ h1<int>();
+ h2(0);
+ }
+
+ template<typename T> int tmpl(T);
+ template<typename R, typename A> void i1(R (*)(A)); // expected-note 3{{couldn't infer}}
+ template<typename R, typename A> void i2(R, A, R (*)(A)); // expected-note {{not viable}}
+ void i() {
+ extern int single(int);
+ i1(single);
+ i2(0, 0, single);
+
+ extern int ambig(float), ambig(int);
+ i1(ambig); // expected-error {{no matching function}}
+ i2(0, 0, ambig);
+
+ extern void no_match(float), no_match(int);
+ i1(no_match); // expected-error {{no matching function}}
+ i2(0, 0, no_match); // expected-error {{no matching function}}
+
+ i1(tmpl); // expected-error {{no matching function}}
+ i2(0, 0, tmpl);
+ }
+ }
+
+ template<typename T> struct is_int;
+ template<> struct is_int<int> {};
+
+ namespace example2 {
+ template<typename T> int f(T (*p)(T)) { is_int<T>(); }
+ int g(int);
+ int g(char);
+ int i = f(g);
+ }
+
+ namespace example3 {
+ template<typename T> int f(T, T (*p)(T)) { is_int<T>(); }
+ int g(int);
+ char g(char);
+ int i = f(1, g);
+ }
+
+ namespace example4 {
+ template <class T> int f(T, T (*p)(T)) { is_int<T>(); }
+ char g(char);
+ template <class T> T g(T);
+ int i = f(1, g);
+ }
+
+ namespace example5 {
+ template<int I> class A {};
+ template<int I> void g(A<I+1>); // expected-note {{couldn't infer}}
+ template<int I> void f(A<I>, A<I+1>);
+ void h(A<1> a1, A<2> a2) {
+ g(a1); // expected-error {{no matching function}}
+ g<0>(a1);
+ f(a1, a2);
+ }
+ }
+}
+
+// dr353 needs an IRGen test.
+
+namespace dr354 { // dr354: yes c++11
+ // FIXME: Should we allow this in C++98 too?
+ struct S {};
+
+ template<int*> struct ptr {}; // expected-note +{{here}}
+ ptr<0> p0;
+ ptr<(int*)0> p1;
+ ptr<(float*)0> p2;
+ ptr<(int S::*)0> p3;
+#if __cplusplus < 201103L
+ // expected-error at -5 {{does not refer to any decl}}
+ // expected-error at -5 {{does not refer to any decl}}
+ // expected-error at -5 {{does not refer to any decl}}
+ // expected-error at -5 {{does not refer to any decl}}
+#else
+ // expected-error at -10 {{must be cast}}
+ // ok
+ // expected-error at -10 {{does not match}}
+ // expected-error at -10 {{does not match}}
+#endif
+
+ template<int*> int both();
+ template<int> int both();
+ int b0 = both<0>();
+ int b1 = both<(int*)0>();
+#if __cplusplus < 201103L
+ // expected-error at -2 {{no matching function}}
+ // expected-note at -6 {{candidate}}
+ // expected-note at -6 {{candidate}}
+#endif
+
+ template<int S::*> struct ptr_mem {}; // expected-note +{{here}}
+ ptr_mem<0> m0;
+ ptr_mem<(int S::*)0> m1;
+ ptr_mem<(float S::*)0> m2;
+ ptr_mem<(int *)0> m3;
+#if __cplusplus < 201103L
+ // expected-error at -5 {{cannot be converted}}
+ // expected-error at -5 {{is not a pointer to member constant}}
+ // expected-error at -5 {{cannot be converted}}
+ // expected-error at -5 {{cannot be converted}}
+#else
+ // expected-error at -10 {{must be cast}}
+ // ok
+ // expected-error at -10 {{does not match}}
+ // expected-error at -10 {{does not match}}
+#endif
+}
+
+struct dr355_S; // dr355: yes
+struct ::dr355_S {}; // expected-warning {{extra qualification}}
+namespace dr355 { struct ::dr355_S s; }
+
+// dr356: na
+
+namespace dr357 { // dr357: yes
+ template<typename T> struct A {
+ void f() const; // expected-note {{const qualified}}
+ };
+ template<typename T> void A<T>::f() {} // expected-error {{does not match}}
+
+ struct B {
+ template<typename T> void f();
+ };
+ template<typename T> void B::f() const {} // expected-error {{does not match}}
+}
+
+namespace dr358 { // dr358: yes
+ extern "C" void dr358_f();
+ namespace N {
+ int var;
+ extern "C" void dr358_f() { var = 10; }
+ }
+}
+
+namespace dr359 { // dr359: yes
+ // Note, the example in the DR is wrong; it doesn't contain an anonymous
+ // union.
+ struct E {
+ union {
+ struct {
+ int x;
+ } s;
+ } v;
+
+ union {
+ struct { // expected-error {{extension}}
+ int x;
+ } s;
+
+ struct S { // expected-error {{types cannot be declared in an anonymous union}}
+ int x;
+ } t;
+
+ union { // expected-error {{extension}}
+ int u;
+ };
+ };
+ };
+}
+
+// dr362: na
+// dr363: na
+
+namespace dr364 { // dr364: yes
+ struct S {
+ static void f(int);
+ void f(char);
+ };
+
+ void g() {
+ S::f('a'); // expected-error {{call to non-static}}
+ S::f(0);
+ }
+}
+
+#if "foo" // expected-error {{invalid token}} dr366: yes
+#endif
+
+namespace dr367 { // dr367: yes
+ // FIXME: These diagnostics are terrible. Don't diagnose an ill-formed global
+ // array as being a VLA!
+ int a[true ? throw 0 : 4]; // expected-error 2{{variable length array}}
+ int b[true ? 4 : throw 0];
+ int c[true ? *new int : 4]; // expected-error 2{{variable length array}}
+ int d[true ? 4 : *new int];
+#if __cplusplus < 201103L
+ // expected-error at -4 {{variable length array}} expected-error at -4 {{constant expression}}
+ // expected-error at -3 {{variable length array}} expected-error at -3 {{constant expression}}
+#endif
+}
+
+namespace dr368 { // dr368: yes
+ template<typename T, T> struct S {}; // expected-note {{here}}
+ template<typename T> int f(S<T, T()> *); // expected-error {{function type}}
+ //template<typename T> int g(S<T, (T())> *); // FIXME: crashes clang
+ template<typename T> int g(S<T, true ? T() : T()> *); // expected-note {{cannot have type 'dr368::X'}}
+ struct X {};
+ int n = g<X>(0); // expected-error {{no matching}}
+}
+
+// dr370: na
Modified: cfe/trunk/www/cxx_dr_status.html
URL: http://llvm.org/viewvc/llvm-project/cfe/trunk/www/cxx_dr_status.html?rev=201106&r1=201105&r2=201106&view=diff
==============================================================================
--- cfe/trunk/www/cxx_dr_status.html (original)
+++ cfe/trunk/www/cxx_dr_status.html Mon Feb 10 13:53:17 2014
@@ -524,7 +524,7 @@
<tr>
<td><a href="http://www.open-std.org/jtc1/sc22/wg21/docs/cwg_closed.html#81">81</a></td>
<td>NAD</td>
- <td>Null pointers and C compatability</td>
+ <td>Null pointers and C compatibility</td>
<td class="na" align="center">N/A</td>
</tr>
<tr>
@@ -2147,13 +2147,13 @@ of class templates</td>
<td><a href="http://www.open-std.org/jtc1/sc22/wg21/docs/cwg_defects.html#351">351</a></td>
<td>CD1</td>
<td>Sequence point error: unspecified or undefined?</td>
- <td class="none" align="center">Unknown</td>
+ <td class="na" align="center">N/A</td>
</tr>
<tr>
<td><a href="http://www.open-std.org/jtc1/sc22/wg21/docs/cwg_defects.html#352">352</a></td>
<td>CD1</td>
<td>Nondeduced contexts</td>
- <td class="none" align="center">Unknown</td>
+ <td class="full" align="center">Yes</td>
</tr>
<tr>
<td><a href="http://www.open-std.org/jtc1/sc22/wg21/docs/cwg_defects.html#353">353</a></td>
@@ -2165,37 +2165,37 @@ of class templates</td>
<td><a href="http://www.open-std.org/jtc1/sc22/wg21/docs/cwg_defects.html#354">354</a></td>
<td>CD1</td>
<td>Null as nontype template argument</td>
- <td class="none" align="center">Unknown</td>
+ <td class="full" align="center">Yes (C++11 onwards)</td>
</tr>
<tr>
<td><a href="http://www.open-std.org/jtc1/sc22/wg21/docs/cwg_defects.html#355">355</a></td>
<td>FDIS</td>
<td>Global-scope <TT>::</TT> in <I>nested-name-specifier</I></td>
- <td class="none" align="center">Unknown</td>
+ <td class="full" align="center">Yes</td>
</tr>
<tr>
<td><a href="http://www.open-std.org/jtc1/sc22/wg21/docs/cwg_closed.html#356">356</a></td>
<td>NAD</td>
<td>Wording of behavior of generated copy constructor for scalar members</td>
- <td class="none" align="center">Unknown</td>
+ <td class="na" align="center">N/A</td>
</tr>
<tr>
<td><a href="http://www.open-std.org/jtc1/sc22/wg21/docs/cwg_defects.html#357">357</a></td>
<td>CD1</td>
<td>Definition of signature should include name</td>
- <td class="none" align="center">Unknown</td>
+ <td class="full" align="center">Yes</td>
</tr>
<tr>
<td><a href="http://www.open-std.org/jtc1/sc22/wg21/docs/cwg_closed.html#358">358</a></td>
<td>NAD</td>
<td>Namespaces and extern "C"</td>
- <td class="none" align="center">Unknown</td>
+ <td class="full" align="center">Yes</td>
</tr>
<tr>
<td><a href="http://www.open-std.org/jtc1/sc22/wg21/docs/cwg_closed.html#359">359</a></td>
<td>NAD</td>
<td>Type definition in anonymous union</td>
- <td class="none" align="center">Unknown</td>
+ <td class="full" align="center">Yes</td>
</tr>
<tr class="open">
<td><a href="http://www.open-std.org/jtc1/sc22/wg21/docs/cwg_active.html#360">360</a></td>
@@ -2213,19 +2213,19 @@ of class templates</td>
<td><a href="http://www.open-std.org/jtc1/sc22/wg21/docs/cwg_defects.html#362">362</a></td>
<td>CD1</td>
<td>Order of initialization in instantiation units</td>
- <td class="none" align="center">Unknown</td>
+ <td class="na" align="center">N/A</td>
</tr>
<tr>
<td><a href="http://www.open-std.org/jtc1/sc22/wg21/docs/cwg_closed.html#363">363</a></td>
<td>NAD</td>
<td>Initialization of class from self</td>
- <td class="none" align="center">Unknown</td>
+ <td class="na" align="center">N/A</td>
</tr>
<tr>
<td><a href="http://www.open-std.org/jtc1/sc22/wg21/docs/cwg_defects.html#364">364</a></td>
<td>CD1</td>
<td>Calling overloaded function with static in set, with no object</td>
- <td class="none" align="center">Unknown</td>
+ <td class="full" align="center">Yes</td>
</tr>
<tr class="open">
<td><a href="http://www.open-std.org/jtc1/sc22/wg21/docs/cwg_active.html#365">365</a></td>
@@ -2237,19 +2237,19 @@ of class templates</td>
<td><a href="http://www.open-std.org/jtc1/sc22/wg21/docs/cwg_defects.html#366">366</a></td>
<td>CD1</td>
<td>String literal allowed in integral constant expression?</td>
- <td class="none" align="center">Unknown</td>
+ <td class="full" align="center">Yes</td>
</tr>
<tr>
<td><a href="http://www.open-std.org/jtc1/sc22/wg21/docs/cwg_defects.html#367">367</a></td>
<td>CD1</td>
<td><TT>throw</TT> operator allowed in constant expression?</td>
- <td class="none" align="center">Unknown</td>
+ <td class="full" align="center">Yes</td>
</tr>
<tr>
<td><a href="http://www.open-std.org/jtc1/sc22/wg21/docs/cwg_defects.html#368">368</a></td>
<td>CD1</td>
<td>Uses of non-type parameters that should cause deduction to fail</td>
- <td class="none" align="center">Unknown</td>
+ <td class="full" align="center">Yes</td>
</tr>
<tr class="open">
<td><a href="http://www.open-std.org/jtc1/sc22/wg21/docs/cwg_active.html#369">369</a></td>
@@ -2261,7 +2261,7 @@ of class templates</td>
<td><a href="http://www.open-std.org/jtc1/sc22/wg21/docs/cwg_defects.html#370">370</a></td>
<td>CD1</td>
<td>Can <TT>#include <...></TT> form be used other than for standard C++ headers?</td>
- <td class="none" align="center">Unknown</td>
+ <td class="na" align="center">N/A</td>
</tr>
<tr class="open">
<td><a href="http://www.open-std.org/jtc1/sc22/wg21/docs/cwg_active.html#371">371</a></td>
@@ -8160,7 +8160,7 @@ and <I>POD class</I></td>
<tr class="open">
<td><a href="http://www.open-std.org/jtc1/sc22/wg21/docs/cwg_active.html#1391">1391</a></td>
<td>drafting</td>
- <td>Conversions to parameter types with non deduced template arguments</td>
+ <td>Conversions to parameter types with non-deduced template arguments</td>
<td align="center">Not resolved</td>
</tr>
<tr>
@@ -8626,8 +8626,8 @@ and <I>POD class</I></td>
<td align="center">Not resolved</td>
</tr>
<tr class="open">
- <td><a href="http://www.open-std.org/jtc1/sc22/wg21/docs/cwg_active.html#1469">1469</a></td>
- <td>drafting</td>
+ <td><a href="http://www.open-std.org/jtc1/sc22/wg21/docs/cwg_closed.html#1469">1469</a></td>
+ <td>extension</td>
<td>Omitted bound in array <I>new-expression</I></td>
<td align="center">Not resolved</td>
</tr>
@@ -8691,11 +8691,11 @@ and <I>POD class</I></td>
<td>Literal operators and default arguments</td>
<td class="none" align="center">Unknown</td>
</tr>
- <tr class="open">
- <td><a href="http://www.open-std.org/jtc1/sc22/wg21/docs/cwg_active.html#1480">1480</a></td>
- <td>drafting</td>
+ <tr>
+ <td><a href="http://www.open-std.org/jtc1/sc22/wg21/docs/cwg_defects.html#1480">1480</a></td>
+ <td>WP</td>
<td>Constant initialization via non-constant temporary</td>
- <td align="center">Not resolved</td>
+ <td class="none" align="center">Unknown</td>
</tr>
<tr>
<td><a href="http://www.open-std.org/jtc1/sc22/wg21/docs/cwg_defects.html#1481">1481</a></td>
@@ -9304,8 +9304,8 @@ and <I>POD class</I></td>
<td align="center">Not resolved</td>
</tr>
<tr class="open">
- <td><a href="http://www.open-std.org/jtc1/sc22/wg21/docs/cwg_active.html#1582">1582</a></td>
- <td>drafting</td>
+ <td><a href="http://www.open-std.org/jtc1/sc22/wg21/docs/cwg_closed.html#1582">1582</a></td>
+ <td>extension</td>
<td>Template default arguments and deduction failure</td>
<td align="center">Not resolved</td>
</tr>
@@ -9328,8 +9328,8 @@ and <I>POD class</I></td>
<td class="none" align="center">Unknown</td>
</tr>
<tr class="open">
- <td><a href="http://www.open-std.org/jtc1/sc22/wg21/docs/cwg_active.html#1586">1586</a></td>
- <td>drafting</td>
+ <td><a href="http://www.open-std.org/jtc1/sc22/wg21/docs/cwg_closed.html#1586">1586</a></td>
+ <td>extension</td>
<td>Naming a destructor via <TT>decltype</TT></td>
<td align="center">Not resolved</td>
</tr>
@@ -9399,11 +9399,11 @@ and <I>POD class</I></td>
<td>Misleading <TT>constexpr</TT> example</td>
<td class="none" align="center">Unknown</td>
</tr>
- <tr class="open">
+ <tr>
<td><a href="http://www.open-std.org/jtc1/sc22/wg21/docs/cwg_active.html#1598">1598</a></td>
- <td>drafting</td>
+ <td>tentatively ready</td>
<td>Criterion for equality of pointers to members</td>
- <td align="center">Not resolved</td>
+ <td class="none" align="center">Unknown</td>
</tr>
<tr class="open">
<td><a href="http://www.open-std.org/jtc1/sc22/wg21/docs/cwg_active.html#1599">1599</a></td>
@@ -9585,11 +9585,11 @@ and <I>POD class</I></td>
<td>Deallocation function templates</td>
<td align="center">Not resolved</td>
</tr>
- <tr class="open">
+ <tr>
<td><a href="http://www.open-std.org/jtc1/sc22/wg21/docs/cwg_active.html#1629">1629</a></td>
- <td>drafting</td>
+ <td>tentatively ready</td>
<td>Can a closure class be a literal type?</td>
- <td align="center">Not resolved</td>
+ <td class="none" align="center">Unknown</td>
</tr>
<tr class="open">
<td><a href="http://www.open-std.org/jtc1/sc22/wg21/docs/cwg_active.html#1630">1630</a></td>
@@ -9711,11 +9711,11 @@ and <I>POD class</I></td>
<td>Error in the syntax of <I>mem-initializer-list</I></td>
<td class="none" align="center">Unknown</td>
</tr>
- <tr class="open">
- <td><a href="http://www.open-std.org/jtc1/sc22/wg21/docs/cwg_active.html#1650">1650</a></td>
- <td>open</td>
+ <tr>
+ <td><a href="http://www.open-std.org/jtc1/sc22/wg21/docs/cwg_closed.html#1650">1650</a></td>
+ <td>NAD</td>
<td>Class prvalues in reference initialization</td>
- <td align="center">Not resolved</td>
+ <td class="none" align="center">Unknown</td>
</tr>
<tr class="open">
<td><a href="http://www.open-std.org/jtc1/sc22/wg21/docs/cwg_active.html#1651">1651</a></td>
@@ -9759,11 +9759,11 @@ and <I>POD class</I></td>
<td>Attributes for namespaces and enumerators</td>
<td align="center">Not resolved</td>
</tr>
- <tr class="open">
+ <tr>
<td><a href="http://www.open-std.org/jtc1/sc22/wg21/docs/cwg_active.html#1658">1658</a></td>
- <td>drafting</td>
+ <td>tentatively ready</td>
<td>Deleted default constructor for abstract class via destructor</td>
- <td align="center">Not resolved</td>
+ <td class="none" align="center">Unknown</td>
</tr>
<tr class="open">
<td><a href="http://www.open-std.org/jtc1/sc22/wg21/docs/cwg_active.html#1659">1659</a></td>
@@ -9771,11 +9771,11 @@ and <I>POD class</I></td>
<td>Initialization order of thread_local template static data members</td>
<td align="center">Not resolved</td>
</tr>
- <tr class="open">
+ <tr>
<td><a href="http://www.open-std.org/jtc1/sc22/wg21/docs/cwg_active.html#1660">1660</a></td>
- <td>open</td>
+ <td>tentatively ready</td>
<td><I>member-declaration</I> requirements and unnamed bit-fields</td>
- <td align="center">Not resolved</td>
+ <td class="none" align="center">Unknown</td>
</tr>
<tr class="open">
<td><a href="http://www.open-std.org/jtc1/sc22/wg21/docs/cwg_active.html#1661">1661</a></td>
@@ -9807,11 +9807,11 @@ and <I>POD class</I></td>
<td>Declaration matching in explicit instantiations</td>
<td align="center">Not resolved</td>
</tr>
- <tr class="open">
+ <tr>
<td><a href="http://www.open-std.org/jtc1/sc22/wg21/docs/cwg_active.html#1666">1666</a></td>
- <td>drafting</td>
+ <td>tentatively ready</td>
<td>Address constant expressions</td>
- <td align="center">Not resolved</td>
+ <td class="none" align="center">Unknown</td>
</tr>
<tr>
<td><a href="http://www.open-std.org/jtc1/sc22/wg21/docs/cwg_closed.html#1667">1667</a></td>
@@ -9825,11 +9825,11 @@ and <I>POD class</I></td>
<td>Parameter type determination still not clear enough</td>
<td align="center">Not resolved</td>
</tr>
- <tr class="open">
+ <tr>
<td><a href="http://www.open-std.org/jtc1/sc22/wg21/docs/cwg_active.html#1669">1669</a></td>
- <td>drafting</td>
+ <td>tentatively ready</td>
<td><TT>auto</TT> return type for <TT>main</TT></td>
- <td align="center">Not resolved</td>
+ <td class="none" align="center">Unknown</td>
</tr>
<tr class="open">
<td><a href="http://www.open-std.org/jtc1/sc22/wg21/docs/cwg_active.html#1670">1670</a></td>
@@ -9855,11 +9855,11 @@ and <I>POD class</I></td>
<td>Clarifying overload resolution for the second step of copy-initialization</td>
<td align="center">Not resolved</td>
</tr>
- <tr class="open">
+ <tr>
<td><a href="http://www.open-std.org/jtc1/sc22/wg21/docs/cwg_active.html#1674">1674</a></td>
- <td>drafting</td>
+ <td>tentatively ready</td>
<td>Return type deduction for address of function</td>
- <td align="center">Not resolved</td>
+ <td class="none" align="center">Unknown</td>
</tr>
<tr>
<td><a href="http://www.open-std.org/jtc1/sc22/wg21/docs/cwg_active.html#1675">1675</a></td>
@@ -9915,11 +9915,11 @@ and <I>POD class</I></td>
<td>Incorrect example after <TT>constexpr</TT> changes</td>
<td align="center">Not resolved</td>
</tr>
- <tr class="open">
+ <tr>
<td><a href="http://www.open-std.org/jtc1/sc22/wg21/docs/cwg_active.html#1684">1684</a></td>
- <td>drafting</td>
+ <td>tentatively ready</td>
<td>Static <TT>constexpr</TT> member functions for non-literal classes</td>
- <td align="center">Not resolved</td>
+ <td class="none" align="center">Unknown</td>
</tr>
<tr class="open">
<td><a href="http://www.open-std.org/jtc1/sc22/wg21/docs/cwg_active.html#1685">1685</a></td>
@@ -9933,11 +9933,11 @@ and <I>POD class</I></td>
<td>Which variables are “explicitly declared <TT>const</TT>?”</td>
<td align="center">Not resolved</td>
</tr>
- <tr class="open">
+ <tr>
<td><a href="http://www.open-std.org/jtc1/sc22/wg21/docs/cwg_active.html#1687">1687</a></td>
- <td>drafting</td>
+ <td>tentatively ready</td>
<td>Conversions of operands of built-in operators</td>
- <td align="center">Not resolved</td>
+ <td class="none" align="center">Unknown</td>
</tr>
<tr>
<td><a href="http://www.open-std.org/jtc1/sc22/wg21/docs/cwg_closed.html#1688">1688</a></td>
@@ -9945,11 +9945,11 @@ and <I>POD class</I></td>
<td>Volatile <TT>constexpr</TT> variables</td>
<td class="none" align="center">Unknown</td>
</tr>
- <tr class="open">
+ <tr>
<td><a href="http://www.open-std.org/jtc1/sc22/wg21/docs/cwg_active.html#1689">1689</a></td>
- <td>drafting</td>
+ <td>tentatively ready</td>
<td>Syntactic nonterminal for operand of <TT>alignas</TT></td>
- <td align="center">Not resolved</td>
+ <td class="none" align="center">Unknown</td>
</tr>
<tr>
<td><a href="http://www.open-std.org/jtc1/sc22/wg21/docs/cwg_active.html#1690">1690</a></td>
@@ -9969,11 +9969,11 @@ and <I>POD class</I></td>
<td>Associated namespaces of doubly-nested classes</td>
<td class="none" align="center">Unknown</td>
</tr>
- <tr class="open">
+ <tr>
<td><a href="http://www.open-std.org/jtc1/sc22/wg21/docs/cwg_active.html#1693">1693</a></td>
- <td>drafting</td>
+ <td>tentatively ready</td>
<td>Superfluous semicolons in class definitions</td>
- <td align="center">Not resolved</td>
+ <td class="none" align="center">Unknown</td>
</tr>
<tr class="open">
<td><a href="http://www.open-std.org/jtc1/sc22/wg21/docs/cwg_active.html#1694">1694</a></td>
@@ -10053,11 +10053,11 @@ and <I>POD class</I></td>
<td><TT>alignas</TT> pack expansion syntax</td>
<td align="center">Not resolved</td>
</tr>
- <tr class="open">
+ <tr>
<td><a href="http://www.open-std.org/jtc1/sc22/wg21/docs/cwg_active.html#1707">1707</a></td>
- <td>drafting</td>
+ <td>tentatively ready</td>
<td><TT>template</TT> in <I>elaborated-type-specifier</I> without <I>nested-name-specifier</I></td>
- <td align="center">Not resolved</td>
+ <td class="none" align="center">Unknown</td>
</tr>
<tr class="open">
<td><a href="http://www.open-std.org/jtc1/sc22/wg21/docs/cwg_active.html#1708">1708</a></td>
@@ -10095,11 +10095,11 @@ and <I>POD class</I></td>
<td>Linkage of variable template specializations</td>
<td align="center">Not resolved</td>
</tr>
- <tr class="open">
- <td><a href="http://www.open-std.org/jtc1/sc22/wg21/docs/cwg_active.html#1714">1714</a></td>
- <td>drafting</td>
+ <tr>
+ <td><a href="http://www.open-std.org/jtc1/sc22/wg21/docs/cwg_closed.html#1714">1714</a></td>
+ <td>NAD</td>
<td>odr-use of <TT>this</TT> from a local class</td>
- <td align="center">Not resolved</td>
+ <td class="none" align="center">Unknown</td>
</tr>
<tr class="open">
<td><a href="http://www.open-std.org/jtc1/sc22/wg21/docs/cwg_active.html#1715">1715</a></td>
@@ -10107,11 +10107,11 @@ and <I>POD class</I></td>
<td>Access and inherited constructor templates</td>
<td align="center">Not resolved</td>
</tr>
- <tr class="open">
+ <tr>
<td><a href="http://www.open-std.org/jtc1/sc22/wg21/docs/cwg_active.html#1716">1716</a></td>
- <td>drafting</td>
+ <td>tentatively ready</td>
<td>When are default arguments evaluated?</td>
- <td align="center">Not resolved</td>
+ <td class="none" align="center">Unknown</td>
</tr>
<tr>
<td><a href="http://www.open-std.org/jtc1/sc22/wg21/docs/cwg_active.html#1717">1717</a></td>
@@ -10203,11 +10203,11 @@ and <I>POD class</I></td>
<td><TT>is_trivially_</TT><I>X</I> and definitions of special member functions</td>
<td class="none" align="center">Unknown</td>
</tr>
- <tr class="open">
+ <tr>
<td><a href="http://www.open-std.org/jtc1/sc22/wg21/docs/cwg_active.html#1732">1732</a></td>
- <td>drafting</td>
+ <td>tentatively ready</td>
<td>Defining types in <I>condition</I>s and range-based <TT>for</TT> statements</td>
- <td align="center">Not resolved</td>
+ <td class="none" align="center">Unknown</td>
</tr>
<tr class="open">
<td><a href="http://www.open-std.org/jtc1/sc22/wg21/docs/cwg_active.html#1733">1733</a></td>
@@ -10233,23 +10233,23 @@ and <I>POD class</I></td>
<td>Inheriting constructor templates in a local class</td>
<td align="center">Not resolved</td>
</tr>
- <tr class="open">
+ <tr>
<td><a href="http://www.open-std.org/jtc1/sc22/wg21/docs/cwg_active.html#1737">1737</a></td>
- <td>drafting</td>
+ <td>tentatively ready</td>
<td>Type dependence of call to a member of the current instantiation</td>
- <td align="center">Not resolved</td>
+ <td class="none" align="center">Unknown</td>
</tr>
- <tr class="open">
+ <tr>
<td><a href="http://www.open-std.org/jtc1/sc22/wg21/docs/cwg_active.html#1738">1738</a></td>
- <td>drafting</td>
+ <td>tentatively ready</td>
<td>Explicit instantiation/specialization of inheriting constructor templates</td>
- <td align="center">Not resolved</td>
+ <td class="none" align="center">Unknown</td>
</tr>
- <tr class="open">
+ <tr>
<td><a href="http://www.open-std.org/jtc1/sc22/wg21/docs/cwg_active.html#1739">1739</a></td>
- <td>drafting</td>
+ <td>tentatively ready</td>
<td>Conversion of floating point to enumeration</td>
- <td align="center">Not resolved</td>
+ <td class="none" align="center">Unknown</td>
</tr>
<tr>
<td><a href="http://www.open-std.org/jtc1/sc22/wg21/docs/cwg_active.html#1740">1740</a></td>
@@ -10281,23 +10281,23 @@ and <I>POD class</I></td>
<td>Unordered initialization for variable template specializations</td>
<td align="center">Not resolved</td>
</tr>
- <tr class="open">
- <td><a href="http://www.open-std.org/jtc1/sc22/wg21/docs/cwg_active.html#1745">1745</a></td>
- <td>open</td>
+ <tr>
+ <td><a href="http://www.open-std.org/jtc1/sc22/wg21/docs/cwg_closed.html#1745">1745</a></td>
+ <td>NAD</td>
<td><TT>thread_local constexpr</TT> variable</td>
- <td align="center">Not resolved</td>
+ <td class="none" align="center">Unknown</td>
</tr>
- <tr class="open">
+ <tr>
<td><a href="http://www.open-std.org/jtc1/sc22/wg21/docs/cwg_active.html#1746">1746</a></td>
- <td>open</td>
+ <td>tentatively ready</td>
<td>Are volatile scalar types trivially copyable?</td>
- <td align="center">Not resolved</td>
+ <td class="none" align="center">Unknown</td>
</tr>
- <tr class="open">
+ <tr>
<td><a href="http://www.open-std.org/jtc1/sc22/wg21/docs/cwg_active.html#1747">1747</a></td>
- <td>open</td>
+ <td>tentatively ready</td>
<td>Constant initialization of reference to function</td>
- <td align="center">Not resolved</td>
+ <td class="none" align="center">Unknown</td>
</tr>
<tr class="open">
<td><a href="http://www.open-std.org/jtc1/sc22/wg21/docs/cwg_active.html#1748">1748</a></td>
@@ -10425,11 +10425,11 @@ and <I>POD class</I></td>
<td>Zero-element array of runtime bound</td>
<td class="none" align="center">Unknown</td>
</tr>
- <tr class="open">
+ <tr>
<td><a href="http://www.open-std.org/jtc1/sc22/wg21/docs/cwg_active.html#1769">1769</a></td>
- <td>review</td>
+ <td>tentatively ready</td>
<td>Catching a base class of the exception object</td>
- <td align="center">Not resolved</td>
+ <td class="none" align="center">Unknown</td>
</tr>
<tr>
<td><a href="http://www.open-std.org/jtc1/sc22/wg21/docs/cwg_active.html#1770">1770</a></td>
@@ -10479,11 +10479,11 @@ and <I>POD class</I></td>
<td>Empty pack expansion in <I>dynamic-exception-specification</I></td>
<td align="center">Not resolved</td>
</tr>
- <tr>
+ <tr class="open">
<td><a href="http://www.open-std.org/jtc1/sc22/wg21/docs/cwg_active.html#1778">1778</a></td>
- <td>ready</td>
+ <td>review</td>
<td><I>exception-specification</I> in explicitly-defaulted functions</td>
- <td class="none" align="center">Unknown</td>
+ <td align="center">Not resolved</td>
</tr>
<tr class="open">
<td><a href="http://www.open-std.org/jtc1/sc22/wg21/docs/cwg_active.html#1779">1779</a></td>
@@ -10587,6 +10587,252 @@ and <I>POD class</I></td>
<td>Disambiguating <I>original-namespace-definition</I> and <I>extension-namespace-definition</I></td>
<td align="center">Not resolved</td>
</tr>
+ <tr class="open">
+ <td><a href="http://www.open-std.org/jtc1/sc22/wg21/docs/cwg_active.html#1796">1796</a></td>
+ <td>open</td>
+ <td>Is all-bits-zero for null characters a meaningful requirement?</td>
+ <td align="center">Not resolved</td>
+ </tr>
+ <tr class="open">
+ <td><a href="http://www.open-std.org/jtc1/sc22/wg21/docs/cwg_active.html#1797">1797</a></td>
+ <td>open</td>
+ <td>Are all bit patterns of <TT>unsigned char</TT> distinct numbers?</td>
+ <td align="center">Not resolved</td>
+ </tr>
+ <tr class="open">
+ <td><a href="http://www.open-std.org/jtc1/sc22/wg21/docs/cwg_active.html#1798">1798</a></td>
+ <td>open</td>
+ <td><I>exception-specification</I>s of template arguments</td>
+ <td align="center">Not resolved</td>
+ </tr>
+ <tr class="open">
+ <td><a href="http://www.open-std.org/jtc1/sc22/wg21/docs/cwg_active.html#1799">1799</a></td>
+ <td>review</td>
+ <td><TT>mutable</TT> and non-explicit const qualification</td>
+ <td align="center">Not resolved</td>
+ </tr>
+ <tr class="open">
+ <td><a href="http://www.open-std.org/jtc1/sc22/wg21/docs/cwg_active.html#1800">1800</a></td>
+ <td>open</td>
+ <td>Pointer to member of nested anonymous union</td>
+ <td align="center">Not resolved</td>
+ </tr>
+ <tr class="open">
+ <td><a href="http://www.open-std.org/jtc1/sc22/wg21/docs/cwg_active.html#1801">1801</a></td>
+ <td>open</td>
+ <td>Kind of expression referring to member of anonymous union</td>
+ <td align="center">Not resolved</td>
+ </tr>
+ <tr class="open">
+ <td><a href="http://www.open-std.org/jtc1/sc22/wg21/docs/cwg_active.html#1802">1802</a></td>
+ <td>open</td>
+ <td><TT>char16_t</TT> string literals and surrogate pairs</td>
+ <td align="center">Not resolved</td>
+ </tr>
+ <tr class="open">
+ <td><a href="http://www.open-std.org/jtc1/sc22/wg21/docs/cwg_active.html#1803">1803</a></td>
+ <td>open</td>
+ <td><I>opaque-enum-declaration</I> as <I>member-declaration</I></td>
+ <td align="center">Not resolved</td>
+ </tr>
+ <tr class="open">
+ <td><a href="http://www.open-std.org/jtc1/sc22/wg21/docs/cwg_active.html#1804">1804</a></td>
+ <td>open</td>
+ <td>Partial specialization and friendship</td>
+ <td align="center">Not resolved</td>
+ </tr>
+ <tr class="open">
+ <td><a href="http://www.open-std.org/jtc1/sc22/wg21/docs/cwg_active.html#1805">1805</a></td>
+ <td>open</td>
+ <td>Conversions of array operands in <I>conditional-expression</I>s</td>
+ <td align="center">Not resolved</td>
+ </tr>
+ <tr class="open">
+ <td><a href="http://www.open-std.org/jtc1/sc22/wg21/docs/cwg_active.html#1806">1806</a></td>
+ <td>open</td>
+ <td>Virtual bases and move-assignment</td>
+ <td align="center">Not resolved</td>
+ </tr>
+ <tr class="open">
+ <td><a href="http://www.open-std.org/jtc1/sc22/wg21/docs/cwg_active.html#1807">1807</a></td>
+ <td>open</td>
+ <td>Order of destruction of array elements after an exception</td>
+ <td align="center">Not resolved</td>
+ </tr>
+ <tr class="open">
+ <td><a href="http://www.open-std.org/jtc1/sc22/wg21/docs/cwg_active.html#1808">1808</a></td>
+ <td>open</td>
+ <td>Constructor templates vs default constructors</td>
+ <td align="center">Not resolved</td>
+ </tr>
+ <tr class="open">
+ <td><a href="http://www.open-std.org/jtc1/sc22/wg21/docs/cwg_active.html#1809">1809</a></td>
+ <td>open</td>
+ <td>Narrowing and template argument deduction</td>
+ <td align="center">Not resolved</td>
+ </tr>
+ <tr class="open">
+ <td><a href="http://www.open-std.org/jtc1/sc22/wg21/docs/cwg_active.html#1810">1810</a></td>
+ <td>open</td>
+ <td>Invalid <I>ud-suffix</I>es</td>
+ <td align="center">Not resolved</td>
+ </tr>
+ <tr class="open">
+ <td><a href="http://www.open-std.org/jtc1/sc22/wg21/docs/cwg_active.html#1811">1811</a></td>
+ <td>open</td>
+ <td>Lookup of deallocation function in a virtual destructor definition</td>
+ <td align="center">Not resolved</td>
+ </tr>
+ <tr class="open">
+ <td><a href="http://www.open-std.org/jtc1/sc22/wg21/docs/cwg_active.html#1812">1812</a></td>
+ <td>open</td>
+ <td>Omission of <TT>template</TT> in a <I>typename-specifier</I></td>
+ <td align="center">Not resolved</td>
+ </tr>
+ <tr class="open">
+ <td><a href="http://www.open-std.org/jtc1/sc22/wg21/docs/cwg_active.html#1813">1813</a></td>
+ <td>open</td>
+ <td>Direct vs indirect bases in standard-layout classes</td>
+ <td align="center">Not resolved</td>
+ </tr>
+ <tr class="open">
+ <td><a href="http://www.open-std.org/jtc1/sc22/wg21/docs/cwg_active.html#1814">1814</a></td>
+ <td>open</td>
+ <td>Default arguments in <I>lambda-expression</I>s</td>
+ <td align="center">Not resolved</td>
+ </tr>
+ <tr class="open">
+ <td><a href="http://www.open-std.org/jtc1/sc22/wg21/docs/cwg_active.html#1815">1815</a></td>
+ <td>open</td>
+ <td>Lifetime extension in aggregate initialization</td>
+ <td align="center">Not resolved</td>
+ </tr>
+ <tr class="open">
+ <td><a href="http://www.open-std.org/jtc1/sc22/wg21/docs/cwg_active.html#1816">1816</a></td>
+ <td>open</td>
+ <td>Unclear specification of bit-field values</td>
+ <td align="center">Not resolved</td>
+ </tr>
+ <tr class="open">
+ <td><a href="http://www.open-std.org/jtc1/sc22/wg21/docs/cwg_active.html#1817">1817</a></td>
+ <td>open</td>
+ <td>Linkage specifications and nested scopes</td>
+ <td align="center">Not resolved</td>
+ </tr>
+ <tr class="open">
+ <td><a href="http://www.open-std.org/jtc1/sc22/wg21/docs/cwg_active.html#1818">1818</a></td>
+ <td>open</td>
+ <td>Visibility and inherited language linkage</td>
+ <td align="center">Not resolved</td>
+ </tr>
+ <tr class="open">
+ <td><a href="http://www.open-std.org/jtc1/sc22/wg21/docs/cwg_active.html#1819">1819</a></td>
+ <td>open</td>
+ <td>Acceptable scopes for definition of partial specialization</td>
+ <td align="center">Not resolved</td>
+ </tr>
+ <tr class="open">
+ <td><a href="http://www.open-std.org/jtc1/sc22/wg21/docs/cwg_active.html#1820">1820</a></td>
+ <td>open</td>
+ <td>Qualified typedef names</td>
+ <td align="center">Not resolved</td>
+ </tr>
+ <tr class="open">
+ <td><a href="http://www.open-std.org/jtc1/sc22/wg21/docs/cwg_active.html#1821">1821</a></td>
+ <td>open</td>
+ <td>Qualified redeclarations in a class <I>member-specification</I></td>
+ <td align="center">Not resolved</td>
+ </tr>
+ <tr class="open">
+ <td><a href="http://www.open-std.org/jtc1/sc22/wg21/docs/cwg_active.html#1822">1822</a></td>
+ <td>open</td>
+ <td>Lookup of parameter names in <I>lambda-expression</I>s</td>
+ <td align="center">Not resolved</td>
+ </tr>
+ <tr class="open">
+ <td><a href="http://www.open-std.org/jtc1/sc22/wg21/docs/cwg_active.html#1823">1823</a></td>
+ <td>open</td>
+ <td>String literal uniqueness in inline functions</td>
+ <td align="center">Not resolved</td>
+ </tr>
+ <tr class="open">
+ <td><a href="http://www.open-std.org/jtc1/sc22/wg21/docs/cwg_active.html#1824">1824</a></td>
+ <td>open</td>
+ <td>Completeness of return type vs point of instantiation</td>
+ <td align="center">Not resolved</td>
+ </tr>
+ <tr class="open">
+ <td><a href="http://www.open-std.org/jtc1/sc22/wg21/docs/cwg_active.html#1825">1825</a></td>
+ <td>open</td>
+ <td>Partial ordering between variadic and non-variadic function templates</td>
+ <td align="center">Not resolved</td>
+ </tr>
+ <tr class="open">
+ <td><a href="http://www.open-std.org/jtc1/sc22/wg21/docs/cwg_active.html#1826">1826</a></td>
+ <td>open</td>
+ <td><TT>const</TT> floating-point in constant expressions</td>
+ <td align="center">Not resolved</td>
+ </tr>
+ <tr class="open">
+ <td><a href="http://www.open-std.org/jtc1/sc22/wg21/docs/cwg_active.html#1827">1827</a></td>
+ <td>open</td>
+ <td>Reference binding with ambiguous conversions</td>
+ <td align="center">Not resolved</td>
+ </tr>
+ <tr class="open">
+ <td><a href="http://www.open-std.org/jtc1/sc22/wg21/docs/cwg_active.html#1828">1828</a></td>
+ <td>open</td>
+ <td><I>nested-name-specifier</I> ambiguity</td>
+ <td align="center">Not resolved</td>
+ </tr>
+ <tr class="open">
+ <td><a href="http://www.open-std.org/jtc1/sc22/wg21/docs/cwg_active.html#1829">1829</a></td>
+ <td>open</td>
+ <td>Dependent unnamed types</td>
+ <td align="center">Not resolved</td>
+ </tr>
+ <tr class="open">
+ <td><a href="http://www.open-std.org/jtc1/sc22/wg21/docs/cwg_active.html#1830">1830</a></td>
+ <td>open</td>
+ <td>Repeated specifiers</td>
+ <td align="center">Not resolved</td>
+ </tr>
+ <tr class="open">
+ <td><a href="http://www.open-std.org/jtc1/sc22/wg21/docs/cwg_active.html#1831">1831</a></td>
+ <td>open</td>
+ <td>Explicitly vs implicitly deleted move constructors</td>
+ <td align="center">Not resolved</td>
+ </tr>
+ <tr class="open">
+ <td><a href="http://www.open-std.org/jtc1/sc22/wg21/docs/cwg_active.html#1832">1832</a></td>
+ <td>open</td>
+ <td>Casting to incomplete enumeration</td>
+ <td align="center">Not resolved</td>
+ </tr>
+ <tr class="open">
+ <td><a href="http://www.open-std.org/jtc1/sc22/wg21/docs/cwg_active.html#1833">1833</a></td>
+ <td>open</td>
+ <td><TT>friend</TT> declarations naming implicitly-declared member functions</td>
+ <td align="center">Not resolved</td>
+ </tr>
+ <tr class="open">
+ <td><a href="http://www.open-std.org/jtc1/sc22/wg21/docs/cwg_active.html#1834">1834</a></td>
+ <td>open</td>
+ <td>Constant initialization binding a reference to an xvalue</td>
+ <td align="center">Not resolved</td>
+ </tr>
+ <tr class="open">
+ <td><a href="http://www.open-std.org/jtc1/sc22/wg21/docs/cwg_active.html#1835">1835</a></td>
+ <td>open</td>
+ <td>Dependent member lookup before <TT><</TT></td>
+ <td align="center">Not resolved</td>
+ </tr>
+ <tr class="open">
+ <td><a href="http://www.open-std.org/jtc1/sc22/wg21/docs/cwg_active.html#1836">1836</a></td>
+ <td>open</td>
+ <td>Use of class type being defined in <I>trailing-return-type</I></td>
+ <td align="center">Not resolved</td>
+ </tr>
</table>
</div>
More information about the cfe-commits
mailing list