gcc/testsuite/g++.dg/ipa/devirt-c-3.C

   1 /* Verify that ipa-cp correctly detects the dynamic type of an object
   2    under construction when doing devirtualization.  */
   3 /* { dg-do run } */
   4 /* { dg-options "-O3 -fno-inline"  } */
   5
   6 extern "C" void abort (void);
   7
   8 class Distraction
   9 {
  10 public:
  11   float f;
  12   double d;
  13   Distraction ()
  14   {
  15     f = 8.3;
  16     d = 10.2;
  17   }
  18   virtual float bar (float z);
  19 };
  20
  21 class A
  22 {
  23 public:
  24   int data;
  25   A();
  26   virtual int foo (int i);
  27 };
  28
  29 class B : public Distraction, public A
  30 {
  31 public:
  32   virtual int foo (int i);
  33 };
  34
  35 float Distraction::bar (float z)
  36 {
  37   f += z;
  38   return f/2;
  39 }
  40
  41 int A::foo (int i)
  42 {
  43   return i + 1;
  44 }
  45
  46 int B::foo (int i)
  47 {
  48   return i + 2;
  49 }
  50
  51 int __attribute__ ((noinline,noclone)) get_input(void)
  52 {
  53   return 1;
  54 }
  55
  56 static int __attribute__ ((noinline))
  57 middleman (class A *obj, int i)
  58 {
  59   return obj->foo (i);
  60 }
  61
  62 inline __attribute__ ((always_inline)) A::A()
  63 {
  64   if (middleman (this, get_input ()) != 2)
  65     abort ();
  66 }
  67
  68 static void bah ()
  69 {
  70   class B b;
  71 }
  72
  73 int main (int argc, char *argv[])
  74 {
  75   int i;
  76
  77   for (i = 0; i < 10; i++)
  78     bah ();
  79   return 0;
  80 }