[Clang] update cxx_dr_status.html by running make_cxx_dr_status

[ychen]

Summary

For https://github.com/llvm/llvm-project/issues/58382

[ychen]

• rebase

[erichkeane]

Thank you so much for doing this. I'm hopeful our hackery can go away sometime soon.

clang/test/CXX/drs/dr25xx.cpp

3

If you could add a comment explaining this status for me, I would be grateful:

// We've implemented DR2565 as proposed (that is, a substitution failure in a requires parameter list causes the requires clause to evaluate as false) as it seems to make the most sense, and fit best into our implementation. If this issue gets accepted as-is, this can be marked as complete.

clang/www/make_cxx_dr_status

161–164

I guess this is OK, its a shame we have to custom-tag these, but I guess I'm 1/2 responsible here :/

[ychen]

clang/test/CXX/drs/dr25xx.cpp

3

You said we were in a position where we had 1/2 of it implemented. So I put it as partial. I must've misunderstood you. Will change it back.

clang/www/make_cxx_dr_status

161–164

Yeah, it looks hacky. If the list gets larger, we could do something like namespace dr1432 { // dr1432: open 16 to make it more general.

[ychen]

• DR2565 is fully implemented.

[erichkeane]

SGTM with teh changes discussed above

clang/test/CXX/drs/dr25xx.cpp

 // RUN: %clang_cc1 -std=c++20 -triple x86_64-unknown-unknown %s -verify
 
-namespace dr2565 { // dr252: 16
+namespace dr2565 { // dr2565: 16
   template<typename T>
     concept C = requires (typename T::type x) {
       x + 1;
     };
   static_assert(!C<int>);
 
   // Variant of this as reported in GH57487.
   template<bool B> struct bool_constant

clang/test/CXX/drs/dr2xx.cpp

 #endif
     a = (b = ++a);
 #pragma clang diagnostic pop
   }
 }
 
 // dr223: na
 
-namespace dr224 { // dr224: yes
+namespace dr224 { // dr224: 16
   namespace example1 {
     template <class T> class A {
       typedef int type;
       A::type a;
       A<T>::type b;
       A<T*>::type c;
 #if __cplusplus <= 201703L
       // expected-error@-2 {{implicit 'typename' is a C++20 extension}}

clang/www/cxx_dr_status.html

<tr id="223">
     <td>CD3</td>
     <td>The meaning of deprecation</td>
     <td class="na" align="center">N/A</td>
   </tr>
   <tr id="224">
     <td><a href="https://wg21.link/cwg224">224</a></td>
     <td>CD1</td>
     <td>Definition of dependent names</td>
-    <td class="none" align="center">No</td>
+    <td class="unreleased" align="center">Clang 16</td>
   </tr>
   <tr id="225">
     <td><a href="https://wg21.link/cwg225">225</a></td>
     <td>NAD</td>
     <td>Koenig lookup and fundamental types</td>
     <td class="full" align="center">Yes</td>
   </tr>
   <tr id="226">
<tr id="1306">
     <td>CD3</td>
     <td>Modifying an object within a <TT>const</TT> member function</td>
     <td class="none" align="center">Unknown</td>
   </tr>
   <tr id="1307">
     <td><a href="https://wg21.link/cwg1307">1307</a></td>
     <td>C++14</td>
     <td>Overload resolution based on size of array <I>initializer-list</I></td>
-    <td class="unreleased" align="center">Clang 14</td>
+    <td class="full" align="center">Clang 14</td>
   </tr>
   <tr id="1308">
     <td><a href="https://wg21.link/cwg1308">1308</a></td>
     <td>CD3</td>
     <td>Completeness of class type within an <I>exception-specification</I></td>
     <td class="none" align="center">Unknown</td>
   </tr>
   <tr id="1309">
<tr id="1393">
     <td>C++17</td>
     <td>Pack expansions in <I>using-declaration</I>s</td>
     <td class="none" align="center">Unknown</td>
   </tr>
   <tr id="1394">
     <td><a href="https://wg21.link/cwg1394">1394</a></td>
     <td>CD3</td>
     <td>Incomplete types as parameters of deleted functions</td>
-    <td class="unreleased" align="center">Clang 15</td>
+    <td class="full" align="center">Clang 15</td>
   </tr>
   <tr id="1395">
     <td><a href="https://wg21.link/cwg1395">1395</a></td>
     <td>C++17</td>
     <td>Partial ordering of variadic templates reconsidered</td>
     <td class="unreleased" align="center">Clang 16</td>
   </tr>
   <tr class="open" id="1396">
<tr id="1431">
     <td>CD3</td>
     <td>Exceptions from other than <I>throw-expression</I>s</td>
     <td class="none" align="center">Unknown</td>
   </tr>
   <tr class="open" id="1432">
     <td><a href="https://wg21.link/cwg1432">1432</a></td>
     <td>open</td>
     <td>Newly-ambiguous variadic template expansions</td>
-    <td align="center">Not resolved</td>
+    <td class="unreleased" align="center">Clang 16</td>
   </tr>
   <tr class="open" id="1433">
     <td><a href="https://wg21.link/cwg1433">1433</a></td>
     <td>extension</td>
     <td><I>trailing-return-type</I> and point of declaration</td>
     <td align="center">Extension</td>
   </tr>
   <tr id="1434">
<tr id="1761">
     <td>NAD</td>
     <td>Runtime check on size of automatic array</td>
     <td class="none" align="center">Unknown</td>
   </tr>
   <tr id="1762">
     <td><a href="https://wg21.link/cwg1762">1762</a></td>
     <td>C++14</td>
     <td>Reserved identifier used in <I>literal-operator-id</I> example</td>
-    <td class="unreleased" align="center">Clang 14</td>
+    <td class="full" align="center">Clang 14</td>
   </tr>
   <tr class="open" id="1763">
     <td><a href="https://wg21.link/cwg1763">1763</a></td>
     <td>open</td>
     <td>Length mismatch in template type deduction</td>
     <td align="center">Not resolved</td>
   </tr>
   <tr id="1764">
<tr id="1771">
     <td>DRWP</td>
     <td>Restricted lookup in <I>nested-name-specifier</I></td>
     <td class="none" align="center">Unknown</td>
   </tr>
   <tr id="1772">
     <td><a href="https://wg21.link/cwg1772">1772</a></td>
     <td>C++14</td>
     <td><TT>__func__</TT> in a lambda body</td>
-    <td class="unreleased" align="center">Clang 14</td>
+    <td class="full" align="center">Clang 14</td>
   </tr>
   <tr id="1773">
     <td><a href="https://wg21.link/cwg1773">1773</a></td>
     <td>C++14</td>
     <td>Out-of-lifetime lvalue-to-rvalue conversion</td>
     <td class="none" align="center">Unknown</td>
   </tr>
   <tr id="1774">
<tr id="1778">
     <td>C++14</td>
     <td><I>exception-specification</I> in explicitly-defaulted functions</td>
     <td class="full" align="center">Clang 9</td>
   </tr>
   <tr id="1779">
     <td><a href="https://wg21.link/cwg1779">1779</a></td>
     <td>CD4</td>
     <td>Type dependency of <TT>__func__</TT></td>
-    <td class="unreleased" align="center">Clang 14</td>
+    <td class="full" align="center">Clang 14</td>
   </tr>
   <tr id="1780">
     <td><a href="https://wg21.link/cwg1780">1780</a></td>
     <td>CD4</td>
     <td>Explicit instantiation/specialization of generic lambda <TT>operator()</TT></td>
     <td class="none" align="center">Unknown</td>
   </tr>
   <tr id="1781">
<tr id="2170">
     <td>CD5</td>
     <td>Unclear definition of odr-use for arrays</td>
     <td class="full" align="center">Clang 9</td>
   </tr>
   <tr id="2171">
     <td><a href="https://wg21.link/cwg2171">2171</a></td>
     <td>CD4</td>
     <td>Triviality of copy constructor with less-qualified parameter</td>
-    <td class="unreleased" align="center">Clang 15</td>
+    <td class="full" align="center">Clang 15</td>
   </tr>
   <tr class="open" id="2172">
     <td><a href="https://wg21.link/cwg2172">2172</a></td>
     <td>drafting</td>
     <td>Multiple exceptions with one exception object</td>
     <td align="center">Not resolved</td>
   </tr>
   <tr class="open" id="2173">
<tr id="2353">
     <td>CD5</td>
     <td>Potential results of a member access expression for a static data member</td>
     <td class="full" align="center">Clang 9</td>
   </tr>
   <tr id="2354">
     <td><a href="https://wg21.link/cwg2354">2354</a></td>
     <td>CD5</td>
     <td>Extended alignment and object representation</td>
-    <td class="unreleased" align="center">Clang 15</td>
+    <td class="full" align="center">Clang 15</td>
   </tr>
   <tr id="2355">
     <td><a href="https://wg21.link/cwg2355">2355</a></td>
     <td>DR</td>
     <td>Deducing <I>noexcept-specifier</I>s</td>
     <td class="none" align="center">Unknown</td>
   </tr>
   <tr id="2356">
<tr id="2393">
     <td>NAD</td>
     <td>Pseudo-destructors and object lifetime</td>
     <td class="none" align="center">Unknown</td>
   </tr>
   <tr id="2394">
     <td><a href="https://wg21.link/cwg2394">2394</a></td>
     <td>CD5</td>
     <td>Const-default-constructible for members</td>
-    <td class="unreleased" align="center">Clang 15</td>
+    <td class="full" align="center">Clang 15</td>
   </tr>
   <tr class="open" id="2395">
     <td><a href="https://wg21.link/cwg2395">2395</a></td>
     <td>open</td>
     <td>Parameters following a pack expansion</td>
     <td align="center">Not resolved</td>
   </tr>
   <tr id="2396">
<tr class="open" id="2564">
     <td>open</td>
     <td>Conversion to function pointer with an explicit object parameter</td>
     <td align="center">Not resolved</td>
   </tr>
   <tr class="open" id="2565">
     <td><a href="https://wg21.link/cwg2565">2565</a></td>
     <td>open</td>
     <td>Invalid types in the <I>parameter-declaration-clause</I> of a <I>requires-expression</I></td>
-    <td class="full" align="center">Clang 16</td>
+    <td class="unreleased" align="center">Clang 16</td>
   </tr>
   <tr class="open" id="2566">
     <td><a href="https://wg21.link/cwg2566">2566</a></td>
     <td>open</td>
     <td>Matching deallocation for uncaught exception</td>
     <td align="center">Not resolved</td>
   </tr>
   <tr class="open" id="2567">

clang/www/make_cxx_dr_status

 <table width="689" border="1" cellspacing="0">
   <tr>
     <th>Number</th>
     <th>Status</th>
     <th>Issue title</th>
     <th>Available in Clang?</th>
   </tr>''')
 
-latest_release = 13
+latest_release = 15
 
 def availability(issue):
   status = status_map.get(issue, 'unknown')
   avail_suffix = ''
   if status.endswith(' c++11'):
     status = status[:-6]
     avail_suffix = ' (C++11 onwards)'
   elif status.endswith(' c++14'):
def availability(issue):
   return (avail + avail_suffix, avail_style)
 
 count = {}
 for dr in drs:
   if dr.status in ('concepts',):
     # This refers to the old ("C++0x") concepts feature, which was not part
     # of any C++ International Standard or Technical Specification.
     continue
-  if dr.status in ('open', 'concurrency', 'drafting', 'review', 'extension'):
+  if dr.issue in (1432,2565):
+    row_style = ' class="open"'
+    avail, avail_style = availability(dr.issue)
+  elif dr.status in ('open', 'concurrency', 'drafting', 'review', 'extension'):
     # We may have to deal with these some day, but not yet.
     row_style = ' class="open"'
     if dr.status == 'extension':
       avail = 'Extension'
     else:
       avail = 'Not resolved'
     avail_style = ''
     assert dr.issue not in status_map, "have status for not-ready dr %s" % dr.issue
   else:
     row_style = ''
     avail, avail_style = availability(dr.issue)
     if not avail.startswith('Sup') and not avail.startswith('Dup'):
       count[avail] = count.get(avail, 0) + 1
 
   out_file.write('''
   <tr%s id="%s">
     <td><a href="https://wg21.link/cwg%s">%s</a></td>
     <td>%s</td>
     <td>%s</td>
     <td%s align="center">%s</td>
   </tr>''' % (row_style, dr.issue, dr.issue, dr.issue, dr.status, dr.title, avail_style, avail))
 
 for status, num in sorted(count.items()):
-  print("%s: %s" % (status, num))
+  print("%s: %s" % (status, num), file=sys.stderr)
 
 out_file.write('''\
 </table>
 
 </div>
 </body>
 </html>
 ''')
 out_file.close()