// RUN: %clang_analyze_cc1 -Wno-conversion -Wno-tautological-constant-compare -analyzer-checker=core,alpha.core.Conversion -verify %s | |
// expected-no-diagnostics | |
void dontwarn1() { | |
unsigned long x = static_cast<unsigned long>(-1); | |
} | |
void dontwarn2(unsigned x) { | |
if (x == static_cast<unsigned>(-1)) { | |
} | |
} | |
struct C { | |
C(unsigned x, unsigned long y) {} | |
}; | |
void f(C) {} | |
void functioncall1(long x) { | |
f(C(64, x)); | |
} |