| /llvm-project-15.0.7/libcxx/test/std/concepts/concepts.compare/concept.equalitycomparable/ |
| H A D | equality_comparable_with.compile.pass.cpp | 77 static_assert( 80 static_assert( 82 static_assert( 89 static_assert( 92 static_assert( 94 static_assert( 107 static_assert( 119 static_assert( 122 static_assert( 124 static_assert( [all …]
|
| H A D | equality_comparable.compile.pass.cpp | 31 static_assert(std::equality_comparable<int>); 32 static_assert(std::equality_comparable<double>); 33 static_assert(std::equality_comparable<void*>); 34 static_assert(std::equality_comparable<char*>); 78 static_assert( 122 static_assert( 124 static_assert( 126 static_assert( 128 static_assert( 130 static_assert( [all …]
|
| /llvm-project-15.0.7/libcxx/test/std/concepts/concepts.compare/concepts.totallyordered/ |
| H A D | totally_ordered_with.pass.cpp | 74 static_assert( 77 static_assert( 82 static_assert( 85 static_assert( 88 static_assert( 98 static_assert( 112 static_assert( 115 static_assert( 120 static_assert( 123 static_assert( [all …]
|
| H A D | totally_ordered.pass.cpp | 44 static_assert(models_totally_ordered<int>()); 46 static_assert(models_totally_ordered<void*>()); 47 static_assert(models_totally_ordered<char*>()); 70 static_assert(!std::totally_ordered<S>); 97 static_assert(!std::totally_ordered<void>); 133 static_assert(!std::totally_ordered<no_eq>); 135 static_assert(!std::totally_ordered<no_lt>); 150 static_assert( 152 static_assert( 154 static_assert( [all …]
|
| /llvm-project-15.0.7/libcxx/test/std/concepts/concepts.lang/concept.commonref/ |
| H A D | common_reference.compile.pass.cpp | 44 static_assert( in CheckCommonReferenceWith() 80 static_assert( 90 static_assert( 94 static_assert( 112 static_assert( 114 static_assert( 150 static_assert( 154 static_assert( 177 static_assert( 181 static_assert( [all …]
|
| /llvm-project-15.0.7/libcxx/test/std/concepts/concepts.callable/concept.invocable/ |
| H A D | invocable.compile.pass.cpp | 94 static_assert( 99 static_assert( 132 static_assert( 137 static_assert( 145 static_assert( 147 static_assert( 150 static_assert( 152 static_assert( 154 static_assert( 187 static_assert( [all …]
|
| /llvm-project-15.0.7/libcxx/test/std/concepts/concepts.callable/concept.regularinvocable/ |
| H A D | regular_invocable.compile.pass.cpp | 84 static_assert( 89 static_assert( 96 static_assert( 98 static_assert( 100 static_assert( 103 static_assert( 105 static_assert( 139 static_assert( 141 static_assert( 145 static_assert( [all …]
|
| /llvm-project-15.0.7/libcxx/test/std/concepts/concepts.object/ |
| H A D | regular.compile.pass.cpp | 30 static_assert(std::regular<int>); 31 static_assert(std::regular<float>); 32 static_assert(std::regular<double>); 35 static_assert(std::regular<void*>); 36 static_assert(std::regular<int*>); 43 static_assert(!std::regular<S>); 44 static_assert(std::regular<int S::*>); 71 static_assert(!std::regular<U>); 113 static_assert(!std::regular<void>); 114 static_assert(!std::regular<int&>); [all …]
|
| H A D | movable.compile.pass.cpp | 34 static_assert(std::movable<int>); 35 static_assert(std::movable<int volatile>); 36 static_assert(std::movable<int*>); 37 static_assert(std::movable<int const*>); 40 static_assert(std::movable<int (*)()>); 43 static_assert(std::movable<S>); 44 static_assert(std::movable<int S::*>); 80 static_assert(!std::movable<int&>); 84 static_assert(!std::movable<int&&>); 88 static_assert(!std::movable<int()>); [all …]
|
| H A D | semiregular.compile.pass.cpp | 29 static_assert(std::semiregular<int>); 31 static_assert(std::semiregular<int*>); 32 static_assert(std::semiregular<int const*>); 35 static_assert(std::semiregular<int (*)()>); 38 static_assert(std::semiregular<S>); 39 static_assert(std::semiregular<int S::*>); 78 static_assert(!std::semiregular<void>); 79 static_assert(!std::semiregular<int&>); 83 static_assert(!std::semiregular<int&&>); 87 static_assert(!std::semiregular<int()>); [all …]
|
| H A D | copyable.compile.pass.cpp | 27 static_assert(std::copyable<int>); 29 static_assert(std::copyable<int*>); 30 static_assert(std::copyable<int const*>); 33 static_assert(std::copyable<int (*)()>); 36 static_assert(std::copyable<S>); 37 static_assert(std::copyable<int S::*>); 76 static_assert(!std::copyable<void>); 77 static_assert(!std::copyable<int&>); 81 static_assert(!std::copyable<int&&>); 85 static_assert(!std::copyable<int()>); [all …]
|
| /llvm-project-15.0.7/clang/test/SemaCXX/ |
| H A D | constexpr-string.cpp | 53 static_assert(n == 5); 55 static_assert(wn == 5); 91 static_assert(__builtin_strncmp(0, 0, 0) == 0); 103 static_assert(__builtin_memcmp(0, 0, 0) == 0); 114 static_assert(__builtin_memcmp(0, 0, 0) == 0); 128 static_assert(__builtin_bcmp(0, 0, 0) == 0); 444 static_assert(char_memchr_mutable()); 535 static_assert(test_memcpy(1, 2, 4) == 1334); 536 static_assert(test_memcpy(2, 1, 4) == 1224); 540 static_assert(test_memcpy(0, 3, 4) == 4234); [all …]
|
| H A D | complex-folding.cpp | 5 static_assert((0.0 + 0.0j) == (0.0 + 0.0j)); 8 static_assert((0.0 + 0.0j) == 0.0); 9 static_assert(0.0 == (0.0 + 0.0j)); 10 static_assert(0.0 == 0.0j); 11 static_assert((0.0 + 1.0j) != 0.0); 12 static_assert(1.0 != (0.0 + 0.0j)); 13 static_assert(0.0 != 1.0j); 18 static_assert((1.0 + 0.0j) == (1.0 + 0.0j)); 20 static_assert((1.0 + 1.0j) == (1.0 + 1.0j)); 22 static_assert((0.0 + 1.0j) == (0.0 + 1.0j)); [all …]
|
| /llvm-project-15.0.7/libcxx/test/std/concepts/concepts.lang/concept.common/ |
| H A D | common_with.compile.pass.cpp | 98 static_assert( 101 static_assert( 119 static_assert( 121 static_assert( 276 static_assert(requires { 279 static_assert(requires { 309 static_assert(requires { 314 static_assert( 334 static_assert(requires { 339 static_assert( [all …]
|
| /llvm-project-15.0.7/libcxx/test/std/depr/depr.c.headers/ |
| H A D | math_h.pass.cpp | 116 static_assert( in test_abs() 130 static_assert(!has_abs<unsigned>::value, ""); in test_abs() 131 static_assert(!has_abs<unsigned long>::value, ""); in test_abs() 132 static_assert(!has_abs<unsigned long long>::value, ""); in test_abs() 670 static_assert((std::is_same<DoubleRetType, bool>::value), ""); in test_isinf() 675 static_assert((std::is_same<DoubleRetType, bool>::value in test_isinf() 750 static_assert((std::is_same<DoubleRetType, bool>::value), ""); in test_isnan() 755 static_assert((std::is_same<DoubleRetType, bool>::value in test_isnan() 846 static_assert((std::is_same<decltype(cbrt((unsigned int) 0)), in test_cbrt() 849 static_assert((std::is_same<decltype(cbrt((unsigned long) 0)), in test_cbrt() [all …]
|
| H A D | stdint_h.pass.cpp | 28 static_assert(sizeof(int8_t)*CHAR_BIT == 8, in main() 30 static_assert(std::is_signed<int8_t>::value, in main() 33 static_assert(sizeof(int16_t)*CHAR_BIT == 16, in main() 35 static_assert(std::is_signed<int16_t>::value, in main() 38 static_assert(sizeof(int32_t)*CHAR_BIT == 32, in main() 40 static_assert(std::is_signed<int32_t>::value, in main() 43 static_assert(sizeof(int64_t)*CHAR_BIT == 64, in main() 45 static_assert(std::is_signed<int64_t>::value, in main() 49 static_assert(sizeof(uint8_t)*CHAR_BIT == 8, in main() 54 static_assert(sizeof(uint16_t)*CHAR_BIT == 16, in main() [all …]
|
| /llvm-project-15.0.7/libcxx/test/libcxx/utilities/meta/ |
| H A D | is_referenceable.pass.cpp | 24 static_assert((!std::__is_referenceable<void>::value), ""); 25 static_assert(( std::__is_referenceable<int>::value), ""); 26 static_assert(( std::__is_referenceable<int[3]>::value), ""); 27 static_assert(( std::__is_referenceable<int[]>::value), ""); 28 static_assert(( std::__is_referenceable<int &>::value), ""); 30 static_assert(( std::__is_referenceable<int *>::value), ""); 32 static_assert(( std::__is_referenceable<Foo>::value), ""); 33 static_assert(( std::__is_referenceable<const Foo>::value), ""); 34 static_assert(( std::__is_referenceable<Foo &>::value), ""); 37 static_assert(( std::__is_referenceable<Foo &&>::value), ""); [all …]
|
| /llvm-project-15.0.7/libcxx/test/std/iterators/iterator.requirements/iterator.assoc.types/readable.traits/ |
| H A D | indirectly_readable_traits.compile.pass.cpp | 67 static_assert(check_pointer<int>()); 68 static_assert(check_pointer<int*>()); 69 static_assert(check_pointer<int[10]>()); 70 static_assert(!check_pointer<void>()); 71 static_assert(!check_pointer<int()>()); 73 static_assert(check_array<int>()); 74 static_assert(check_array<int*>()); 75 static_assert(check_array<int[10]>()); 138 static_assert(has_no_value_type<S2&>); 149 static_assert(has_no_value_type<void>); [all …]
|
| /llvm-project-15.0.7/libcxx/test/std/concepts/concepts.lang/concept.swappable/ |
| H A D | swappable_with.compile.pass.cpp | 76 static_assert( in check_swappable_with() 162 static_assert( 164 static_assert( 166 static_assert( 169 static_assert( 171 static_assert( 175 static_assert( 182 static_assert( 209 static_assert( 211 static_assert( [all …]
|
| /llvm-project-15.0.7/libcxx/test/std/iterators/predef.iterators/move.iterators/move.iterator/ |
| H A D | iterator_concept_conformance.compile.pass.cpp | 24 static_assert( std::copyable<iterator>); in test() 25 static_assert( std::input_iterator<iterator>); in test() 26 static_assert(!std::forward_iterator<iterator>); in test() 41 static_assert(!std::copyable<iterator>); in test() 42 static_assert( std::input_iterator<iterator>); in test() 58 static_assert( std::copyable<iterator>); in test() 59 static_assert( std::input_iterator<iterator>); in test() 75 static_assert( std::copyable<iterator>); in test() 92 static_assert( std::copyable<iterator>); in test() 109 static_assert( std::copyable<iterator>); in test() [all …]
|
| /llvm-project-15.0.7/libcxx/test/std/language.support/cmp/cmp.concept/ |
| H A D | three_way_comparable_with.compile.pass.cpp | 21 static_assert(std::three_way_comparable_with<U, T, Cat> == result); in check_three_way_comparable_with() 46 static_assert(check_three_way_comparable_with<int, int>()); 47 static_assert(check_three_way_comparable_with<int, char>()); 49 static_assert(check_three_way_comparable_with<int, double>()); 50 static_assert(check_three_way_comparable_with<int*, int*>()); 60 static_assert(!check_three_way_comparable_with<int, bool>()); 61 static_assert(!check_three_way_comparable_with<int, int*>()); 62 static_assert(!check_three_way_comparable_with<int, int[5]>()); 99 static_assert(!check_three_way_comparable_with<void, int>()); 100 static_assert(!check_three_way_comparable_with<void, int*>()); [all …]
|
| H A D | three_way_comparable.compile.pass.cpp | 21 static_assert(std::three_way_comparable<int>); 22 static_assert(std::three_way_comparable<double>); 23 static_assert(std::three_way_comparable<void*>); 24 static_assert(std::three_way_comparable<char*>); 25 static_assert(std::three_way_comparable<char const*>); 26 static_assert(std::three_way_comparable<char volatile*>); 28 static_assert(std::three_way_comparable<wchar_t&>); 75 static_assert(!std::three_way_comparable<int[5]>); 81 static_assert(!std::three_way_comparable<void>); 84 static_assert(!std::three_way_comparable<int S::*>); [all …]
|
| /llvm-project-15.0.7/libcxx/test/std/concepts/concepts.lang/concept.derived/ |
| H A D | derived_from.pass.cpp | 31 static_assert(!std::derived_from<From*, To>); in CheckNotDerivedFromPointer() 70 static_assert( in CheckNotDerivedFromPointer() 76 static_assert( in CheckNotDerivedFromPointer() 81 static_assert(!std::derived_from<From, To*>); in CheckNotDerivedFromPointer() 120 static_assert( in CheckNotDerivedFromPointer() 126 static_assert( in CheckNotDerivedFromPointer() 255 static_assert( in CheckNotDerivedFromReference() 292 static_assert( in CheckNotDerivedFromReference() 298 static_assert( in CheckNotDerivedFromReference() 321 static_assert(std::derived_from<From, To>); in CheckDerivedFrom() [all …]
|
| /llvm-project-15.0.7/libcxx/test/std/concepts/concepts.lang/concept.moveconstructible/ |
| H A D | move_constructible.compile.pass.cpp | 19 static_assert(std::move_constructible<int>); 20 static_assert(std::move_constructible<int*>); 21 static_assert(std::move_constructible<int&>); 22 static_assert(std::move_constructible<int&&>); 23 static_assert(std::move_constructible<const int>); 24 static_assert(std::move_constructible<const int&>); 29 static_assert(std::move_constructible<int (*)()>); 30 static_assert(std::move_constructible<int (&)()>); 33 static_assert(std::move_constructible<MoveOnly>); 48 static_assert(!std::move_constructible<void>); [all …]
|
| /llvm-project-15.0.7/libcxx/test/std/containers/views/views.span/span.cons/ |
| H A D | assign.pass.cpp | 72 static_assert(std::size(spans) == 13, "" ); in main() 75 static_assert(doAssign(spans[0], spans[0]), ""); in main() 76 static_assert(doAssign(spans[0], spans[1]), ""); in main() 77 static_assert(doAssign(spans[0], spans[2]), ""); in main() 78 static_assert(doAssign(spans[0], spans[3]), ""); in main() 79 static_assert(doAssign(spans[0], spans[4]), ""); in main() 80 static_assert(doAssign(spans[0], spans[5]), ""); in main() 81 static_assert(doAssign(spans[0], spans[6]), ""); in main() 82 static_assert(doAssign(spans[0], spans[7]), ""); in main() 83 static_assert(doAssign(spans[0], spans[8]), ""); in main() [all …]
|