summaryrefslogtreecommitdiff
path: root/gcc/testsuite/gcc.dg/tree-ssa/ssa-fre-16.c
blob: fbf2e8873ff341972d1a67bf5ad4c31c4e7e823e (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
/* { dg-do compile } */
/* { dg-options "-O -fdump-tree-fre1" } */

/* FRE should be able to combine i and j and perform simplification
   on the condition.  */

extern void link_error (void);
int i;
int foo(int b, int c)
{
  i = b + 1;
  int j = i - 1;
  if (b != j)
    link_error ();
}

/* { dg-final { scan-tree-dump-not "link_error" "fre1" } } */