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 
foo(int * p)9 void foo(int* p)
10 {
11     int i;
12     for (i=1; i>0; --i, ++p)
13         *p=0;
14 }
15 
bar(int * p)16 void bar(int* p) { foo(p); }
17