clang/test/Analysis/conversion.cpp

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