================ @@ -2667,6 +2667,29 @@ bool QualType::isTriviallyCopyableType(const ASTContext &Context) const { /*IsCopyConstructible=*/false); } +bool QualType::isBitwiseCopyableType(const ASTContext & Context) const { + QualType CanonicalType = getCanonicalType(); + if (CanonicalType->isIncompleteType() || CanonicalType->isDependentType()) + return false; + // Trivially copyable types are bitwise copyable, e.g. scalar types. + if (CanonicalType.isTriviallyCopyableType(Context)) + return true; + + if (CanonicalType->isArrayType()) + return Context.getBaseElementType(CanonicalType) + .isBitwiseCopyableType(Context); + + if (const auto *RD = CanonicalType->getAsCXXRecordDecl()) { ---------------- sam-mccall wrote:
this seems to exclude very few types, like reference members. Is this the right approach? https://github.com/llvm/llvm-project/pull/86512 _______________________________________________ cfe-commits mailing list cfe-commits@lists.llvm.org https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits