[clang] [Clang][Sema] Fix incorrect rejection default construction of union with nontrivial member (PR #82407)

Aaron Ballman via cfe-commits cfe-commits at lists.llvm.org
Fri Mar 1 09:09:02 PST 2024


================
@@ -9442,9 +9442,21 @@ bool SpecialMemberDeletionInfo::shouldDeleteForSubobjectCall(
 
   int DiagKind = -1;
 
-  if (SMOR.getKind() == Sema::SpecialMemberOverloadResult::NoMemberOrDeleted)
-    DiagKind = !Decl ? 0 : 1;
-  else if (SMOR.getKind() == Sema::SpecialMemberOverloadResult::Ambiguous)
+  if (SMOR.getKind() == Sema::SpecialMemberOverloadResult::NoMemberOrDeleted) {
+    if (CSM == Sema::CXXDefaultConstructor && Field &&
+        Field->getParent()->isUnion()) {
+      // [class.default.ctor]p2:
+      //   A defaulted default constructor for class X is defined as deleted if
+      //   - X is a union that has a variant member with a non-trivial default
+      //     constructor and no variant member of X has a default member
+      //     initializer
+      const auto *RD = cast<CXXRecordDecl>(Field->getParent());
+      if (!RD->hasInClassInitializer())
+        DiagKind = !Decl ? 0 : 1;
----------------
AaronBallman wrote:

FWIW, I ran into exactly the same issue that Erich did in noticing that both branches do `DiagKind = !Decl ? 0 : 1;`.  That two of us ran into the same readability issue suggests that this should be modified to be more clear.

https://github.com/llvm/llvm-project/pull/82407


More information about the cfe-commits mailing list