1 /* { dg-do compile } */
2 /* { dg-options "-O -fdump-tree-fre1-details" } */
3 
4 int
foo(int * p)5 foo (int *p)
6 {
7   *p = 0;
8   return *p;
9 }
10 
11 /* The store to *p should be propagated to the load statement.  */
12 /* { dg-final { scan-tree-dump "Replaced \\\*p_.\\\(D\\\) with 0" "fre1" } } */
13