1*e8a3ddafSNathan James // RUN: %check_clang_tidy %s bugprone-misplaced-widening-cast %t -- -config="{CheckOptions: {bugprone-misplaced-widening-cast.CheckImplicitCasts: true}}" --
289a1d03eSRichard 
func(long arg)389a1d03eSRichard void func(long arg) {}
489a1d03eSRichard 
assign(int a,int b)589a1d03eSRichard void assign(int a, int b) {
689a1d03eSRichard   long l;
789a1d03eSRichard 
889a1d03eSRichard   l = a * b;
989a1d03eSRichard   // CHECK-MESSAGES: :[[@LINE-1]]:7: warning: either cast from 'int' to 'long' is ineffective, or there is loss of precision before the conversion [bugprone-misplaced-widening-cast]
1089a1d03eSRichard   l = (long)(a * b);
1189a1d03eSRichard   // CHECK-MESSAGES: :[[@LINE-1]]:7: warning: either cast from 'int' to 'long'
1289a1d03eSRichard   l = (long)a * b;
1389a1d03eSRichard 
1489a1d03eSRichard   l = a << 8;
1589a1d03eSRichard   // CHECK-MESSAGES: :[[@LINE-1]]:7: warning: either cast from 'int' to 'long'
1689a1d03eSRichard   l = (long)(a << 8);
1789a1d03eSRichard   // CHECK-MESSAGES: :[[@LINE-1]]:7: warning: either cast from 'int' to 'long'
1889a1d03eSRichard   l = (long)b << 8;
1989a1d03eSRichard 
2089a1d03eSRichard   l = static_cast<long>(a * b);
2189a1d03eSRichard   // CHECK-MESSAGES: :[[@LINE-1]]:7: warning: either cast from 'int' to 'long'
2289a1d03eSRichard }
2389a1d03eSRichard 
compare(int a,int b,long c)2489a1d03eSRichard void compare(int a, int b, long c) {
2589a1d03eSRichard   bool l;
2689a1d03eSRichard 
2789a1d03eSRichard   l = a * b == c;
2889a1d03eSRichard   // CHECK-MESSAGES: :[[@LINE-1]]:7: warning: either cast from 'int' to 'long'
2989a1d03eSRichard   l = c == a * b;
3089a1d03eSRichard   // CHECK-MESSAGES: :[[@LINE-1]]:12: warning: either cast from 'int' to 'long'
3189a1d03eSRichard   l = (long)(a * b) == c;
3289a1d03eSRichard   // CHECK-MESSAGES: :[[@LINE-1]]:7: warning: either cast from 'int' to 'long'
3389a1d03eSRichard   l = c == (long)(a * b);
3489a1d03eSRichard   // CHECK-MESSAGES: :[[@LINE-1]]:12: warning: either cast from 'int' to 'long'
3589a1d03eSRichard   l = (long)a * b == c;
3689a1d03eSRichard   l = c == (long)a * b;
3789a1d03eSRichard }
3889a1d03eSRichard 
init(unsigned int n)3989a1d03eSRichard void init(unsigned int n) {
4089a1d03eSRichard   long l1 = n << 8;
4189a1d03eSRichard   // CHECK-MESSAGES: :[[@LINE-1]]:13: warning: either cast from 'unsigned int' to 'long'
4289a1d03eSRichard   long l2 = (long)(n << 8);
4389a1d03eSRichard   // CHECK-MESSAGES: :[[@LINE-1]]:13: warning: either cast from 'unsigned int' to 'long'
4489a1d03eSRichard   long l3 = (long)n << 8;
4589a1d03eSRichard }
4689a1d03eSRichard 
call(unsigned int n)4789a1d03eSRichard void call(unsigned int n) {
4889a1d03eSRichard   func(n << 8);
4989a1d03eSRichard   // CHECK-MESSAGES: :[[@LINE-1]]:8: warning: either cast from 'unsigned int' to 'long'
5089a1d03eSRichard   func((long)(n << 8));
5189a1d03eSRichard   // CHECK-MESSAGES: :[[@LINE-1]]:8: warning: either cast from 'unsigned int' to 'long'
5289a1d03eSRichard   func((long)n << 8);
5389a1d03eSRichard }
5489a1d03eSRichard 
ret(int a)5589a1d03eSRichard long ret(int a) {
5689a1d03eSRichard   if (a < 0) {
5789a1d03eSRichard     return a * 1000;
5889a1d03eSRichard     // CHECK-MESSAGES: :[[@LINE-1]]:12: warning: either cast from 'int' to 'long'
5989a1d03eSRichard   } else if (a > 0) {
6089a1d03eSRichard     return (long)(a * 1000);
6189a1d03eSRichard     // CHECK-MESSAGES: :[[@LINE-1]]:12: warning: either cast from 'int' to 'long'
6289a1d03eSRichard   } else {
6389a1d03eSRichard     return (long)a * 1000;
6489a1d03eSRichard   }
6589a1d03eSRichard }
6689a1d03eSRichard 
dontwarn1(unsigned char a,int i,unsigned char * p)6789a1d03eSRichard void dontwarn1(unsigned char a, int i, unsigned char *p) {
6889a1d03eSRichard   long l;
6989a1d03eSRichard   // The result is a 9 bit value, there is no truncation in the implicit cast.
7089a1d03eSRichard   l = (long)(a + 15);
7189a1d03eSRichard   // The result is a 12 bit value, there is no truncation in the implicit cast.
7289a1d03eSRichard   l = (long)(a << 4);
7389a1d03eSRichard   // The result is a 3 bit value, there is no truncation in the implicit cast.
7489a1d03eSRichard   l = (long)((i % 5) + 1);
7589a1d03eSRichard   // The result is a 16 bit value, there is no truncation in the implicit cast.
7689a1d03eSRichard   l = (long)(((*p) << 8) + *(p + 1));
7789a1d03eSRichard }
7889a1d03eSRichard 
7989a1d03eSRichard template <class T> struct DontWarn2 {
assignDontWarn28089a1d03eSRichard   void assign(T a, T b) {
8189a1d03eSRichard     long l;
8289a1d03eSRichard     l = (long)(a * b);
8389a1d03eSRichard   }
8489a1d03eSRichard };
8589a1d03eSRichard DontWarn2<int> DW2;
8689a1d03eSRichard 
8789a1d03eSRichard // Cast is not suspicious when casting macro.
8889a1d03eSRichard #define A  (X<<2)
macro1(int X)8989a1d03eSRichard long macro1(int X) {
9089a1d03eSRichard   return (long)A;
9189a1d03eSRichard }
9289a1d03eSRichard 
9389a1d03eSRichard // Don't warn about cast in macro.
9489a1d03eSRichard #define B(X,Y)   (long)(X*Y)
macro2(int x,int y)9589a1d03eSRichard long macro2(int x, int y) {
9689a1d03eSRichard   return B(x,y);
9789a1d03eSRichard }
9889a1d03eSRichard 
floatingpoint(float a,float b)9989a1d03eSRichard void floatingpoint(float a, float b) {
10089a1d03eSRichard   double d = (double)(a * b); // Currently we don't warn for this.
10189a1d03eSRichard }
102