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); }