[PATCH] D147920: [clang] Add test for CWG399

Sun Apr 23 07:06:42 PDT 2023

aaron.ballman added a subscriber: hubert.reinterpretcast.
aaron.ballman added inline comments.

================
Comment at: clang/test/CXX/drs/dr3xx.cpp:1439
+
+namespace dr399 { // dr399: 11
+                  // NB: reuse dr244 test 
----------------
shafik wrote:
> Endill wrote:
> > shafik wrote:
> > > Endill wrote:
> > > > Despite a couple of FIXME in CWG244 test (out of dozens of examples), it claims full availability since Clang 11. I'd take a more conservative approach, declaring partial support, but I think that declaring different availability for the same test would bring unnecessary confusion. So I followed CWG244 availability.
> > > > 
> > > > Alternative is to demote CWG244 to partial, but I'm not sure we should go back on our claims for CWG support that has been out for so long.
> > > I think the bugs are not awful, we should file bug reports if we don't already have them. Some of them seem like they should be not too bad to fix.
> > > 
> > > CC @aaron.ballman to get a second opinion
> > If we are to file bug reports, I'm not sure what wording makes those examples ill-formed. Is it [[ http://eel.is/c++draft/basic.lookup#qual.general-4.6 | qual.general-4.6 ]]: `The type-name that is or contains Q shall refer to its (original) lookup context (ignoring cv-qualification) under the interpretation established by at least one (successful) lookup performed.`? I interpret it as requiring names to the left and to the right of `~` to be found in the same scope (lookup context; `namespace dr244` in our case). Could it actually mean that they have to refer to the same type?
> I am not sure maybe @rsmith might be able to help us here.
I think we want to start being more conservative with claiming support for features and DRs, and that means being more honest with "partial" markings (with comments as to WHY the support is only partial, what's still left to be done, etc). I don't think it's a problem to say "we've discovered enough issues with this that we no longer claim to support it" when that's accurate.

I don't think we have a hard and fast rule for when a bug is sufficiently worrying to merit partial vs full support; it's going to depend on the situation, I think. Failing to diagnose incorrect code is a different kind of problem from diagnosing correct code from crashing bugs from etc. and it's going to be up to the patch author and reviewers to make a value judgement. But that's why I think it's fine for us to update the status when we learn more information, too.

That said, when we do have partial support, we definitely need to file issues to address the remaining bits at some point.

> I interpret it as requiring names to the left and to the right of ~ to be found in the same scope (lookup context; namespace dr244 in our case). Could it actually mean that they have to refer to the same type?

I've read that wording a few times now and can't make heads or tails of what it's trying to say. Perhaps @rsmith or @hubert.reinterpretcast can help illuminate us?

Repository:
  rG LLVM Github Monorepo

CHANGES SINCE LAST ACTION
  https://reviews.llvm.org/D147920/new/

https://reviews.llvm.org/D147920