| 1 | // RUN: %check_clang_tidy %s bugprone-narrowing-conversions %t \ |
|---|
| 2 | // RUN: -- -- -target x86_64-unknown-linux -m32 |
|---|
| 3 | |
|---|
| 4 | static_assert(sizeof(int) * 8 == 32, "int is 32-bits" ); |
|---|
| 5 | static_assert(sizeof(long) * 8 == 32, "long is 32-bits" ); |
|---|
| 6 | static_assert(sizeof(long long) * 8 == 64, "long long is 64-bits" ); |
|---|
| 7 | |
|---|
| 8 | void narrow_integer_to_signed_integer_is_not_ok() { |
|---|
| 9 | int i; // i.e. int32_t |
|---|
| 10 | long l; // i.e. int32_t |
|---|
| 11 | long long ll; // i.e. int64_t |
|---|
| 12 | |
|---|
| 13 | unsigned int ui; // i.e. uint32_t |
|---|
| 14 | unsigned long ul; // i.e. uint32_t |
|---|
| 15 | unsigned long long ull; // i.e. uint64_t |
|---|
| 16 | |
|---|
| 17 | i = l; // int and long are the same type. |
|---|
| 18 | i = ll; // int64_t does not fit in an int32_t |
|---|
| 19 | // CHECK-MESSAGES: :[[@LINE-1]]:7: warning: narrowing conversion from 'long long' to signed type 'int' is implementation-defined [bugprone-narrowing-conversions] |
|---|
| 20 | ll = ul; // uint32_t fits into int64_t |
|---|
| 21 | ll = ull; // uint64_t does not fit in an int64_t |
|---|
| 22 | // CHECK-MESSAGES: :[[@LINE-1]]:8: warning: narrowing conversion from 'unsigned long long' to signed type 'long long' is implementation-defined [bugprone-narrowing-conversions] |
|---|
| 23 | } |
|---|
| 24 | |
|---|
