1  /* { dg-do compile } */
       2  /* { dg-options "-O -fdump-tree-fre1" } */
       3  
       4  int x;
       5  int foo (int *p)
       6  {
       7    x = 0;
       8    if (x)
       9      *p = 1;
      10    return x;
      11  }
      12  
      13  /* The final load of x should be replaced as well as the
      14     aliasing store via *p is not reachable.  */
      15  
      16  /* { dg-final { scan-tree-dump-not "= x;" "fre1" } } */