dtor9.c

gcc-you can use this code to learn something about gcc, and inquire further into linux,

int i;

struct CC
{
  virtual ~CC () { ++i; }
};

class BB : virtual public CC
{
};

class AA : public virtual BB
{
};

int main ()
{
  {
    AA xx;
  }
  if (i != 1)
    return 1;
}