1 // RUN: %clang_cc1 -analyze -analyzer-checker=alpha.cplusplus.VirtualCall -analyzer-store region -verify -std=c++11 %s 2 3 class A { 4 public: 5 A(); 6 ~A() {}; 7 8 virtual int foo() = 0; 9 virtual void bar() = 0; 10 void f() { 11 foo(); // expected-warning{{Call pure virtual functions during construction or destruction may leads undefined behaviour}} 12 } 13 }; 14 15 class B : public A { 16 public: 17 B() { 18 foo(); // expected-warning{{Call virtual functions during construction or destruction will never go to a more derived class}} 19 } 20 ~B(); 21 22 virtual int foo(); 23 virtual void bar() { foo(); } // expected-warning{{Call virtual functions during construction or destruction will never go to a more derived class}} 24 }; 25 26 A::A() { 27 f(); 28 } 29 30 B::~B() { 31 this->B::foo(); // no-warning 32 this->B::bar(); 33 this->foo(); // expected-warning{{Call virtual functions during construction or destruction will never go to a more derived class}} 34 } 35 36 class C : public B { 37 public: 38 C(); 39 ~C(); 40 41 virtual int foo(); 42 void f(int i); 43 }; 44 45 C::C() { 46 f(foo()); // expected-warning{{Call virtual functions during construction or destruction will never go to a more derived class}} 47 } 48 49 class D : public B { 50 public: 51 D() { 52 foo(); // no-warning 53 } 54 ~D() { bar(); } 55 int foo() final; 56 void bar() final { foo(); } // no-warning 57 }; 58 59 class E final : public B { 60 public: 61 E() { 62 foo(); // no-warning 63 } 64 ~E() { bar(); } 65 int foo() override; 66 }; 67 68 int main() { 69 A *a; 70 B *b; 71 C *c; 72 D *d; 73 E *e; 74 } 75 76 #include "virtualcall.h" 77 78 #define AS_SYSTEM 79 #include "virtualcall.h" 80 #undef AS_SYSTEM 81
