diff options
Diffstat (limited to 'clang-tools-extra/test/clang-tidy/readability-uppercase-literal-suffix-hexadecimal-floating-point.cpp')
-rw-r--r-- | clang-tools-extra/test/clang-tidy/readability-uppercase-literal-suffix-hexadecimal-floating-point.cpp | 155 |
1 files changed, 155 insertions, 0 deletions
diff --git a/clang-tools-extra/test/clang-tidy/readability-uppercase-literal-suffix-hexadecimal-floating-point.cpp b/clang-tools-extra/test/clang-tidy/readability-uppercase-literal-suffix-hexadecimal-floating-point.cpp new file mode 100644 index 00000000000..4d662694bdb --- /dev/null +++ b/clang-tools-extra/test/clang-tidy/readability-uppercase-literal-suffix-hexadecimal-floating-point.cpp @@ -0,0 +1,155 @@ +// RUN: %check_clang_tidy %s readability-uppercase-literal-suffix %t -- -- -I %S +// RUN: grep -Ev "// *[A-Z-]+:" %s > %t.cpp +// RUN: clang-tidy %t.cpp -checks='-*,readability-uppercase-literal-suffix' -fix -- -I %S +// RUN: clang-tidy %t.cpp -checks='-*,readability-uppercase-literal-suffix' -warnings-as-errors='-*,readability-uppercase-literal-suffix' -- -I %S + +#include "readability-uppercase-literal-suffix.h" + +void floating_point_suffix() { + static constexpr auto v0 = 0x0p0; // no literal + static_assert(is_same<decltype(v0), const double>::value, ""); + static_assert(v0 == 0, ""); + + // Float + + static constexpr auto v1 = 0xfp0f; + // CHECK-MESSAGES: :[[@LINE-1]]:30: warning: floating point literal has suffix 'f', which is not uppercase + // CHECK-MESSAGES-NEXT: static constexpr auto v1 = 0xfp0f; + // CHECK-MESSAGES-NEXT: ^ ~ + // CHECK-MESSAGES-NEXT: {{^ *}}F{{$}} + // CHECK-FIXES: static constexpr auto v1 = 0xfp0F; + static_assert(is_same<decltype(v1), const float>::value, ""); + static_assert(v1 == 15, ""); + + static constexpr auto v2 = 0xfp0F; // OK + static_assert(is_same<decltype(v2), const float>::value, ""); + static_assert(v2 == 15, ""); + + static constexpr auto v3 = 0xfP0f; + // CHECK-MESSAGES: :[[@LINE-1]]:30: warning: floating point literal has suffix 'f', which is not uppercase + // CHECK-MESSAGES-NEXT: static constexpr auto v3 = 0xfP0f; + // CHECK-MESSAGES-NEXT: ^ ~ + // CHECK-MESSAGES-NEXT: {{^ *}}F{{$}} + // CHECK-FIXES: static constexpr auto v3 = 0xfP0F; + static_assert(is_same<decltype(v3), const float>::value, ""); + static_assert(v3 == 15, ""); + + static constexpr auto v4 = 0xfP0F; // OK + static_assert(is_same<decltype(v4), const float>::value, ""); + static_assert(v4 == 15, ""); + + static constexpr auto v5 = 0xFP0f; + // CHECK-MESSAGES: :[[@LINE-1]]:30: warning: floating point literal has suffix 'f', which is not uppercase + // CHECK-MESSAGES-NEXT: static constexpr auto v5 = 0xFP0f; + // CHECK-MESSAGES-NEXT: ^ ~ + // CHECK-MESSAGES-NEXT: {{^ *}}F{{$}} + // CHECK-FIXES: static constexpr auto v5 = 0xFP0F; + static_assert(is_same<decltype(v5), const float>::value, ""); + static_assert(v5 == 15, ""); + + static constexpr auto v6 = 0xFP0F; // OK + static_assert(is_same<decltype(v6), const float>::value, ""); + static_assert(v6 == 15, ""); + + static constexpr auto v7 = 0xFp0f; + // CHECK-MESSAGES: :[[@LINE-1]]:30: warning: floating point literal has suffix 'f', which is not uppercase + // CHECK-MESSAGES-NEXT: static constexpr auto v7 = 0xFp0f; + // CHECK-MESSAGES-NEXT: ^ ~ + // CHECK-MESSAGES-NEXT: {{^ *}}F{{$}} + // CHECK-FIXES: static constexpr auto v7 = 0xFp0F; + static_assert(is_same<decltype(v7), const float>::value, ""); + static_assert(v7 == 15, ""); + + static constexpr auto v8 = 0xFp0F; // OK + static_assert(is_same<decltype(v8), const float>::value, ""); + static_assert(v8 == 15, ""); + + // long double + + static constexpr auto v9 = 0xfp0l; + // CHECK-MESSAGES: :[[@LINE-1]]:30: warning: floating point literal has suffix 'l', which is not uppercase + // CHECK-MESSAGES-NEXT: static constexpr auto v9 = 0xfp0l; + // CHECK-MESSAGES-NEXT: ^ ~ + // CHECK-MESSAGES-NEXT: {{^ *}}L{{$}} + // CHECK-FIXES: static constexpr auto v9 = 0xfp0L; + static_assert(is_same<decltype(v9), const long double>::value, ""); + static_assert(v9 == 0xfp0, ""); + + static constexpr auto v10 = 0xfp0L; // OK. + static_assert(is_same<decltype(v10), const long double>::value, ""); + static_assert(v10 == 0xfp0, ""); + + // __float128 + + static constexpr auto v11 = 0xfp0q; + // CHECK-MESSAGES: :[[@LINE-1]]:31: warning: floating point literal has suffix 'q', which is not uppercase + // CHECK-MESSAGES-NEXT: static constexpr auto v11 = 0xfp0q; + // CHECK-MESSAGES-NEXT: ^ ~ + // CHECK-MESSAGES-NEXT: {{^ *}}Q{{$}} + // CHECK-FIXES: static constexpr auto v11 = 0xfp0Q; + static_assert(is_same<decltype(v11), const __float128>::value, ""); + static_assert(v11 == 0xfp0, ""); + + static constexpr auto v12 = 0xfp0Q; // OK. + static_assert(is_same<decltype(v12), const __float128>::value, ""); + static_assert(v12 == 0xfp0, ""); + + // _Float16 + + static constexpr auto v13 = 0xfp0f16; + // CHECK-MESSAGES: :[[@LINE-1]]:31: warning: floating point literal has suffix 'f16', which is not uppercase + // CHECK-MESSAGES-NEXT: static constexpr auto v13 = 0xfp0f16; + // CHECK-MESSAGES-NEXT: ^ ~ + // CHECK-MESSAGES-NEXT: {{^ *}}F16{{$}} + // CHECK-FIXES: static constexpr auto v13 = 0xfp0F16; + static_assert(is_same<decltype(v13), const _Float16>::value, ""); + static_assert(v13 == 0xfp0F16, ""); + + static constexpr auto v14 = 0xfp0F16; // OK. + static_assert(is_same<decltype(v14), const _Float16>::value, ""); + static_assert(v14 == 0xfp0F16, ""); +} + +void floating_point_complex_suffix() { + // _Complex, I + + static constexpr auto v14 = 0xfp0i; + // CHECK-MESSAGES: :[[@LINE-1]]:31: warning: floating point literal has suffix 'i', which is not uppercase + // CHECK-MESSAGES-NEXT: static constexpr auto v14 = 0xfp0i; + // CHECK-MESSAGES-NEXT: ^ ~ + // CHECK-MESSAGES-NEXT: {{^ *}}I{{$}} + // CHECK-FIXES: static constexpr auto v14 = 0xfp0I; + static_assert(is_same<decltype(v14), const _Complex double>::value, ""); + static_assert(v14 == 0xfp0I, ""); + + static constexpr auto v16 = 0xfp0I; // OK. + static_assert(is_same<decltype(v16), const _Complex double>::value, ""); + static_assert(v16 == 0xfp0I, ""); + + // _Complex, J + + static constexpr auto v18 = 0xfp0j; + // CHECK-MESSAGES: :[[@LINE-1]]:31: warning: floating point literal has suffix 'j', which is not uppercase + // CHECK-MESSAGES-NEXT: static constexpr auto v18 = 0xfp0j; + // CHECK-MESSAGES-NEXT: ^ ~ + // CHECK-MESSAGES-NEXT: {{^ *}}J{{$}} + // CHECK-FIXES: static constexpr auto v18 = 0xfp0J; + static_assert(is_same<decltype(v18), const _Complex double>::value, ""); + static_assert(v18 == 0xfp0J, ""); + + static constexpr auto v20 = 0xfp0J; // OK. + static_assert(is_same<decltype(v20), const _Complex double>::value, ""); + static_assert(v20 == 0xfp0J, ""); +} + +void macros() { +#define PASSTHROUGH(X) X + static constexpr auto m0 = PASSTHROUGH(0x0p0f); + // CHECK-MESSAGES: :[[@LINE-1]]:42: warning: floating point literal has suffix 'f', which is not uppercase + // CHECK-MESSAGES-NEXT: static constexpr auto m0 = PASSTHROUGH(0x0p0f); + // CHECK-MESSAGES-NEXT: ^ ~ + // CHECK-MESSAGES-NEXT: {{^ *}}F{{$}} + // CHECK-FIXES: static constexpr auto m0 = PASSTHROUGH(0x0p0F); + static_assert(is_same<decltype(m0), const float>::value, ""); + static_assert(m0 == 0x0p0F, ""); +} |