gcc/testsuite/gcc.dg/tree-ssa/pr112721.c

   1 /* { dg-do run } */
   2 /* { dg-options "-O1" } */
   3
   4 unsigned * volatile gv;
   5
   6 struct a {
   7   int b;
   8 };
   9 int c, e;
  10 long d;
  11 unsigned * __attribute__((noinline))
  12 f(unsigned *g) {
  13   for (; c;)
  14     e = d;
  15   return gv ? gv : g;
  16 }
  17 int main() {
  18   int *h;
  19   struct a i = {8};
  20   int *j = &i.b;
  21   h = (unsigned *) f(j);
  22   *h = 0;
  23   if (i.b != 0)
  24     __builtin_abort ();
  25   return 0;
  26 }