gcc/testsuite/g++.dg/analyzer/vfunc-1.C

   1 struct base
   2 {
   3   virtual int fn () const;
   4 };
   5 struct sub : public base
   6 {
   7   int fn () const;
   8 };
   9
  10 int
  11 test_1 (base *p)
  12 {
  13   return p->fn ();
  14 }