dtor_inheritance.cpp

#include "common.h"

extern int base_dtor_calls, derived_dtor_calls;

class Base {
 public:
  ~Base() {
    base_dtor_calls++;
  }
};

class Derived: public Base {
 public:
  ~Derived() {
    derived_dtor_calls++;
  }
};

#ifdef CONFIG_1
void run() {
  Derived d;
}

#else
int base_dtor_calls, derived_dtor_calls;

void run();

int main() {
  run();
  CHECK_EQ(1, base_dtor_calls);
  CHECK_EQ(1, derived_dtor_calls);
}
#endif