gnu/dist/gcc4/gcc/testsuite/gcc.dg/tree-ssa/20040313-1.c

   1 /* { dg-do compile } */
   2 /* { dg-options "-O3" } */
   3
   4 /* Test provided by Volker Reichelt in PR 14553.  The redundant PHI
   5    node elimination pass was not using the right API functions to
   6    propagate pointers, which resulted in dereferenced pointers that
   7    did not have memory tags associated with them.  */
   8
   9 void foo(int* p)
  10 {
  11     int i;
  12     for (i=1; i>0; --i, ++p)
  13         *p=0;
  14 }
  15
  16 void bar(int* p) { foo(p); }