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 { setChild11 void set() { x = 42; } 12 }; 13 test(Data data)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 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 f3(void ** out)33 void f3(void** out) 34 { 35 Base1 *v; 36 v = f1(); 37 *out = v; 38 } 39 test()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 test(IntWrapperWrapper * ww)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 test()79 void test() { 80 Derived* p; 81 *(reinterpret_cast<void**>(&p)) = new C; 82 p->f(); // expected-warning{{Called function pointer is an uninitialized pointer value [core.CallAndMessage]}} 83 }; 84 } // namespace PR15345 85 trackpointer_std_addressof()86int trackpointer_std_addressof() { 87 int x; 88 int *p = (int*)&reinterpret_cast<const volatile char&>(x); 89 *p = 6; 90 return x; // no warning 91 } 92 93 void set_x1(int *&); 94 void set_x2(void *&); radar_13146953(void)95int radar_13146953(void) { 96 int *x = 0, *y = 0; 97 98 set_x1(x); 99 set_x2((void *&)y); 100 return *x + *y; // no warning 101 } 102 103 namespace PR25426 { 104 struct Base { 105 int field; 106 }; 107 108 struct Derived : Base { }; 109 foo(int & p)110 void foo(int &p) { 111 Derived &d = (Derived &)(p); 112 d.field = 2; 113 } 114 } 115