| 1 | // RUN: %check_clang_tidy %s readability-uppercase-literal-suffix %t -- -- -target x86_64-pc-linux-gnu -I %clang_tidy_headers |
| 2 | // RUN: grep -Ev "// *[A-Z-]+:" %s > %t.cpp |
| 3 | // RUN: clang-tidy %t.cpp -checks='-*,readability-uppercase-literal-suffix' -fix -- -target x86_64-pc-linux-gnu -I %clang_tidy_headers |
| 4 | // RUN: clang-tidy %t.cpp -checks='-*,readability-uppercase-literal-suffix' -warnings-as-errors='-*,readability-uppercase-literal-suffix' -- -target x86_64-pc-linux-gnu -I %clang_tidy_headers |
| 5 | |
| 6 | #include "integral_constant.h" |
| 7 | |
| 8 | void floating_point_suffix() { |
| 9 | static constexpr auto v0 = 0x0p0; // no literal |
| 10 | static_assert(is_same<decltype(v0), const double>::value, "" ); |
| 11 | static_assert(v0 == 0, "" ); |
| 12 | |
| 13 | // Float |
| 14 | |
| 15 | static constexpr auto v1 = 0xfp0f; |
| 16 | // CHECK-MESSAGES: :[[@LINE-1]]:30: warning: floating point literal has suffix 'f', which is not uppercase |
| 17 | // CHECK-MESSAGES-NEXT: static constexpr auto v1 = 0xfp0f; |
| 18 | // CHECK-MESSAGES-NEXT: ^ ~ |
| 19 | // CHECK-MESSAGES-NEXT: F{{$}} |
| 20 | // CHECK-FIXES: static constexpr auto v1 = 0xfp0F; |
| 21 | static_assert(is_same<decltype(v1), const float>::value, "" ); |
| 22 | static_assert(v1 == 15, "" ); |
| 23 | |
| 24 | static constexpr auto v2 = 0xfp0F; // OK |
| 25 | static_assert(is_same<decltype(v2), const float>::value, "" ); |
| 26 | static_assert(v2 == 15, "" ); |
| 27 | |
| 28 | static constexpr auto v3 = 0xfP0f; |
| 29 | // CHECK-MESSAGES: :[[@LINE-1]]:30: warning: floating point literal has suffix 'f', which is not uppercase |
| 30 | // CHECK-MESSAGES-NEXT: static constexpr auto v3 = 0xfP0f; |
| 31 | // CHECK-MESSAGES-NEXT: ^ ~ |
| 32 | // CHECK-MESSAGES-NEXT: F{{$}} |
| 33 | // CHECK-FIXES: static constexpr auto v3 = 0xfP0F; |
| 34 | static_assert(is_same<decltype(v3), const float>::value, "" ); |
| 35 | static_assert(v3 == 15, "" ); |
| 36 | |
| 37 | static constexpr auto v4 = 0xfP0F; // OK |
| 38 | static_assert(is_same<decltype(v4), const float>::value, "" ); |
| 39 | static_assert(v4 == 15, "" ); |
| 40 | |
| 41 | static constexpr auto v5 = 0xFP0f; |
| 42 | // CHECK-MESSAGES: :[[@LINE-1]]:30: warning: floating point literal has suffix 'f', which is not uppercase |
| 43 | // CHECK-MESSAGES-NEXT: static constexpr auto v5 = 0xFP0f; |
| 44 | // CHECK-MESSAGES-NEXT: ^ ~ |
| 45 | // CHECK-MESSAGES-NEXT: F{{$}} |
| 46 | // CHECK-FIXES: static constexpr auto v5 = 0xFP0F; |
| 47 | static_assert(is_same<decltype(v5), const float>::value, "" ); |
| 48 | static_assert(v5 == 15, "" ); |
| 49 | |
| 50 | static constexpr auto v6 = 0xFP0F; // OK |
| 51 | static_assert(is_same<decltype(v6), const float>::value, "" ); |
| 52 | static_assert(v6 == 15, "" ); |
| 53 | |
| 54 | static constexpr auto v7 = 0xFp0f; |
| 55 | // CHECK-MESSAGES: :[[@LINE-1]]:30: warning: floating point literal has suffix 'f', which is not uppercase |
| 56 | // CHECK-MESSAGES-NEXT: static constexpr auto v7 = 0xFp0f; |
| 57 | // CHECK-MESSAGES-NEXT: ^ ~ |
| 58 | // CHECK-MESSAGES-NEXT: F{{$}} |
| 59 | // CHECK-FIXES: static constexpr auto v7 = 0xFp0F; |
| 60 | static_assert(is_same<decltype(v7), const float>::value, "" ); |
| 61 | static_assert(v7 == 15, "" ); |
| 62 | |
| 63 | static constexpr auto v8 = 0xFp0F; // OK |
| 64 | static_assert(is_same<decltype(v8), const float>::value, "" ); |
| 65 | static_assert(v8 == 15, "" ); |
| 66 | |
| 67 | // long double |
| 68 | |
| 69 | static constexpr auto v9 = 0xfp0l; |
| 70 | // CHECK-MESSAGES: :[[@LINE-1]]:30: warning: floating point literal has suffix 'l', which is not uppercase |
| 71 | // CHECK-MESSAGES-NEXT: static constexpr auto v9 = 0xfp0l; |
| 72 | // CHECK-MESSAGES-NEXT: ^ ~ |
| 73 | // CHECK-MESSAGES-NEXT: L{{$}} |
| 74 | // CHECK-FIXES: static constexpr auto v9 = 0xfp0L; |
| 75 | static_assert(is_same<decltype(v9), const long double>::value, "" ); |
| 76 | static_assert(v9 == 0xfp0, "" ); |
| 77 | |
| 78 | static constexpr auto v10 = 0xfp0L; // OK. |
| 79 | static_assert(is_same<decltype(v10), const long double>::value, "" ); |
| 80 | static_assert(v10 == 0xfp0, "" ); |
| 81 | |
| 82 | // __float128 |
| 83 | |
| 84 | static constexpr auto v11 = 0xfp0q; |
| 85 | // CHECK-MESSAGES: :[[@LINE-1]]:31: warning: floating point literal has suffix 'q', which is not uppercase |
| 86 | // CHECK-MESSAGES-NEXT: static constexpr auto v11 = 0xfp0q; |
| 87 | // CHECK-MESSAGES-NEXT: ^ ~ |
| 88 | // CHECK-MESSAGES-NEXT: Q{{$}} |
| 89 | // CHECK-FIXES: static constexpr auto v11 = 0xfp0Q; |
| 90 | static_assert(is_same<decltype(v11), const __float128>::value, "" ); |
| 91 | static_assert(v11 == 0xfp0, "" ); |
| 92 | |
| 93 | static constexpr auto v12 = 0xfp0Q; // OK. |
| 94 | static_assert(is_same<decltype(v12), const __float128>::value, "" ); |
| 95 | static_assert(v12 == 0xfp0, "" ); |
| 96 | } |
| 97 | |
| 98 | void floating_point_complex_suffix() { |
| 99 | // _Complex, I |
| 100 | |
| 101 | static constexpr auto v14 = 0xfp0i; |
| 102 | // CHECK-MESSAGES: :[[@LINE-1]]:31: warning: floating point literal has suffix 'i', which is not uppercase |
| 103 | // CHECK-MESSAGES-NEXT: static constexpr auto v14 = 0xfp0i; |
| 104 | // CHECK-MESSAGES-NEXT: ^ ~ |
| 105 | // CHECK-MESSAGES-NEXT: I{{$}} |
| 106 | // CHECK-FIXES: static constexpr auto v14 = 0xfp0I; |
| 107 | static_assert(is_same<decltype(v14), const _Complex double>::value, "" ); |
| 108 | static_assert(v14 == 0xfp0I, "" ); |
| 109 | |
| 110 | static constexpr auto v16 = 0xfp0I; // OK. |
| 111 | static_assert(is_same<decltype(v16), const _Complex double>::value, "" ); |
| 112 | static_assert(v16 == 0xfp0I, "" ); |
| 113 | |
| 114 | // _Complex, J |
| 115 | |
| 116 | static constexpr auto v18 = 0xfp0j; |
| 117 | // CHECK-MESSAGES: :[[@LINE-1]]:31: warning: floating point literal has suffix 'j', which is not uppercase |
| 118 | // CHECK-MESSAGES-NEXT: static constexpr auto v18 = 0xfp0j; |
| 119 | // CHECK-MESSAGES-NEXT: ^ ~ |
| 120 | // CHECK-MESSAGES-NEXT: J{{$}} |
| 121 | // CHECK-FIXES: static constexpr auto v18 = 0xfp0J; |
| 122 | static_assert(is_same<decltype(v18), const _Complex double>::value, "" ); |
| 123 | static_assert(v18 == 0xfp0J, "" ); |
| 124 | |
| 125 | static constexpr auto v20 = 0xfp0J; // OK. |
| 126 | static_assert(is_same<decltype(v20), const _Complex double>::value, "" ); |
| 127 | static_assert(v20 == 0xfp0J, "" ); |
| 128 | } |
| 129 | |
| 130 | void macros() { |
| 131 | #define PASSTHROUGH(X) X |
| 132 | static constexpr auto m0 = PASSTHROUGH(0x0p0f); |
| 133 | // CHECK-MESSAGES: :[[@LINE-1]]:42: warning: floating point literal has suffix 'f', which is not uppercase |
| 134 | // CHECK-MESSAGES-NEXT: static constexpr auto m0 = PASSTHROUGH(0x0p0f); |
| 135 | // CHECK-MESSAGES-NEXT: ^ ~ |
| 136 | // CHECK-MESSAGES-NEXT: F{{$}} |
| 137 | // CHECK-FIXES: static constexpr auto m0 = PASSTHROUGH(0x0p0F); |
| 138 | static_assert(is_same<decltype(m0), const float>::value, "" ); |
| 139 | static_assert(m0 == 0x0p0F, "" ); |
| 140 | } |
| 141 | |