1 /* { dg-do compile } */
2 /* { dg-options "-O3" } */
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. */
12 for (i=1; i>0; --i, ++p)
16 void bar(int* p) { foo(p); }