gcc/testsuite/c-c++-common/modref-dse.c

   1 /* { dg-do compile } */
   2 /* { dg-options "-O2 -fdump-tree-dse2-details" } */
   3 /* { dg-final { scan-tree-dump-not "Deleted dead store" "dse2" } } */
   4
   5 struct foo { unsigned long bar; };
   6
   7 unsigned y;
   8
   9 static int __attribute__ ((__noinline__, __noclone__))
  10 wrapped (struct foo *p, int i);
  11
  12 static int wrapper (struct foo *p);
  13
  14 static int __attribute__ ((__noclone__))
  15 wrapper (struct foo *p) {
  16   return wrapped (p, 1);
  17 }
  18
  19 static int __attribute__ ((__noinline__, __noclone__))
  20 dind (struct foo **pp);
  21
  22 int __attribute__ ((__noclone__, __no_reorder__))
  23 xfn () {
  24   struct foo x = { 0xBADC0FFE };
  25   struct foo *p = &x;
  26   return dind (&p);
  27 }
  28
  29 static int __attribute__ ((__noinline__, __no_reorder__))
  30 wrapped (struct foo *p, int i) {
  31   return p->bar + i == y++;
  32 }
  33
  34 static int __attribute__ ((__noinline__, __noclone__, __no_reorder__))
  35 dind (struct foo **pp) {
  36   wrapper (*pp);
  37   return 0;
  38 }