reinterpret-cast.cpp revision 6dc5c33fd4334ccf4a661c331f86e23829e51d55 
1// RUN: %clang_cc1 -analyze -analyzer-checker=core,debug.ExprInspection -verify %s
2
3void clang_analyzer_eval(bool);
4
5typedef struct Opaque *Data;
6struct IntWrapper {
7  int x;
8};
9
10struct Child : public IntWrapper {
11  void set() { x = 42; }
12};
13
14void 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
22namespace 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
50namespace 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
68namespace 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