gcc/testsuite/gcc.dg/torture/pta-structcopy-1.c

   1 /* { dg-do run } */
   2 /* { dg-options "-fno-tree-sra -fdump-tree-alias" } */
   3 /* { dg-skip-if "" { *-*-* } { "-O0" } { "" } } */
   4
   5 struct X
   6 {
   7   long l1;
   8   struct Y
   9     {
  10       long l2;
  11       int *p;
  12     } y;
  13 };
  14 int i;
  15 static int
  16 foo (struct X *x)
  17 {
  18   struct Y y = x->y;
  19   *y.p = 0;
  20   i = 1;
  21   return *y.p;
  22 }
  23 extern void abort (void);
  24 int main()
  25 {
  26   struct X x;
  27   x.y.p = &i;
  28   if (foo(&x) != 1)
  29     abort ();
  30   return 0;
  31 }
  32
  33 /* { dg-final { scan-tree-dump "points-to vars: { i }" "alias" } } */
  34 /* { dg-final { cleanup-tree-dump "alias" } } */