gcc/testsuite/g++.dg/opt/pr48549.C

   1 // PR rtl-optimization/48549
   2 // { dg-do compile }
   3 // { dg-options "-fcompare-debug -O2" }
   4 // { dg-xfail-if "" { powerpc-ibm-aix* } }
   5
   6 __extension__ typedef __PTRDIFF_TYPE__ pdiff_t;
   7
   8 void
   9 foo (void *from, void *to)
  10 {
  11   pdiff_t offset = reinterpret_cast <pdiff_t>(to)
  12                    - reinterpret_cast <pdiff_t>(from);
  13   if (offset != static_cast <int>(offset))
  14     *(int *) 0xC0DE = 0;
  15   reinterpret_cast <int *>(from)[1] = offset;
  16 }
  17 struct A
  18 {
  19   A () : a () {}
  20   A (void *x) : a (x) {}
  21   void *bar () { return a; }
  22   void *a;
  23 };
  24 struct C;
  25 struct D;
  26 struct E : public A
  27 {
  28   C m1 (int);
  29   D m2 ();
  30   E () {}
  31   E (A x) : A (x) {}
  32 };
  33 struct C : public E
  34 {
  35   C () {}
  36   C (void *x) : E (x) {}
  37 };
  38 struct D : public E
  39 {
  40   D (void *x) : E (x) {}
  41 };
  42 C
  43 E::m1 (int x)
  44 {
  45   return (reinterpret_cast <char *>(bar ()) + x);
  46 }
  47 D
  48 E::m2 ()
  49 {
  50   return reinterpret_cast <char *>(bar ());
  51 }
  52 struct B
  53 {
  54   E a;
  55   unsigned b : 16;
  56   unsigned c : 1;
  57 };
  58 void
  59 baz (B *x)
  60 {
  61   for (unsigned i = 0; i < 64; i++)
  62     {
  63       D d = x[i].a.m2 ();
  64       C c = x[i].a.m1 (x[i].c);
  65       foo (d.bar (), c.bar ());
  66     }
  67 }