84 lines · cpp
1// RUN: %check_clang_tidy %s bugprone-narrowing-conversions %t \2// RUN: -- -- -target x86_64-unknown-linux -funsigned-char3 4void narrow_integer_to_unsigned_integer_is_ok() {5 signed char sc;6 short s;7 int i;8 long l;9 long long ll;10 11 char c;12 unsigned short us;13 unsigned int ui;14 unsigned long ul;15 unsigned long long ull;16 17 ui = sc;18 c = s;19 c = i;20 c = l;21 c = ll;22 23 c = c;24 c = us;25 c = ui;26 c = ul;27 c = ull;28}29 30void narrow_integer_to_signed_integer_is_not_ok() {31 signed char sc;32 short s;33 int i;34 long l;35 long long ll;36 37 char c;38 unsigned short us;39 unsigned int ui;40 unsigned long ul;41 unsigned long long ull;42 43 sc = sc;44 sc = s;45 // CHECK-MESSAGES: :[[@LINE-1]]:8: warning: narrowing conversion from 'short' to signed type 'signed char' is implementation-defined [bugprone-narrowing-conversions]46 sc = i;47 // CHECK-MESSAGES: :[[@LINE-1]]:8: warning: narrowing conversion from 'int' to signed type 'signed char' is implementation-defined [bugprone-narrowing-conversions]48 sc = l;49 // CHECK-MESSAGES: :[[@LINE-1]]:8: warning: narrowing conversion from 'long' to signed type 'signed char' is implementation-defined [bugprone-narrowing-conversions]50 sc = ll;51 // CHECK-MESSAGES: :[[@LINE-1]]:8: warning: narrowing conversion from 'long long' to signed type 'signed char' is implementation-defined [bugprone-narrowing-conversions]52 53 sc = c;54 // CHECK-MESSAGES: :[[@LINE-1]]:8: warning: narrowing conversion from 'char' to signed type 'signed char' is implementation-defined [bugprone-narrowing-conversions]55 sc = us;56 // CHECK-MESSAGES: :[[@LINE-1]]:8: warning: narrowing conversion from 'unsigned short' to signed type 'signed char' is implementation-defined [bugprone-narrowing-conversions]57 sc = ui;58 // CHECK-MESSAGES: :[[@LINE-1]]:8: warning: narrowing conversion from 'unsigned int' to signed type 'signed char' is implementation-defined [bugprone-narrowing-conversions]59 sc = ul;60 // CHECK-MESSAGES: :[[@LINE-1]]:8: warning: narrowing conversion from 'unsigned long' to signed type 'signed char' is implementation-defined [bugprone-narrowing-conversions]61 sc = ull;62 // CHECK-MESSAGES: :[[@LINE-1]]:8: warning: narrowing conversion from 'unsigned long long' to signed type 'signed char' is implementation-defined [bugprone-narrowing-conversions]63}64 65void narrow_constant_to_unsigned_integer_is_ok() {66 char c1 = -128; // unsigned dst type is well defined.67 char c2 = 127; // unsigned dst type is well defined.68 char c3 = -129; // unsigned dst type is well defined.69 char c4 = 128; // unsigned dst type is well defined.70 unsigned char uc1 = 0;71 unsigned char uc2 = 255;72 unsigned char uc3 = -1; // unsigned dst type is well defined.73 unsigned char uc4 = 256; // unsigned dst type is well defined.74 signed char sc = 128;75 // CHECK-MESSAGES: :[[@LINE-1]]:20: warning: narrowing conversion from constant value 128 (0x00000080) of type 'int' to signed type 'signed char' is implementation-defined [bugprone-narrowing-conversions]76}77 78void narrow_conditional_operator_contant_to_unsigned_is_ok(bool b) {79 // conversion to unsigned char type is well defined.80 char c1 = b ? 1 : 0;81 char c2 = b ? 1 : 256;82 char c3 = b ? -1 : 0;83}84