Author: Richard Sandiford Date: 2020-03-27T17:32:55Z New Revision: 35392660e6d5cb8d47e1fd33995d660576eff5de
URL: https://github.com/llvm/llvm-project/commit/35392660e6d5cb8d47e1fd33995d660576eff5de DIFF: https://github.com/llvm/llvm-project/commit/35392660e6d5cb8d47e1fd33995d660576eff5de.diff LOG: [AST][SVE] Treat built-in SVE types as trivially copyable SVE types are trivially copyable: they can be copied simply by reproducing the byte representation of the source object. Differential Revision: https://reviews.llvm.org/D76691 Added: Modified: clang/lib/AST/Type.cpp clang/test/SemaCXX/sizeless-1.cpp Removed: ################################################################################ diff --git a/clang/lib/AST/Type.cpp b/clang/lib/AST/Type.cpp index d21dcdf97d2a..44d3dbc806d8 100644 --- a/clang/lib/AST/Type.cpp +++ b/clang/lib/AST/Type.cpp @@ -2303,6 +2303,9 @@ bool QualType::isTriviallyCopyableType(const ASTContext &Context) const { if (CanonicalType->isDependentType()) return false; + if (CanonicalType->isSizelessBuiltinType()) + return true; + // Return false for incomplete types after skipping any incomplete array types // which are expressly allowed by the standard and thus our API. if (CanonicalType->isIncompleteType()) diff --git a/clang/test/SemaCXX/sizeless-1.cpp b/clang/test/SemaCXX/sizeless-1.cpp index b472f1856f08..3d0f07ccc74a 100644 --- a/clang/test/SemaCXX/sizeless-1.cpp +++ b/clang/test/SemaCXX/sizeless-1.cpp @@ -478,6 +478,7 @@ void cxx_only(int sel) { (void)typeid(ref_int8); (void)typeid(static_int8_ptr); + _Static_assert(__is_trivially_copyable(svint8_t), ""); _Static_assert(__is_trivially_destructible(svint8_t), ""); _Static_assert(!__is_nothrow_assignable(svint8_t, svint8_t), ""); _Static_assert(__is_nothrow_assignable(svint8_t &, svint8_t), ""); @@ -591,9 +592,7 @@ void cxx_only(int sel) { for (const svint8_t &x : wrapper<svint8_t>()) { // expected-warning {{loop variable 'x' binds to a temporary value produced by a range of type 'wrapper<svint8_t>'}} expected-note {{use non-reference type}} (void)x; } - // This warning is bogus and will be removed by a later patch. - // The point is to show that it's being removed for the right reasons. - for (const svint8_t x : wrapper<const svint8_t &>()) { // expected-warning {{loop variable 'x' creates a copy from type 'const svint8_t'}} expected-note {{use reference type}} + for (const svint8_t x : wrapper<const svint8_t &>()) { (void)x; } #endif _______________________________________________ cfe-commits mailing list cfe-commits@lists.llvm.org https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits
