xref: /llvm-project/clang-tools-extra/test/clang-tidy/checkers/misc/static-assert.c (revision 89a1d03e2b379e325daa5249411e414bbd995b5e) 
1*89a1d03eSRichard // RUN: %check_clang_tidy %s misc-static-assert %t -- -- -std=c11
2*89a1d03eSRichard // RUN: clang-tidy %s -checks=-*,misc-static-assert -- -std=c99 | count 0
3*89a1d03eSRichard 
abort(void)4*89a1d03eSRichard void abort(void) {}
5*89a1d03eSRichard #ifdef NDEBUG
6*89a1d03eSRichard #define assert(x) 1
7*89a1d03eSRichard #else
8*89a1d03eSRichard #define assert(x)                                                              \
9*89a1d03eSRichard   if (!(x))                                                                    \
10*89a1d03eSRichard   abort()
11*89a1d03eSRichard #endif
12*89a1d03eSRichard 
f(void)13*89a1d03eSRichard void f(void) {
14*89a1d03eSRichard   int x = 1;
15*89a1d03eSRichard   assert(x == 0);
16*89a1d03eSRichard   // CHECK-FIXES: {{^  }}assert(x == 0);
17*89a1d03eSRichard 
18*89a1d03eSRichard   #define static_assert(x, msg) _Static_assert(x, msg)
19*89a1d03eSRichard   assert(11 == 5 + 6);
20*89a1d03eSRichard   // CHECK-MESSAGES: :[[@LINE-1]]:3: warning: found assert() that could be
21*89a1d03eSRichard   // CHECK-FIXES: {{^  }}static_assert(11 == 5 + 6, "");
22*89a1d03eSRichard   #undef static_assert
23*89a1d03eSRichard 
24*89a1d03eSRichard   assert(10 == 5 + 5);
25*89a1d03eSRichard   // CHECK-MESSAGES: :[[@LINE-1]]:3: warning: found assert() that could be
26*89a1d03eSRichard   // CHECK-FIXES: {{^  }}static_assert(10 == 5 + 5, "");
27*89a1d03eSRichard }
28