This revision was automatically updated to reflect the committed changes.
Closed by commit rG35392660e6d5: [AST][SVE] Treat built-in SVE types as
trivially copyable (authored by rsandifo-arm).
Repository:
rG LLVM Github Monorepo
CHANGES SINCE LAST ACTION
https://reviews.llvm.org/D76691/new/
https://reviews.llvm.org/D76691
Files:
clang/lib/AST/Type.cpp
clang/test/SemaCXX/sizeless-1.cpp
Index: clang/test/SemaCXX/sizeless-1.cpp
===================================================================
--- clang/test/SemaCXX/sizeless-1.cpp
+++ clang/test/SemaCXX/sizeless-1.cpp
@@ -478,6 +478,7 @@
(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 @@
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
Index: clang/lib/AST/Type.cpp
===================================================================
--- clang/lib/AST/Type.cpp
+++ clang/lib/AST/Type.cpp
@@ -2303,6 +2303,9 @@
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())
Index: clang/test/SemaCXX/sizeless-1.cpp
===================================================================
--- clang/test/SemaCXX/sizeless-1.cpp
+++ clang/test/SemaCXX/sizeless-1.cpp
@@ -478,6 +478,7 @@
(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 @@
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
Index: clang/lib/AST/Type.cpp
===================================================================
--- clang/lib/AST/Type.cpp
+++ clang/lib/AST/Type.cpp
@@ -2303,6 +2303,9 @@
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())
_______________________________________________
cfe-commits mailing list
cfe-commits@lists.llvm.org
https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits
