fix the case of non copyable subobjects

Author: cor3ntin

clang/lib/Sema/SemaTypeTraits.cpp

@@ -1167,16 +1167,22 @@ static bool EvaluateUnaryTypeTrait(Sema &Self, TypeTrait UTT,
       return true;
     if (!(RD->hasTrivialDestructor() && (!Dtor || !Dtor->isDeleted())))
       return false;
+    if (RD->hasTrivialDefaultConstructor())
+      return true;
     bool FoundCopyCtr = false;
     bool FoundMoveCtr = false;
+    bool FoundDefaultCtr = false;
     for (CXXConstructorDecl *Ctr : RD->ctors()) {
-      FoundCopyCtr = Ctr->isCopyConstructor();
-      FoundMoveCtr = Ctr->isMoveConstructor();
       if (Ctr->isIneligibleOrNotSelected() || Ctr->isDeleted())
         continue;
       if (Ctr->isTrivial())
         return true;
+      FoundCopyCtr = Ctr->isCopyConstructor();
+      FoundMoveCtr = Ctr->isMoveConstructor();
+      FoundDefaultCtr = Ctr->isDefaultConstructor();
     }
+    if (!FoundDefaultCtr && RD->hasTrivialDefaultConstructor())
+      return true;
     if (!FoundCopyCtr && RD->hasTrivialCopyConstructor() &&
         !RD->defaultedCopyConstructorIsDeleted())
       return true;

clang/test/SemaCXX/type-traits.cpp

@@ -2075,7 +2075,17 @@ struct Ctr2 {
   NoEligibleTrivialContructor inner;
 };
 
+struct NonCopyable{
+    NonCopyable() = default;
+    NonCopyable(const NonCopyable&) = delete;
+};
+
+class C {
+    NonCopyable nc;
+};
+
 static_assert(__builtin_is_implicit_lifetime(Ctr));
+static_assert(__builtin_is_implicit_lifetime(C));
 static_assert(!__builtin_is_implicit_lifetime(NoEligibleTrivialContructor));
 static_assert(__builtin_is_implicit_lifetime(NonAggregate));
 static_assert(!__builtin_is_implicit_lifetime(DataMemberInitializer));