shafik added inline comments.

================
Comment at: clang/test/CXX/drs/dr20xx.cpp:20
+// FIXME: the following code shouldn't instantiate A<void>.
+// int b = (&b2)->foo;
+}
----------------
shafik wrote:
> It looks like gcc and MSVC also instantiate `A<void>` for this case: 
> https://godbolt.org/z/8W8eYoa38
> 
> I have to think about it some more but if we believe clang is wrong here, you 
> should file a bug report.
I think [unary &](https://eel.is/c++draft/over.match.oper#3.3) is triggering 
the instantiation. 


Repository:
  rG LLVM Github Monorepo

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

https://reviews.llvm.org/D147839

_______________________________________________
cfe-commits mailing list
cfe-commits@lists.llvm.org
https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits

Reply via email to