forked from OSchip/llvm-project
65 lines
1.8 KiB
C++
65 lines
1.8 KiB
C++
|
// RUN: %check_clang_tidy %s bugprone-misplaced-widening-cast %t -- -config="{CheckOptions: [{key: bugprone-misplaced-widening-cast.CheckImplicitCasts, value: 0}]}" --
|
||
|
|
||
|
void func(long arg) {}
|
||
|
|
||
|
void assign(int a, int b) {
|
||
|
long l;
|
||
|
|
||
|
l = a * b;
|
||
|
l = (long)(a * b);
|
||
|
// 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]
|
||
|
l = (long)a * b;
|
||
|
|
||
|
l = a << 8;
|
||
|
l = (long)(a << 8);
|
||
|
// CHECK-MESSAGES: :[[@LINE-1]]:7: warning: either cast from 'int' to 'long'
|
||
|
l = (long)b << 8;
|
||
|
|
||
|
l = static_cast<long>(a * b);
|
||
|
// CHECK-MESSAGES: :[[@LINE-1]]:7: warning: either cast from 'int' to 'long'
|
||
|
}
|
||
|
|
||
|
void compare(int a, int b, long c) {
|
||
|
bool l;
|
||
|
|
||
|
l = a * b == c;
|
||
|
l = c == a * b;
|
||
|
l = (long)(a * b) == c;
|
||
|
// CHECK-MESSAGES: :[[@LINE-1]]:7: warning: either cast from 'int' to 'long'
|
||
|
l = c == (long)(a * b);
|
||
|
// CHECK-MESSAGES: :[[@LINE-1]]:12: warning: either cast from 'int' to 'long'
|
||
|
l = (long)a * b == c;
|
||
|
l = c == (long)a * b;
|
||
|
}
|
||
|
|
||
|
void init(unsigned int n) {
|
||
|
long l1 = n << 8;
|
||
|
long l2 = (long)(n << 8);
|
||
|
// CHECK-MESSAGES: :[[@LINE-1]]:13: warning: either cast from 'unsigned int' to 'long'
|
||
|
long l3 = (long)n << 8;
|
||
|
}
|
||
|
|
||
|
void call(unsigned int n) {
|
||
|
func(n << 8);
|
||
|
func((long)(n << 8));
|
||
|
// CHECK-MESSAGES: :[[@LINE-1]]:8: warning: either cast from 'unsigned int' to 'long'
|
||
|
func((long)n << 8);
|
||
|
}
|
||
|
|
||
|
long ret(int a) {
|
||
|
if (a < 0) {
|
||
|
return a * 1000;
|
||
|
} else if (a > 0) {
|
||
|
return (long)(a * 1000);
|
||
|
// CHECK-MESSAGES: :[[@LINE-1]]:12: warning: either cast from 'int' to 'long'
|
||
|
} else {
|
||
|
return (long)a * 1000;
|
||
|
}
|
||
|
}
|
||
|
|
||
|
// Shall not generate an assert. https://bugs.llvm.org/show_bug.cgi?id=33660
|
||
|
template <class> class A {
|
||
|
enum Type {};
|
||
|
static char *m_fn1() { char p = (Type)(&p - m_fn1()); }
|
||
|
};
|