clang/test/Analysis/reinterpret-cast.cpp

   1 // RUN: %clang_analyze_cc1 -analyzer-checker=core,debug.ExprInspection -verify %s
   2
   3 void clang_analyzer_eval(bool);
   4
   5 typedef struct Opaque *Data;
   6 struct IntWrapper {
   7   int x;
   8 };
   9
  10 struct Child : public IntWrapper {
  11   void set() { x = 42; }
  12 };
  13
  14 void test(Data data) {
  15   Child *wrapper = reinterpret_cast<Child*>(data);
  16   // Don't crash when upcasting here.
  17   // We don't actually know if 'data' is a Child.
  18   wrapper->set();
  19   clang_analyzer_eval(wrapper->x == 42); // expected-warning{{TRUE}}
  20 }
  21
  22 namespace PR14872 {
  23   class Base1 {};
  24   class Derived1 : public Base1 {};
  25
  26   Derived1 *f1();
  27
  28   class Base2 {};
  29   class Derived2 : public Base2 {};
  30
  31   void f2(Base2 *foo);
  32
  33   void f3(void** out)
  34   {
  35     Base1 *v;
  36     v = f1();
  37     *out = v;
  38   }
  39
  40   void test()
  41   {
  42     Derived2 *p;
  43     f3(reinterpret_cast<void**>(&p));
  44     // Don't crash when upcasting here.
  45     // In this case, 'p' actually refers to a Derived1.
  46     f2(p);
  47   }
  48 }
  49
  50 namespace rdar13249297 {
  51   struct IntWrapperSubclass : public IntWrapper {};
  52
  53   struct IntWrapperWrapper {
  54     IntWrapper w;
  55   };
  56
  57   void test(IntWrapperWrapper *ww) {
  58     reinterpret_cast<IntWrapperSubclass *>(ww)->x = 42;
  59     clang_analyzer_eval(reinterpret_cast<IntWrapperSubclass *>(ww)->x == 42); // expected-warning{{TRUE}}
  60
  61     clang_analyzer_eval(ww->w.x == 42); // expected-warning{{TRUE}}
  62     ww->w.x = 0;
  63
  64     clang_analyzer_eval(reinterpret_cast<IntWrapperSubclass *>(ww)->x == 42); // expected-warning{{FALSE}}
  65   }
  66 }
  67
  68 namespace PR15345 {
  69   class C {};
  70
  71   class Base {
  72   public:
  73     void (*f)();
  74     int x;
  75   };
  76
  77   class Derived : public Base {};
  78
  79   void test() {
  80         Derived* p;
  81         *(reinterpret_cast<void**>(&p)) = new C;
  82         p->f();
  83
  84     // We should still be able to do some reasoning about bindings.
  85     p->x = 42;
  86     clang_analyzer_eval(p->x == 42); // expected-warning{{TRUE}}
  87   };
  88 }
  89
  90 int trackpointer_std_addressof() {
  91   int x;
  92   int *p = (int*)&reinterpret_cast<const volatile char&>(x);
  93   *p = 6;
  94   return x; // no warning
  95 }
  96
  97 void set_x1(int *&);
  98 void set_x2(void *&);
  99 int radar_13146953(void) {
 100   int *x = 0, *y = 0;
 101
 102   set_x1(x);
 103   set_x2((void *&)y);
 104   return *x + *y; // no warning
 105 }
 106
 107 namespace PR25426 {
 108   struct Base {
 109     int field;
 110   };
 111
 112   struct Derived : Base { };
 113
 114   void foo(int &p) {
 115     Derived &d = (Derived &)(p);
 116     d.field = 2;
 117   }
 118 }