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

/* 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" "fre" } } */
/* { dg-final { cleanup-tree-dump "fre" } } */