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