1*e8a3ddafSNathan James // RUN: %check_clang_tidy %s bugprone-misplaced-widening-cast %t -- -config="{CheckOptions: {bugprone-misplaced-widening-cast.CheckImplicitCasts: false}}" --
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 l = (long)(a * b);
1089a1d03eSRichard // 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]
1189a1d03eSRichard l = (long)a * b;
1289a1d03eSRichard
1389a1d03eSRichard l = a << 8;
1489a1d03eSRichard l = (long)(a << 8);
1589a1d03eSRichard // CHECK-MESSAGES: :[[@LINE-1]]:7: warning: either cast from 'int' to 'long'
1689a1d03eSRichard l = (long)b << 8;
1789a1d03eSRichard
1889a1d03eSRichard l = static_cast<long>(a * b);
1989a1d03eSRichard // CHECK-MESSAGES: :[[@LINE-1]]:7: warning: either cast from 'int' to 'long'
2089a1d03eSRichard }
2189a1d03eSRichard
compare(int a,int b,long c)2289a1d03eSRichard void compare(int a, int b, long c) {
2389a1d03eSRichard bool l;
2489a1d03eSRichard
2589a1d03eSRichard l = a * b == c;
2689a1d03eSRichard l = c == a * b;
2789a1d03eSRichard l = (long)(a * b) == c;
2889a1d03eSRichard // CHECK-MESSAGES: :[[@LINE-1]]:7: warning: either cast from 'int' to 'long'
2989a1d03eSRichard l = c == (long)(a * b);
3089a1d03eSRichard // CHECK-MESSAGES: :[[@LINE-1]]:12: warning: either cast from 'int' to 'long'
3189a1d03eSRichard l = (long)a * b == c;
3289a1d03eSRichard l = c == (long)a * b;
3389a1d03eSRichard }
3489a1d03eSRichard
init(unsigned int n)3589a1d03eSRichard void init(unsigned int n) {
3689a1d03eSRichard long l1 = n << 8;
3789a1d03eSRichard long l2 = (long)(n << 8);
3889a1d03eSRichard // CHECK-MESSAGES: :[[@LINE-1]]:13: warning: either cast from 'unsigned int' to 'long'
3989a1d03eSRichard long l3 = (long)n << 8;
4089a1d03eSRichard }
4189a1d03eSRichard
call(unsigned int n)4289a1d03eSRichard void call(unsigned int n) {
4389a1d03eSRichard func(n << 8);
4489a1d03eSRichard func((long)(n << 8));
4589a1d03eSRichard // CHECK-MESSAGES: :[[@LINE-1]]:8: warning: either cast from 'unsigned int' to 'long'
4689a1d03eSRichard func((long)n << 8);
4789a1d03eSRichard }
4889a1d03eSRichard
ret(int a)4989a1d03eSRichard long ret(int a) {
5089a1d03eSRichard if (a < 0) {
5189a1d03eSRichard return a * 1000;
5289a1d03eSRichard } else if (a > 0) {
5389a1d03eSRichard return (long)(a * 1000);
5489a1d03eSRichard // CHECK-MESSAGES: :[[@LINE-1]]:12: warning: either cast from 'int' to 'long'
5589a1d03eSRichard } else {
5689a1d03eSRichard return (long)a * 1000;
5789a1d03eSRichard }
5889a1d03eSRichard }
5989a1d03eSRichard
6089a1d03eSRichard // Shall not generate an assert. https://bugs.llvm.org/show_bug.cgi?id=33660
6189a1d03eSRichard template <class> class A {
6289a1d03eSRichard enum Type {};
m_fn1()6389a1d03eSRichard static char *m_fn1() { char p = (Type)(&p - m_fn1()); }
6489a1d03eSRichard };
6589a1d03eSRichard
6689a1d03eSRichard enum DaysEnum {
6789a1d03eSRichard MON,
6889a1d03eSRichard TUE,
6989a1d03eSRichard WED,
7089a1d03eSRichard THR,
7189a1d03eSRichard FRI,
7289a1d03eSRichard SAT,
7389a1d03eSRichard SUN
7489a1d03eSRichard };
7589a1d03eSRichard
7689a1d03eSRichard // Do not warn for int to enum casts.
nextDay(DaysEnum day)7789a1d03eSRichard void nextDay(DaysEnum day) {
7889a1d03eSRichard if (day < SUN)
7989a1d03eSRichard day = (DaysEnum)(day + 1);
8089a1d03eSRichard if (day < SUN)
8189a1d03eSRichard day = static_cast<DaysEnum>(day + 1);
8289a1d03eSRichard }
83