gcc/testsuite/gcc.dg/tree-ssa/ssa-fre-40.c

   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" } } */