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

   1 #include "../../gcc.dg/analyzer/analyzer-decls.h"
   2
   3 struct A
   4 {
   5   int m_data;
   6   virtual char foo ()
   7   {
   8     return 'A';
   9   }
  10 };
  11
  12 struct B: public A
  13 {
  14   int m_data_b;
  15   char foo ()
  16   {
  17     return 'B';
  18   }
  19 };
  20
  21 void test()
  22 {
  23   A a, *a_ptr = &a;
  24   B b;
  25   __analyzer_eval (a_ptr->foo () == 'A'); /* { dg-warning "TRUE" } */
  26   a_ptr = &b;
  27   __analyzer_eval (a_ptr->foo () == 'B'); /* { dg-warning "TRUE" } */
  28 }