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

   1 /* { dg-do compile } */
   2 /* { dg-options "-O -fdump-tree-fre1" } */
   3
   4 /* FRE should be able to combine i and j and perform simplification
   5    on the condition.  */
   6
   7 extern void link_error (void);
   8 int i;
   9 int foo(int b, int c)
  10 {
  11   i = b + 1;
  12   int j = i - 1;
  13   if (b != j)
  14     link_error ();
  15 }
  16
  17 /* { dg-final { scan-tree-dump-not "link_error" "fre1" } } */