gcc/testsuite/g++.dg/analyzer/pr97489.C

struct X {
  virtual ~X() {}
  virtual void key_function();
};

void X::key_function() {}