[clang] [clang] Implement a bitwise_copyable builtin type trait. (PR #86512)

Sam McCall via cfe-commits cfe-commits at lists.llvm.org
Wed Mar 27 10:36:02 PDT 2024


================
@@ -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


More information about the cfe-commits mailing list