Home
last modified time | relevance | path

Searched refs:static_assert (Results 1 – 25 of 4318) sorted by relevance

12345678910>>...173

/llvm-project/clang/test/SemaCXX/
H A Dtype-traits.cpp216 static_assert(__is_pod(int)); in is_pod()
217 static_assert(__is_pod(Enum)); in is_pod()
218 static_assert(__is_pod(POD)); in is_pod()
219 static_assert(__is_pod(Int)); in is_pod()
220 static_assert(__is_pod(IntAr)); in is_pod()
221 static_assert(__is_pod(Statics)); in is_pod()
222 static_assert(__is_pod(Empty)); in is_pod()
223 static_assert(__is_pod(EmptyUnion)); in is_pod()
224 static_assert(__is_pod(Union)); in is_pod()
225 static_assert(__is_po in is_pod()
[all...]
H A Dconstexpr-string.cpp53 static_assert(n == 5);
55 static_assert(wn == 5);
69 static_assert(__builtin_strcmp("abab", "abab") == 0);
70 static_assert(__builtin_strcmp("abab", "abba") == -1);
71 static_assert(__builtin_strcmp("abab", "abaa") == 1);
72 static_assert(__builtin_strcmp("ababa", "abab") == 1);
73 static_assert(__builtin_strcmp("abab", "ababa") == -1);
74 static_assert(__builtin_strcmp("a\203", "a") == 1);
75 static_assert(__builtin_strcmp("a\203", "a\003") == 1);
76 static_assert(__builtin_strcmp("abab\0banana", "abab") == 0);
[all …]
H A Dcomplex-folding.cpp6 static_assert((0.0 + 0.0j) == (0.0 + 0.0j));
7 static_assert((0.0 + 0.0j) != (0.0 + 0.0j)); // expected-error {{static assertion}} \
10 static_assert((0.0 + 0.0j) == 0.0);
11 static_assert(0.0 == (0.0 + 0.0j));
12 static_assert(0.0 == 0.0j);
13 static_assert((0.0 + 1.0j) != 0.0);
14 static_assert(1.0 != (0.0 + 0.0j));
15 static_assert(0.0 != 1.0j);
19 static_assert((1.0 + 0.0j) == (0.0 + 0.0j)); // expected-error {{static assertion}} \
21 static_assert((1.0 + 0.0j) == (1.0 + 0.0j));
[all …]
/llvm-project/libcxx/test/std/concepts/concepts.compare/concept.equalitycomparable/
H A Dequality_comparable_with.compile.pass.cpp36 static_assert(std::equality_comparable_with<U, T> == result);
37 static_assert(std::equality_comparable_with<T, U const> == result); in check_equality_comparable_with()
38 static_assert(std::equality_comparable_with<T const, U const> == result); in check_equality_comparable_with()
39 static_assert(std::equality_comparable_with<T, U const&> == result); in check_equality_comparable_with()
40 static_assert(std::equality_comparable_with<T const, U const&> == result); in check_equality_comparable_with()
41 static_assert(std::equality_comparable_with<T&, U const> == result); in check_equality_comparable_with()
42 static_assert(std::equality_comparable_with<T const&, U const> == result); in check_equality_comparable_with()
43 static_assert(std::equality_comparable_with<T&, U const&> == result); in check_equality_comparable_with()
44 static_assert(std::equality_comparable_with<T const&, U const&> == result); in check_equality_comparable_with()
45 static_assert(st in check_equality_comparable_with()
[all...]
H A Dequality_comparable.compile.pass.cpp31 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*>);
35 static_assert(std::equality_comparable<char const*>);
36 static_assert(std::equality_comparable<char volatile*>);
37 static_assert(std::equality_comparable<char const volatile*>);
38 static_assert(std::equality_comparable<wchar_t&>);
39 static_assert(std::equality_comparable<char8_t const&>);
40 static_assert(st
[all...]
/llvm-project/libcxx/test/std/concepts/concepts.compare/concepts.totallyordered/
H A Dtotally_ordered_with.compile.pass.cpp31 static_assert(std::totally_ordered_with<U, T> == result);
32 static_assert(std::totally_ordered_with<T, U const> == result); in check_totally_ordered_with()
33 static_assert(std::totally_ordered_with<T const, U const> == result); in check_totally_ordered_with()
34 static_assert(std::totally_ordered_with<T, U const&> == result); in check_totally_ordered_with()
35 static_assert(std::totally_ordered_with<T const, U const&> == result); in check_totally_ordered_with()
36 static_assert(std::totally_ordered_with<T&, U const> == result); in check_totally_ordered_with()
37 static_assert(std::totally_ordered_with<T const&, U const> == result); in check_totally_ordered_with()
38 static_assert(std::totally_ordered_with<T&, U const&> == result); in check_totally_ordered_with()
39 static_assert(std::totally_ordered_with<T const&, U const&> == result); in check_totally_ordered_with()
40 static_assert(st in check_totally_ordered_with()
[all...]
H A Dtotally_ordered.compile.pass.cpp43 static_assert(models_totally_ordered<int>());
44 static_assert(models_totally_ordered<double>());
45 static_assert(models_totally_ordered<void*>());
46 static_assert(models_totally_ordered<char*>());
47 static_assert(models_totally_ordered<char const*>());
48 static_assert(models_totally_ordered<char volatile*>());
49 static_assert(models_totally_ordered<char const volatile*>());
50 static_assert(models_totally_ordered<wchar_t&>());
51 static_assert(models_totally_ordered<char8_t const&>());
52 static_assert(models_totally_ordere
[all...]
/llvm-project/libcxx/test/std/concepts/concepts.lang/concept.commonref/
H A Dcommon_reference.compile.pass.cpp21 static_assert(std::common_reference_with<T, U&>); in CheckCommonReferenceWith()
22 static_assert(std::common_reference_with<T, const U&>); in CheckCommonReferenceWith()
23 static_assert(std::common_reference_with<T, volatile U&>); in CheckCommonReferenceWith()
24 static_assert(std::common_reference_with<T, const volatile U&>); in CheckCommonReferenceWith()
25 static_assert(std::common_reference_with<T, U&&>); in CheckCommonReferenceWith()
26 static_assert(std::common_reference_with<T, const U&&>); in CheckCommonReferenceWith()
27 static_assert(std::common_reference_with<T, volatile U&&>); in CheckCommonReferenceWith()
28 static_assert(std::common_reference_with<T, const volatile U&&>); in CheckCommonReferenceWith()
29 static_assert(std::common_reference_with<T&, U&&>); in CheckCommonReferenceWith()
30 static_assert(st in CheckCommonReferenceWith()
[all...]
/llvm-project/libcxx/test/std/concepts/concepts.callable/concept.invocable/
H A Dinvocable.compile.pass.cpp24 static_assert(std::invocable<R(Args...) noexcept, Args...> == result); in check_invocable()
25 static_assert(std::invocable<R (*)(Args...), Args...> == result); in check_invocable()
26 static_assert(std::invocable<R (*)(Args...) noexcept, Args...> == result); in check_invocable()
27 static_assert(std::invocable<R (&)(Args...), Args...> == result); in check_invocable()
28 static_assert(std::invocable<R (&)(Args...) noexcept, Args...> == result); in check_invocable()
33 static_assert(check_invocable<void>());
34 static_assert(check_invocable<void, int>());
35 static_assert(check_invocable<void, int&>());
36 static_assert(check_invocable<void, int*, double>());
37 static_assert(check_invocabl
[all...]
/llvm-project/libcxx/test/std/concepts/concepts.callable/concept.regularinvocable/
H A Dregular_invocable.compile.pass.cpp23 static_assert(std::regular_invocable<R(Args...) noexcept, Args...> == result); in check_invocable()
24 static_assert(std::regular_invocable<R (*)(Args...), Args...> == result); in check_invocable()
25 static_assert(std::regular_invocable<R (*)(Args...) noexcept, Args...> == in check_invocable()
27 static_assert(std::regular_invocable<R (&)(Args...), Args...> == result); in check_invocable()
28 static_assert(std::regular_invocable<R (&)(Args...) noexcept, Args...> == in check_invocable()
34 static_assert(check_invocable<void>());
35 static_assert(check_invocable<void, int>());
36 static_assert(check_invocable<void, int&>());
37 static_assert(check_invocable<void, int*, double>());
38 static_assert(check_invocabl
[all...]
/llvm-project/clang/test/AST/Interp/
H A Dliterals.cpp
H A Dcomplex.cpp
/llvm-project/libcxx/test/std/concepts/concepts.object/
H A Dregular.compile.pass.cpp30 static_assert(std::regular<int>);
31 static_assert(std::regular<float>);
32 static_assert(std::regular<double>);
33 static_assert(std::regular<long double>);
34 static_assert(std::regular<int volatile>);
35 static_assert(std::regular<void*>);
36 static_assert(std::regular<int*>);
37 static_assert(std::regular<int const*>);
38 static_assert(std::regular<int volatile*>);
39 static_assert(std::regular<int volatile const*>);
[all …]
H A Dmovable.compile.pass.cpp34 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*>);
38 static_assert(std::movable<int volatile*>);
39 static_assert(std::movable<int const volatile*>);
40 static_assert(std::movable<int (*)()>);
43 static_assert(std::movable<S>);
44 static_assert(std::movable<int S::*>);
45 static_assert(std::movable<int (S::*)()>);
[all …]
H A Dsemiregular.compile.pass.cpp29 static_assert(std::semiregular<int>);
30 static_assert(std::semiregular<int volatile>);
31 static_assert(std::semiregular<int*>);
32 static_assert(std::semiregular<int const*>);
33 static_assert(std::semiregular<int volatile*>);
34 static_assert(std::semiregular<int volatile const*>);
35 static_assert(std::semiregular<int (*)()>);
38 static_assert(std::semiregular<S>);
39 static_assert(std::semiregular<int S::*>);
40 static_assert(std::semiregular<int (S::*)()>);
[all …]
H A Dcopyable.compile.pass.cpp27 static_assert(std::copyable<int>);
28 static_assert(std::copyable<int volatile>);
29 static_assert(std::copyable<int*>);
30 static_assert(std::copyable<int const*>);
31 static_assert(std::copyable<int volatile*>);
32 static_assert(std::copyable<int volatile const*>);
33 static_assert(std::copyable<int (*)()>);
36 static_assert(std::copyable<S>);
37 static_assert(std::copyable<int S::*>);
38 static_assert(std::copyable<int (S::*)()>);
[all …]
/llvm-project/libcxx/test/std/concepts/concepts.lang/concept.common/
H A Dcommon_with.compile.pass.cpp22 static_assert(std::common_with<T, U&> == result); in CheckCommonWith()
23 static_assert(std::common_with<T, const U&> == result); in CheckCommonWith()
24 static_assert(std::common_with<T, volatile U&> == result); in CheckCommonWith()
25 static_assert(std::common_with<T, const volatile U&> == result); in CheckCommonWith()
26 static_assert(std::common_with<T, U&&> == result); in CheckCommonWith()
27 static_assert(std::common_with<T, const U&&> == result); in CheckCommonWith()
28 static_assert(std::common_with<T, volatile U&&> == result); in CheckCommonWith()
29 static_assert(std::common_with<T, const volatile U&&> == result); in CheckCommonWith()
30 static_assert(std::common_with<T&, U&&> == result); in CheckCommonWith()
31 static_assert(st in CheckCommonWith()
[all...]
/llvm-project/libcxx/test/libcxx/utilities/meta/
H A Dis_referenceable.pass.cpp24 static_assert((!std::__libcpp_is_referenceable<void>::value), "");
25 static_assert((std::__libcpp_is_referenceable<int>::value), "");
26 static_assert((std::__libcpp_is_referenceable<int[3]>::value), "");
27 static_assert((std::__libcpp_is_referenceable<int[]>::value), "");
28 static_assert((std::__libcpp_is_referenceable<int&>::value), "");
29 static_assert((std::__libcpp_is_referenceable<const int&>::value), "");
30 static_assert((std::__libcpp_is_referenceable<int*>::value), "");
31 static_assert((std::__libcpp_is_referenceable<const int*>::value), "");
32 static_assert((std::__libcpp_is_referenceable<Foo>::value), "");
33 static_assert((std::__libcpp_is_referenceable<const Foo>::value), "");
[all …]
/llvm-project/libcxx/test/std/concepts/concepts.lang/concept.swappable/
H A Dswappable_with.compile.pass.cpp34 static_assert(std::swappable_with<T, U> == std::swappable_with<U, T>); in check_swappable_with_impl()
40 static_assert(!check_swappable_with_impl<T, U>()); in check_swappable_with()
41 static_assert(!check_swappable_with_impl<T, U const>()); in check_swappable_with()
42 static_assert(!check_swappable_with_impl<T const, U>()); in check_swappable_with()
43 static_assert(!check_swappable_with_impl<T const, U const>()); in check_swappable_with()
45 static_assert(!check_swappable_with_impl<T, U&>()); in check_swappable_with()
46 static_assert(!check_swappable_with_impl<T, U const&>()); in check_swappable_with()
47 static_assert(!check_swappable_with_impl<T, U volatile&>()); in check_swappable_with()
48 static_assert(!check_swappable_with_impl<T, U const volatile&>()); in check_swappable_with()
49 static_assert(!check_swappable_with_impl<T const, U&>()); in check_swappable_with()
[all …]
/llvm-project/libcxx/test/std/iterators/iterator.requirements/iterator.assoc.types/readable.traits/
H A Dindirectly_readable_traits.compile.pass.cpp34 static_assert(value_type_matches<T const*, T> == result); in check_pointer()
35 static_assert(value_type_matches<T volatile*, T> == result); in check_pointer()
36 static_assert(value_type_matches<T const volatile*, T> == result); in check_pointer()
38 static_assert(value_type_matches<T* const, T> == result); in check_pointer()
39 static_assert(value_type_matches<T const* const, T> == result); in check_pointer()
40 static_assert(value_type_matches<T volatile* const, T> == result); in check_pointer()
41 static_assert(value_type_matches<T const volatile* const, T> == result); in check_pointer()
48 static_assert(value_type_matches<T[], T>); in check_array()
49 static_assert(value_type_matches<T const[], T>); in check_array()
50 static_assert(value_type_matche in check_array()
[all...]
/llvm-project/libcxx/test/std/concepts/concepts.lang/concept.derived/
H A Dderived_from.pass.cpp31 static_assert(!std::derived_from<From*, To>); in CheckNotDerivedFromPointer()
32 static_assert(!std::derived_from<From*, const To>); in CheckNotDerivedFromPointer()
33 static_assert(!std::derived_from<From*, volatile To>); in CheckNotDerivedFromPointer()
34 static_assert(!std::derived_from<From*, const volatile To>); in CheckNotDerivedFromPointer()
37 static_assert(!std::derived_from<From*, To&>); in CheckNotDerivedFromPointer()
38 static_assert(!std::derived_from<From*, const To&>); in CheckNotDerivedFromPointer()
39 static_assert(!std::derived_from<From*, volatile To&>); in CheckNotDerivedFromPointer()
40 static_assert(!std::derived_from<From*, const volatile To&>); in CheckNotDerivedFromPointer()
42 static_assert(!std::derived_from<From*, To&&>); in CheckNotDerivedFromPointer()
43 static_assert(!std::derived_from<From*, const To&&>); in CheckNotDerivedFromPointer()
[all …]
/llvm-project/libcxx/test/std/iterators/predef.iterators/move.iterators/move.iterator/
H A Diterator_concept_conformance.compile.pass.cpp24 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()
27 static_assert(!std::sentinel_for<iterator, iterator>); // not copyable in test()
28 static_assert(!std::sized_sentinel_for<iterator, iterator>); in test()
29 static_assert(!std::indirectly_movable<int*, iterator>); in test()
30 static_assert(!std::indirectly_movable_storable<int*, iterator>); in test()
31 static_assert(!std::indirectly_copyable<int*, iterator>); in test()
32 static_assert(!std::indirectly_copyable_storable<int*, iterator>); in test()
33 static_assert( std::indirectly_readable<iterator>); in test()
[all …]
/llvm-project/libcxx/test/std/language.support/cmp/cmp.concept/
H A Dthree_way_comparable_with.compile.pass.cpp22 static_assert(std::three_way_comparable_with<U, T, Cat> == result); in check_three_way_comparable_with()
23 static_assert(std::three_way_comparable_with<T, U const, Cat> == result); in check_three_way_comparable_with()
24 static_assert(std::three_way_comparable_with<T const, U const, Cat> == result); in check_three_way_comparable_with()
25 static_assert(std::three_way_comparable_with<T, U const&, Cat> == result); in check_three_way_comparable_with()
26 static_assert(std::three_way_comparable_with<T const, U const&, Cat> == result); in check_three_way_comparable_with()
27 static_assert(std::three_way_comparable_with<T, U const&&, Cat> == result); in check_three_way_comparable_with()
28 static_assert(std::three_way_comparable_with<T const, U const&&, Cat> == result); in check_three_way_comparable_with()
30 static_assert(std::three_way_comparable_with<T&, U const, Cat> == result); in check_three_way_comparable_with()
31 static_assert(std::three_way_comparable_with<T const&, U const, Cat> == result); in check_three_way_comparable_with()
32 static_assert(st in check_three_way_comparable_with()
[all...]
H A Dthree_way_comparable.compile.pass.cpp22 static_assert(std::three_way_comparable<int>);
23 static_assert(std::three_way_comparable<double>);
24 static_assert(std::three_way_comparable<void*>);
25 static_assert(std::three_way_comparable<char*>);
26 static_assert(std::three_way_comparable<char const*>);
27 static_assert(std::three_way_comparable<char volatile*>);
28 static_assert(std::three_way_comparable<char const volatile*>);
29 static_assert(std::three_way_comparable<wchar_t&>);
31 static_assert(std::three_way_comparable<char8_t const&>);
33 static_assert(st
[all...]
/llvm-project/clang/test/Preprocessor/
H A Dembed_art.c18 static_assert(sizeof(data) == 274);
19 static_assert(' ' == data[0]);
20 static_assert('_' == data[11]);
21 static_assert('\n' == data[273]);
22 static_assert(sizeof(data2) == 275);
23 static_assert(' ' == data2[0]);
24 static_assert('_' == data2[11]);
25 static_assert('\n' == data2[273]);
26 static_assert('\0' == data2[274]);
27 static_assert(sizeof(data3) == 275);
[all …]

12345678910>>...173