23 lines · cpp
1// RUN: %clang_analyze_cc1 -Wno-conversion -Wno-tautological-constant-compare -analyzer-checker=core,alpha.core.Conversion -verify %s2 3// expected-no-diagnostics4 5void dontwarn1() {6 unsigned long x = static_cast<unsigned long>(-1);7}8 9void dontwarn2(unsigned x) {10 if (x == static_cast<unsigned>(-1)) {11 }12}13 14struct C {15 C(unsigned x, unsigned long y) {}16};17 18void f(C) {}19 20void functioncall1(long x) {21 f(C(64, x));22}23