rjmccall added inline comments.

================
Comment at: lib/Sema/SemaDeclCXX.cpp:8229
+  if (FTI.hasMethodTypeCVRUQualifiers()) {
+    FTI.MethodQualifiers->forEachCVRUQualifier(
         [&](DeclSpec::TQ TypeQual, StringRef QualName, SourceLocation SL) {
----------------
We want to catch `_Atomic`, too, so please just change this loop to ignore 
address-space qualifiers, using a flag to decide whether to call 
`setInvalidType`.


================
Comment at: lib/Sema/SemaInit.cpp:3773
+      if (Info.Constructor->getMethodQualifiers().isAddressSpaceSupersetOf(
+              DestType.getQualifiers())) {
+        // C++ [over.match.copy]p1:
----------------
Please add these constructors as candidates and then teach 
`AddOverloadCandidate` to reject them.  If you need to set the destination 
address space on the `OverloadCandidateSet`, I think that would be reasonable.


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

https://reviews.llvm.org/D62156



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

Reply via email to