[clang] Mark CWG562 as N/A
authorVlad Serebrennikov <serebrennikov.vladislav@gmail.com>
Fri, 7 Apr 2023 13:57:09 +0000 (17:57 +0400)
committerVlad Serebrennikov <serebrennikov.vladislav@gmail.com>
Fri, 7 Apr 2023 14:33:56 +0000 (18:33 +0400)
[[https://wg21.link/p1787 | P1787]]: CWG562 is resolved by defining lookup as occurring from a program point.
Wording: A single search in a scope S for a name N from a program point P finds all declarations that precede P to which any name that is the same as N ([basic.pre]) is bound in S. ([basic.lookup]/2)

Reviewed By: #clang-language-wg, cor3ntin, shafik

Differential Revision: https://reviews.llvm.org/D147554

clang/test/CXX/drs/dr5xx.cpp
clang/www/cxx_dr_status.html

index b5b7be1..d75b1b5 100644 (file)
@@ -3,6 +3,7 @@
 // RUN: %clang_cc1 -std=c++14 %s -verify -fexceptions -fcxx-exceptions -pedantic-errors
 // RUN: %clang_cc1 -std=c++17 %s -verify -fexceptions -fcxx-exceptions -pedantic-errors
 // RUN: %clang_cc1 -std=c++20 %s -verify -fexceptions -fcxx-exceptions -pedantic-errors
+// RUN: %clang_cc1 -std=c++2b %s -verify -fexceptions -fcxx-exceptions -pedantic-errors
 
 // FIXME: This is included to avoid a diagnostic with no source location
 // pointing at the implicit operator new. We can't match such a diagnostic
@@ -643,6 +644,8 @@ namespace dr561 { // dr561: yes
   }
 }
 
+// dr562: na
+
 namespace dr564 { // dr564: yes
   extern "C++" void f(int);
   void f(int); // ok
index 8d3268b..7cbb729 100755 (executable)
@@ -3413,7 +3413,7 @@ and <I>POD class</I></td>
     <td><a href="https://wg21.link/cwg562">562</a></td>
     <td>CD6</td>
     <td><I>qualified-id</I>s in non-expression contexts</td>
-    <td class="none" align="center">Unknown</td>
+    <td class="na" align="center">N/A</td>
   </tr>
   <tr id="563">
     <td><a href="https://wg21.link/cwg563">563</a></td>