19081d3d8SHaojian Wu // RUN: %check_clang_tidy %s cert-dcl16-c %t -- -- -I %clang_tidy_headers
289a1d03eSRichard // RUN: grep -Ev "// *[A-Z-]+:" %s > %t.cpp
39081d3d8SHaojian Wu // RUN: clang-tidy %t.cpp -checks='-*,cert-dcl16-c' -fix -- -I %clang_tidy_headers
49081d3d8SHaojian Wu // RUN: clang-tidy %t.cpp -checks='-*,cert-dcl16-c' -warnings-as-errors='-*,cert-dcl16-c' -- -I %clang_tidy_headers
589a1d03eSRichard
69081d3d8SHaojian Wu #include "integral_constant.h"
789a1d03eSRichard
integer_suffix()889a1d03eSRichard void integer_suffix() {
989a1d03eSRichard static constexpr auto v0 = __LINE__; // synthetic
1089a1d03eSRichard static_assert(v0 == 9 || v0 == 5, "");
1189a1d03eSRichard
1289a1d03eSRichard static constexpr auto v1 = __cplusplus; // synthetic, long
1389a1d03eSRichard
1489a1d03eSRichard static constexpr auto v2 = 1; // no literal
1589a1d03eSRichard static_assert(is_same<decltype(v2), const int>::value, "");
1689a1d03eSRichard static_assert(v2 == 1, "");
1789a1d03eSRichard
1889a1d03eSRichard // Unsigned
1989a1d03eSRichard
2089a1d03eSRichard static constexpr auto v3 = 1u;
2189a1d03eSRichard static_assert(is_same<decltype(v3), const unsigned int>::value, "");
2289a1d03eSRichard static_assert(v3 == 1, "");
2389a1d03eSRichard
2489a1d03eSRichard static constexpr auto v4 = 1U; // OK.
2589a1d03eSRichard static_assert(is_same<decltype(v4), const unsigned int>::value, "");
2689a1d03eSRichard static_assert(v4 == 1, "");
2789a1d03eSRichard
2889a1d03eSRichard // Long
2989a1d03eSRichard
3089a1d03eSRichard static constexpr auto v5 = 1l;
3189a1d03eSRichard // CHECK-MESSAGES: :[[@LINE-1]]:30: warning: integer literal has suffix 'l', which is not uppercase
3289a1d03eSRichard // CHECK-MESSAGES-NEXT: static constexpr auto v5 = 1l;
3389a1d03eSRichard // CHECK-MESSAGES-NEXT: ^~
34*f63155aaSTimm Bäder // CHECK-MESSAGES-NEXT: {{^ *| *}}L{{$}}
3589a1d03eSRichard // CHECK-FIXES: static constexpr auto v5 = 1L;
3689a1d03eSRichard static_assert(is_same<decltype(v5), const long>::value, "");
3789a1d03eSRichard static_assert(v5 == 1, "");
3889a1d03eSRichard
3989a1d03eSRichard static constexpr auto v6 = 1L; // OK.
4089a1d03eSRichard static_assert(is_same<decltype(v6), const long>::value, "");
4189a1d03eSRichard static_assert(v6 == 1, "");
4289a1d03eSRichard
4389a1d03eSRichard // Long Long
4489a1d03eSRichard
4589a1d03eSRichard static constexpr auto v7 = 1ll;
4689a1d03eSRichard // CHECK-MESSAGES: :[[@LINE-1]]:30: warning: integer literal has suffix 'll', which is not uppercase
4789a1d03eSRichard // CHECK-MESSAGES-NEXT: static constexpr auto v7 = 1ll;
4889a1d03eSRichard // CHECK-MESSAGES-NEXT: ^~~
49*f63155aaSTimm Bäder // CHECK-MESSAGES-NEXT: {{^ *| *}}LL{{$}}
5089a1d03eSRichard // CHECK-FIXES: static constexpr auto v7 = 1LL;
5189a1d03eSRichard static_assert(is_same<decltype(v7), const long long>::value, "");
5289a1d03eSRichard static_assert(v7 == 1, "");
5389a1d03eSRichard
5489a1d03eSRichard static constexpr auto v8 = 1LL; // OK.
5589a1d03eSRichard static_assert(is_same<decltype(v8), const long long>::value, "");
5689a1d03eSRichard static_assert(v8 == 1, "");
5789a1d03eSRichard
5889a1d03eSRichard // Unsigned Long
5989a1d03eSRichard
6089a1d03eSRichard static constexpr auto v9 = 1ul;
6189a1d03eSRichard static_assert(is_same<decltype(v9), const unsigned long>::value, "");
6289a1d03eSRichard static_assert(v9 == 1, "");
6389a1d03eSRichard
6489a1d03eSRichard static constexpr auto v10 = 1uL;
6589a1d03eSRichard static_assert(is_same<decltype(v10), const unsigned long>::value, "");
6689a1d03eSRichard static_assert(v10 == 1, "");
6789a1d03eSRichard
6889a1d03eSRichard static constexpr auto v11 = 1Ul;
6989a1d03eSRichard static_assert(is_same<decltype(v11), const unsigned long>::value, "");
7089a1d03eSRichard static_assert(v11 == 1, "");
7189a1d03eSRichard
7289a1d03eSRichard static constexpr auto v12 = 1UL; // OK.
7389a1d03eSRichard static_assert(is_same<decltype(v12), const unsigned long>::value, "");
7489a1d03eSRichard static_assert(v12 == 1, "");
7589a1d03eSRichard
7689a1d03eSRichard // Long Unsigned
7789a1d03eSRichard
7889a1d03eSRichard static constexpr auto v13 = 1lu;
7989a1d03eSRichard // CHECK-MESSAGES: :[[@LINE-1]]:31: warning: integer literal has suffix 'lu', which is not uppercase
8089a1d03eSRichard // CHECK-MESSAGES-NEXT: static constexpr auto v13 = 1lu;
8189a1d03eSRichard // CHECK-MESSAGES-NEXT: ^~~
82*f63155aaSTimm Bäder // CHECK-MESSAGES-NEXT: {{^ *| *}}LU{{$}}
8389a1d03eSRichard // CHECK-FIXES: static constexpr auto v13 = 1LU;
8489a1d03eSRichard static_assert(is_same<decltype(v13), const unsigned long>::value, "");
8589a1d03eSRichard static_assert(v13 == 1, "");
8689a1d03eSRichard
8789a1d03eSRichard static constexpr auto v14 = 1Lu;
8889a1d03eSRichard // CHECK-MESSAGES: :[[@LINE-1]]:31: warning: integer literal has suffix 'Lu', which is not uppercase
8989a1d03eSRichard // CHECK-MESSAGES-NEXT: static constexpr auto v14 = 1Lu;
9089a1d03eSRichard // CHECK-MESSAGES-NEXT: ^~~
91*f63155aaSTimm Bäder // CHECK-MESSAGES-NEXT: {{^ *| *}}LU{{$}}
9289a1d03eSRichard // CHECK-FIXES: static constexpr auto v14 = 1LU;
9389a1d03eSRichard static_assert(is_same<decltype(v14), const unsigned long>::value, "");
9489a1d03eSRichard static_assert(v14 == 1, "");
9589a1d03eSRichard
9689a1d03eSRichard static constexpr auto v15 = 1lU;
9789a1d03eSRichard // CHECK-MESSAGES: :[[@LINE-1]]:31: warning: integer literal has suffix 'lU', which is not uppercase
9889a1d03eSRichard // CHECK-MESSAGES-NEXT: static constexpr auto v15 = 1lU;
9989a1d03eSRichard // CHECK-MESSAGES-NEXT: ^~~
100*f63155aaSTimm Bäder // CHECK-MESSAGES-NEXT: {{^ *| *}}LU{{$}}
10189a1d03eSRichard // CHECK-FIXES: static constexpr auto v15 = 1LU;
10289a1d03eSRichard static_assert(is_same<decltype(v15), const unsigned long>::value, "");
10389a1d03eSRichard static_assert(v15 == 1, "");
10489a1d03eSRichard
10589a1d03eSRichard static constexpr auto v16 = 1LU; // OK.
10689a1d03eSRichard static_assert(is_same<decltype(v16), const unsigned long>::value, "");
10789a1d03eSRichard static_assert(v16 == 1, "");
10889a1d03eSRichard
10989a1d03eSRichard // Unsigned Long Long
11089a1d03eSRichard
11189a1d03eSRichard static constexpr auto v17 = 1ull;
11289a1d03eSRichard static_assert(is_same<decltype(v17), const unsigned long long>::value, "");
11389a1d03eSRichard static_assert(v17 == 1, "");
11489a1d03eSRichard
11589a1d03eSRichard static constexpr auto v18 = 1uLL;
11689a1d03eSRichard static_assert(is_same<decltype(v18), const unsigned long long>::value, "");
11789a1d03eSRichard static_assert(v18 == 1, "");
11889a1d03eSRichard
11989a1d03eSRichard static constexpr auto v19 = 1Ull;
12089a1d03eSRichard static_assert(is_same<decltype(v19), const unsigned long long>::value, "");
12189a1d03eSRichard static_assert(v19 == 1, "");
12289a1d03eSRichard
12389a1d03eSRichard static constexpr auto v20 = 1ULL; // OK.
12489a1d03eSRichard static_assert(is_same<decltype(v20), const unsigned long long>::value, "");
12589a1d03eSRichard static_assert(v20 == 1, "");
12689a1d03eSRichard
12789a1d03eSRichard // Long Long Unsigned
12889a1d03eSRichard
12989a1d03eSRichard static constexpr auto v21 = 1llu;
13089a1d03eSRichard // CHECK-MESSAGES: :[[@LINE-1]]:31: warning: integer literal has suffix 'llu', which is not uppercase
13189a1d03eSRichard // CHECK-MESSAGES-NEXT: static constexpr auto v21 = 1llu;
13289a1d03eSRichard // CHECK-MESSAGES-NEXT: ^~~~
133*f63155aaSTimm Bäder // CHECK-MESSAGES-NEXT: {{^ *| *}}LLU{{$}}
13489a1d03eSRichard // CHECK-FIXES: static constexpr auto v21 = 1LLU;
13589a1d03eSRichard static_assert(is_same<decltype(v21), const unsigned long long>::value, "");
13689a1d03eSRichard static_assert(v21 == 1, "");
13789a1d03eSRichard
13889a1d03eSRichard static constexpr auto v22 = 1LLu;
13989a1d03eSRichard // CHECK-MESSAGES: :[[@LINE-1]]:31: warning: integer literal has suffix 'LLu', which is not uppercase
14089a1d03eSRichard // CHECK-MESSAGES-NEXT: static constexpr auto v22 = 1LLu;
14189a1d03eSRichard // CHECK-MESSAGES-NEXT: ^~~~
142*f63155aaSTimm Bäder // CHECK-MESSAGES-NEXT: {{^ *| *}}LLU{{$}}
14389a1d03eSRichard // CHECK-FIXES: static constexpr auto v22 = 1LLU;
14489a1d03eSRichard static_assert(is_same<decltype(v22), const unsigned long long>::value, "");
14589a1d03eSRichard static_assert(v22 == 1, "");
14689a1d03eSRichard
14789a1d03eSRichard static constexpr auto v23 = 1llU;
14889a1d03eSRichard // CHECK-MESSAGES: :[[@LINE-1]]:31: warning: integer literal has suffix 'llU', which is not uppercase
14989a1d03eSRichard // CHECK-MESSAGES-NEXT: static constexpr auto v23 = 1llU;
15089a1d03eSRichard // CHECK-MESSAGES-NEXT: ^~~~
151*f63155aaSTimm Bäder // CHECK-MESSAGES-NEXT: {{^ *| *}}LLU{{$}}
15289a1d03eSRichard // CHECK-FIXES: static constexpr auto v23 = 1LLU;
15389a1d03eSRichard static_assert(is_same<decltype(v23), const unsigned long long>::value, "");
15489a1d03eSRichard static_assert(v23 == 1, "");
15589a1d03eSRichard
15689a1d03eSRichard static constexpr auto v24 = 1LLU; // OK.
15789a1d03eSRichard static_assert(is_same<decltype(v24), const unsigned long long>::value, "");
15889a1d03eSRichard static_assert(v24 == 1, "");
15989a1d03eSRichard }
160