22 lines · cpp
1// RUN: %check_clang_tidy -std=c99 %s bugprone-implicit-widening-of-multiplication-result %t -- -- -target x86_64-unknown-unknown -x c2// 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 warning8 // CHECK-NOTES: :[[@LINE-3]]:10: note: perform multiplication in a wider type9}10unsigned _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 warning14 // CHECK-NOTES: :[[@LINE-3]]:10: note: perform multiplication in a wider type15}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 warning20 // CHECK-NOTES: :[[@LINE-3]]:10: note: perform multiplication in a wider type21}22