| 1 | // RUN: %check_clang_tidy -std=c99 %s bugprone-implicit-widening-of-multiplication-result %t -- -- -target x86_64-unknown-unknown -x c |
|---|
| 2 | // RUN: %check_clang_tidy %s bugprone-implicit-widening-of-multiplication-result %t -- -- -target x86_64-unknown-unknown -x c++ |
|---|
| 3 | |
|---|
| 4 | _BitInt(64) t0(_BitInt(32) a, _BitInt(32) b) { |
|---|
| 5 | return a * b; |
|---|
| 6 | // CHECK-NOTES: :[[@LINE-1]]:10: warning: performing an implicit widening conversion to type '_BitInt(64)' of a multiplication performed in type '_BitInt(32)' |
|---|
| 7 | // CHECK-NOTES: :[[@LINE-2]]:10: note: make conversion explicit to silence this warning |
|---|
| 8 | // CHECK-NOTES: :[[@LINE-3]]:10: note: perform multiplication in a wider type |
|---|
| 9 | } |
|---|
| 10 | unsigned _BitInt(64) t1(_BitInt(32) a, _BitInt(32) b) { |
|---|
| 11 | return a * b; |
|---|
| 12 | // CHECK-NOTES: :[[@LINE-1]]:10: warning: performing an implicit widening conversion to type 'unsigned _BitInt(64)' of a multiplication performed in type '_BitInt(32)' |
|---|
| 13 | // CHECK-NOTES: :[[@LINE-2]]:10: note: make conversion explicit to silence this warning |
|---|
| 14 | // CHECK-NOTES: :[[@LINE-3]]:10: note: perform multiplication in a wider type |
|---|
| 15 | } |
|---|
| 16 | _BitInt(64) t2(unsigned _BitInt(32) a, unsigned _BitInt(32) b) { |
|---|
| 17 | return a * b; |
|---|
| 18 | // CHECK-NOTES: :[[@LINE-1]]:10: warning: performing an implicit widening conversion to type '_BitInt(64)' of a multiplication performed in type 'unsigned _BitInt(32)' |
|---|
| 19 | // CHECK-NOTES: :[[@LINE-2]]:10: note: make conversion explicit to silence this warning |
|---|
| 20 | // CHECK-NOTES: :[[@LINE-3]]:10: note: perform multiplication in a wider type |
|---|
| 21 | } |
|---|
| 22 | |
|---|
