xref: /llvm-project/clang-tools-extra/test/clang-tidy/checkers/modernize/unary-static-assert.cpp (revision 95f50964fbf59dc6394898c0719ce8772cc24d25)
1*89a1d03eSRichard // RUN: %check_clang_tidy -std=c++17-or-later %s modernize-unary-static-assert %t
2*89a1d03eSRichard 
3*89a1d03eSRichard #define FOO static_assert(sizeof(a) <= 15, "");
4*89a1d03eSRichard #define MSG ""
5*89a1d03eSRichard 
f_textless(int a)6*89a1d03eSRichard void f_textless(int a) {
7*89a1d03eSRichard   static_assert(sizeof(a) <= 10, "");
8*89a1d03eSRichard   // CHECK-MESSAGES: :[[@LINE-1]]:3: warning: use unary 'static_assert' when the string literal is an empty string [modernize-unary-static-assert]
9*89a1d03eSRichard   // CHECK-FIXES: {{^}}  static_assert(sizeof(a) <= 10 );{{$}}
10*89a1d03eSRichard   FOO
11*89a1d03eSRichard   // CHECK-FIXES: {{^}}  FOO{{$}}
12*89a1d03eSRichard   static_assert(sizeof(a) <= 17, MSG);
13*89a1d03eSRichard   // CHECK-FIXES: {{^}}  static_assert(sizeof(a) <= 17, MSG);{{$}}
14*89a1d03eSRichard }
15*89a1d03eSRichard 
f_with_tex(int a)16*89a1d03eSRichard void f_with_tex(int a) {
17*89a1d03eSRichard   static_assert(sizeof(a) <= 10, "Size of variable a is out of range!");
18*89a1d03eSRichard }
19*89a1d03eSRichard 
f_unary(int a)20*89a1d03eSRichard void f_unary(int a) { static_assert(sizeof(a) <= 10); }
21*89a1d03eSRichard 
f_incorrect_assert()22*89a1d03eSRichard void f_incorrect_assert() { static_assert(""); }
23