Home
last modified time | relevance | path

Searched refs:_Static_assert (Results 1 – 25 of 92) sorted by relevance

1234

/llvm-project-15.0.7/clang/test/Headers/
H A Dstdint.c27 _Static_assert(SIG_ATOMIC_WIDTH >= 8);
28 _Static_assert(SIZE_WIDTH >= 16);
30 _Static_assert(WCHAR_WIDTH >= 8);
32 _Static_assert(WINT_WIDTH >= 16);
33 _Static_assert(UINTPTR_WIDTH >= 16);
41 _Static_assert(UINTMAX_WIDTH >= 64);
48 _Static_assert(PTRDIFF_WIDTH >= 16);
56 _Static_assert(INT8_WIDTH == 8, "");
81 _Static_assert(INT16_WIDTH == 16, "");
106 _Static_assert(INT24_WIDTH == 24, "");
[all …]
H A Dlimits.cpp17 _Static_assert(INT_MAX == UINT_MAX/2, "");
22 _Static_assert(INT_MIN == -INT_MAX-1, "");
30 _Static_assert(MB_LEN_MAX >= 1, "");
32 _Static_assert(CHAR_BIT >= 8, "");
49 _Static_assert(BOOL_WIDTH >= 1);
51 _Static_assert(CHAR_WIDTH == CHAR_BIT);
53 _Static_assert(SCHAR_WIDTH == CHAR_BIT);
58 _Static_assert(USHRT_WIDTH >= 16);
63 _Static_assert(UINT_WIDTH >= 16);
68 _Static_assert(ULONG_WIDTH >= 32);
[all …]
H A Dtgmath.c16 _Static_assert(sizeof(creal(f)) == sizeof(f), "");
17 _Static_assert(sizeof(creal(d)) == sizeof(d), "");
18 _Static_assert(sizeof(creal(l)) == sizeof(l), "");
20 _Static_assert(sizeof(creal(fc)) == sizeof(f), "");
21 _Static_assert(sizeof(creal(dc)) == sizeof(d), "");
22 _Static_assert(sizeof(creal(lc)) == sizeof(l), "");
26 _Static_assert(sizeof(fabs(f)) == sizeof(f), "");
27 _Static_assert(sizeof(fabs(d)) == sizeof(d), "");
28 _Static_assert(sizeof(fabs(l)) == sizeof(l), "");
36 _Static_assert(sizeof(logb(f)) == sizeof(f), "");
[all …]
H A Dfloat.c212 _Static_assert(FLT_RADIX == __FLT_RADIX__, "");
214 _Static_assert(FLT_MANT_DIG == __FLT_MANT_DIG__, "");
215 _Static_assert(DBL_MANT_DIG == __DBL_MANT_DIG__, "");
225 _Static_assert(DECIMAL_DIG == __DECIMAL_DIG__, "");
228 _Static_assert(FLT_DIG == __FLT_DIG__, "");
229 _Static_assert(DBL_DIG == __DBL_DIG__, "");
230 _Static_assert(LDBL_DIG == __LDBL_DIG__, "");
232 _Static_assert(FLT_MIN_EXP == __FLT_MIN_EXP__, "");
233 _Static_assert(DBL_MIN_EXP == __DBL_MIN_EXP__, "");
240 _Static_assert(FLT_MAX_EXP == __FLT_MAX_EXP__, "");
[all …]
H A Dc11.c19 _Static_assert(__alignas_is_defined, "");
20 _Static_assert(__alignof_is_defined, "");
22 _Static_assert(__alignof(c) == 4, "");
27 _Static_assert(sizeof(max_align_t) >= sizeof(long long), "");
28 _Static_assert(alignof(max_align_t) >= alignof(long long), "");
29 _Static_assert(sizeof(max_align_t) >= sizeof(long double), "");
30 _Static_assert(alignof(max_align_t) >= alignof(long double), "");
33 _Static_assert(sizeof(max_align_t) == sizeof(double), "");
H A Dfloat16.c20 _Static_assert(FLT16_MIN_10_EXP == __FLT16_MIN_10_EXP__, "");
28 _Static_assert(FLT16_MIN_EXP == __FLT16_MIN_EXP__, "");
36 _Static_assert(FLT16_MAX_10_EXP == __FLT16_MAX_10_EXP__, "");
44 _Static_assert(FLT16_MAX_EXP == __FLT16_MAX_EXP__, "");
52 _Static_assert(FLT16_DECIMAL_DIG == __FLT16_DECIMAL_DIG__, "");
60 _Static_assert(FLT16_DIG == __FLT16_DIG__, "");
68 _Static_assert(FLT16_MANT_DIG == __FLT16_MANT_DIG__, "");
/llvm-project-15.0.7/clang/test/SemaCXX/
H A Dsizeless-1.cpp480 _Static_assert(!__is_class(svint8_t), ""); in cxx_only()
483 _Static_assert(!__is_empty(svint8_t), ""); in cxx_only()
484 _Static_assert(!__is_enum(svint8_t), ""); in cxx_only()
485 _Static_assert(!__is_final(svint8_t), ""); in cxx_only()
487 _Static_assert(__is_pod(svint8_t), ""); in cxx_only()
489 _Static_assert(__is_trivial(svint8_t), ""); in cxx_only()
490 _Static_assert(__is_object(svint8_t), ""); in cxx_only()
494 _Static_assert(!__is_void(svint8_t), ""); in cxx_only()
495 _Static_assert(!__is_array(svint8_t), ""); in cxx_only()
511 _Static_assert(__is_object(svint8_t), ""); in cxx_only()
[all …]
/llvm-project-15.0.7/clang/test/Sema/
H A Dext-int.c32 _Static_assert(EXPR_HAS_TYPE(x4_s - x4_s, _BitInt(4)), ""); in Ops()
37 _Static_assert(EXPR_HAS_TYPE(x4_s++, _BitInt(4)), ""); in Ops()
38 _Static_assert(EXPR_HAS_TYPE(++x4_s, _BitInt(4)), ""); in Ops()
41 _Static_assert(EXPR_HAS_TYPE(+x4_s, _BitInt(4)), ""); in Ops()
42 _Static_assert(EXPR_HAS_TYPE(-x4_s, _BitInt(4)), ""); in Ops()
46 _Static_assert(EXPR_HAS_TYPE(!x4_u, int), ""); in Ops()
51 _Static_assert(EXPR_HAS_TYPE(x32_s + x_int, int), ""); in Ops()
55 _Static_assert(EXPR_HAS_TYPE(x4_s + x_int, int), ""); in Ops()
56 _Static_assert(EXPR_HAS_TYPE(x4_u + x_int, int), ""); in Ops()
68 _Static_assert(EXPR_HAS_TYPE(a2 * a3, _BitInt(3)), ""); in FromPaper1()
[all …]
H A Dstatic-assert.c6 _Static_assert("foo", "string is nonzero"); // ext-warning {{'_Static_assert' is a C11 extension}}
11 _Static_assert(1, "1 is nonzero"); // ext-warning {{'_Static_assert' is a C11 extension}}
12 _Static_assert(0, "0 is nonzero"); // expected-error {{static assertion failed: 0 is nonzero}} \
20 _Static_assert(1, "1 is nonzero"); // ext-warning {{'_Static_assert' is a C11 extension}} in foo()
21 _Static_assert(0, "0 is nonzero"); // expected-error {{static assertion failed: 0 is nonzero}} \ in foo()
33 _Static_assert(1, "1 is nonzero"); // ext-warning {{'_Static_assert' is a C11 extension}}
34 _Static_assert(0, "0 is nonzero"); // expected-error {{static assertion failed: 0 is nonzero}} \
50 _Static_assert(ASSERT_IS_TYPE(T1), "T1 is not a type"); \
51 _Static_assert(ASSERT_IS_TYPE(T2), "T2 is not a type"); \
52 _Static_assert(sizeof(T1) == sizeof(T2), "type size mismatch"); \
[all …]
H A Dauto-type.c9 _Static_assert(__builtin_types_compatible_p(__typeof(a), int), "");
44 _Static_assert(__builtin_types_compatible_p(__typeof(cat), const int), ""); in Issue53652()
45 _Static_assert(__builtin_types_compatible_p(const int, __typeof(cat)), ""); in Issue53652()
46 _Static_assert(__builtin_types_compatible_p(__typeof(pcat), int *const), ""); in Issue53652()
47 _Static_assert(__builtin_types_compatible_p(int *const, __typeof(pcat)), ""); in Issue53652()
48 _Static_assert(__builtin_types_compatible_p(__typeof(vat), volatile int), ""); in Issue53652()
49 _Static_assert(__builtin_types_compatible_p(volatile int, __typeof(vat)), ""); in Issue53652()
52 _Static_assert(__builtin_types_compatible_p(__typeof(rat), int *restrict), ""); in Issue53652()
54 _Static_assert(__builtin_types_compatible_p(__typeof(aat1), _Atomic int), ""); in Issue53652()
55 _Static_assert(__builtin_types_compatible_p(_Atomic int, __typeof(aat1)), ""); in Issue53652()
[all …]
H A Dc2x-bool.c3 _Static_assert(_Generic(true, _Bool : 1, default: 0));
4 _Static_assert(_Generic(false, _Bool : 1, default: 0));
6 _Static_assert(_Generic(true, bool : 1, default: 0));
7 _Static_assert(_Generic(false, bool : 1, default: 0));
9 _Static_assert(_Generic(true, bool : true, default: false));
10 _Static_assert(_Generic(false, bool : true, default: false));
12 _Static_assert(true == (bool)+1);
13 _Static_assert(false == (bool)+0);
15 _Static_assert(_Generic(+true, bool : 0, unsigned int : 0, signed int : 1, default : 0));
20 _Static_assert(_Generic(+s.b, bool : 0, unsigned int : 0, signed int : 1, default : 0));
H A Datomic-ops.c26 _Static_assert(__GCC_ATOMIC_BOOL_LOCK_FREE == 2, "");
28 _Static_assert(__GCC_ATOMIC_CHAR_LOCK_FREE == 2, "");
47 _Static_assert(__c11_atomic_is_lock_free(1), "");
48 _Static_assert(__c11_atomic_is_lock_free(2), "");
50 _Static_assert(__c11_atomic_is_lock_free(4), "");
51 _Static_assert(__c11_atomic_is_lock_free(8), "");
59 _Static_assert(__atomic_is_lock_free(1, 0), "");
60 _Static_assert(__atomic_is_lock_free(2, 0), "");
62 _Static_assert(__atomic_is_lock_free(4, 0), "");
63 _Static_assert(__atomic_is_lock_free(8, 0), "");
[all …]
H A Dbuiltin-align.c59 _Static_assert(check_same_type(_Bool, result_type_ptr), "Should return bool"); in test_return_type()
60 _Static_assert(check_same_type(_Bool, result_type_int), "Should return bool"); in test_return_type()
61 _Static_assert(check_same_type(_Bool, result_type_long), "Should return bool"); in test_return_type()
64 _Static_assert(check_same_type(void *, result_type_ptr), "Should return void*"); in test_return_type()
65 _Static_assert(check_same_type(int, result_type_int), "Should return int"); in test_return_type()
66 _Static_assert(check_same_type(long, result_type_long), "Should return long"); in test_return_type()
68 _Static_assert(check_same_type(char *, result_type_char_array), in test_return_type()
110 _Static_assert(__builtin_is_aligned(1024, 512), ""); in constant_expression()
111 _Static_assert(!__builtin_is_aligned(256, 512ULL), ""); in constant_expression()
112 _Static_assert(__builtin_align_up(33, 32) == 64, ""); in constant_expression()
[all …]
H A Dattr-arm-sve-vector-bits.c184 _Static_assert(sizeof(fixed_int8_t) == VECTOR_SIZE, "");
186 _Static_assert(sizeof(fixed_int16_t) == VECTOR_SIZE, "");
187 _Static_assert(sizeof(fixed_int32_t) == VECTOR_SIZE, "");
188 _Static_assert(sizeof(fixed_int64_t) == VECTOR_SIZE, "");
190 _Static_assert(sizeof(fixed_uint8_t) == VECTOR_SIZE, "");
191 _Static_assert(sizeof(fixed_uint16_t) == VECTOR_SIZE, "");
192 _Static_assert(sizeof(fixed_uint32_t) == VECTOR_SIZE, "");
193 _Static_assert(sizeof(fixed_uint64_t) == VECTOR_SIZE, "");
195 _Static_assert(sizeof(fixed_float16_t) == VECTOR_SIZE, "");
196 _Static_assert(sizeof(fixed_float32_t) == VECTOR_SIZE, "");
[all …]
H A Dsource_location.c19 _Static_assert(IsEqual(__builtin_FILE(), __FILE__), "");
20 _Static_assert(__builtin_LINE() == __LINE__, "");
21 _Static_assert(IsEqual("", __builtin_FUNCTION()), "");
24 _Static_assert(__builtin_LINE() == 42, "");
25 _Static_assert(IsEqual(__builtin_FILE(), "my_file.c"), "");
27 _Static_assert(__builtin_COLUMN() == __builtin_strlen("_Static_assert(_"), "");
30 _Static_assert(IsEqual(__builtin_FUNCTION(), "foo"), ""); in foo()
H A Dconstant-builtins.c44 _Static_assert((__builtin_clz)(1u) >= 15, "");
45 _Static_assert((__builtin_popcount)(1u) == 1, "");
46 _Static_assert((__builtin_ctz)(2u) == 1, "");
47 _Static_assert(_Generic(1u,unsigned:__builtin_clz)(1u) >= 15, "");
48 _Static_assert(_Generic(1u,unsigned:__builtin_popcount)(1u) == 1, "");
49 _Static_assert(_Generic(1u,unsigned:__builtin_ctz)(2u) == 1, "");
55 _Static_assert((__builtin_constant_p(1) ? (***&strlen)("foo") : 0) == 3, "");
H A Dalignas.c25 _Static_assert(alignof(align_big) == alignof(int), "k's alignment is wrong");
26 _Static_assert(alignof(align_small) == 1, "j's alignment is wrong");
27 _Static_assert(alignof(align_multiple) == 8, "l's alignment is wrong");
28 _Static_assert(alignof(struct align_member) == 8, "quuux's alignment is wrong");
29 _Static_assert(sizeof(struct align_member) == 8, "quuux's size is wrong");
/llvm-project-15.0.7/clang/test/Lexer/
H A Dbitint-constants.c54 _Static_assert((int)1wb == 1, "not 1?"); in ValidSuffix()
55 _Static_assert((int)-1wb == -1, "not -1?"); in ValidSuffix()
61 _Static_assert((unsigned int)1uwb == 1u, "not 1?"); in ValidSuffix()
65 _Static_assert((int)1'2wb == 12, "not 12?"); in ValidSuffix()
73 _Static_assert((int)0x0'1'2'3wb == 0x0123, "not 0x0123"); in ValidSuffix()
81 _Static_assert((int)0b1wb == 1, "not 1?"); in ValidSuffix()
82 _Static_assert((unsigned int)0b1uwb == 1u, "not 1?"); in ValidSuffix()
94 _Static_assert((int)0wb == 0, "not 0?"); in ValidSuffix()
95 _Static_assert((unsigned int)0wbu == 0u, "not 0?"); in ValidSuffix()
140 _Static_assert(__BITINT_MAXWIDTH__ <= 128, in ValidSuffixInvalidValue()
[all …]
/llvm-project-15.0.7/clang/test/C/drs/
H A Ddr0xx.c142 _Static_assert(sizeof(i) == 10 * sizeof(int), "fail"); in dr011()
148 _Static_assert(sizeof(dr011_a) == 10 * sizeof(int), "fail"); in dr011()
154 _Static_assert(sizeof(j) == 10 * sizeof(int), "fail"); in dr011()
189 _Static_assert(__builtin_types_compatible_p(__typeof__(+s.int_bitfield), int), "fail"); in dr015()
258 _Static_assert(DR038(DR038_X + DR038_Y) == DR038_X + DR038_Y, "fail");
263 _Static_assert(sizeof('a') == sizeof(int), "fail");
306 _Static_assert(offsetof(struct S, b) == sizeof(int), "fail"); in dr044()
377 _Static_assert('\xFF' == -1, "fail"); in dr068()
380 _Static_assert('\xFF' == 0xFF, "fail"); in dr068()
415 _Static_assert(100 == (int)(enum dr071_t)100, "fail"); in dr071()
[all …]
/llvm-project-15.0.7/clang/test/Parser/
H A Dbuiltin_types_compatible.c48 _Static_assert(__builtin_types_compatible_p(const volatile int, int), ""); in testGccCompatibility()
49 _Static_assert(__builtin_types_compatible_p(int[5], int[]), ""); in testGccCompatibility()
50 _Static_assert(!__builtin_types_compatible_p(int[5], int[4]), ""); in testGccCompatibility()
51 _Static_assert(!__builtin_types_compatible_p(int *, int **), ""); in testGccCompatibility()
52 _Static_assert(!__builtin_types_compatible_p(const int *, int *), ""); in testGccCompatibility()
53 _Static_assert(!__builtin_types_compatible_p(enum E1, enum E2), ""); in testGccCompatibility()
56 _Static_assert(__builtin_types_compatible_p(const int[4], int[4]), ""); in testGccCompatibility()
57 _Static_assert(__builtin_types_compatible_p(int[4], const int[4]), ""); in testGccCompatibility()
58 _Static_assert(__builtin_types_compatible_p(const int[5][4], int[][4]), ""); in testGccCompatibility()
59 _Static_assert(!__builtin_types_compatible_p(const int(*)[], int(*)[]), ""); in testGccCompatibility()
H A Dobjc-static-assert.m17 _Static_assert(1, ""); field
18 _Static_assert(0, ""); // expected-error {{static assertion failed}} field
20 _Static_assert(a, ""); // expected-error {{use of undeclared identifier 'a'}} field
21 _Static_assert(sizeof(a), ""); // expected-error {{use of undeclared identifier 'a'}} field
24 _Static_assert(1, "");
34 // _Static_assert is available before C11 as an extension, but -pedantic
46 _Static_assert(1, ""); field
47 _Static_assert(0, ""); // expected-error {{static assertion failed}} field
50 _Static_assert(1, "");
/llvm-project-15.0.7/clang/test/Frontend/
H A Dmips-long-double.c9 _Static_assert(sizeof(long double) == 8, "sizeof long double is wrong");
10 _Static_assert(_Alignof(long double) == 8, "alignof long double is wrong");
12 _Static_assert(sizeof(long double) == 16, "sizeof long double is wrong");
13 _Static_assert(_Alignof(long double) == 16, "alignof long double is wrong");
16 _Static_assert(sizeof(long double) == 8, "sizeof long double is wrong");
17 _Static_assert(_Alignof(long double) == 8, "alignof long double is wrong");
/llvm-project-15.0.7/clang/test/CodeGen/
H A Dmsp430-builtins.c5 _Static_assert(sizeof(int) == 2, "Assumption failed");
6 _Static_assert(sizeof(long) == 4, "Assumption failed");
7 _Static_assert(sizeof(long long) == 8, "Assumption failed");
8 _Static_assert(sizeof(float) == 4, "Assumption failed");
9 _Static_assert(sizeof(double) == 8, "Assumption failed");
10 _Static_assert(sizeof(long double) == 8, "Assumption failed");
/llvm-project-15.0.7/clang/test/Analysis/
H A Dconstraint_manager_negate.c37 _Static_assert(INT_MIN == -INT_MIN, "");
55 _Static_assert(-INT_MIN == INT_MIN, "");
76 _Static_assert(7u - 3u != 3u - 7u, "");
77 _Static_assert(-4u == UINT_MAX - 3u, "");
87 _Static_assert(UINT_MID == -UINT_MID, "");
102 _Static_assert(1u - 2u == UINT_MAX, "");
103 _Static_assert(2u - 1u == 1, "");
/llvm-project-15.0.7/clang/test/Modules/
H A Dinclude_next.c8 _Static_assert(ax == 1, "");
9 _Static_assert(ay == 2, "");
10 _Static_assert(bx == 3, "");
11 _Static_assert(by == 4, "");

1234