1 /* { dg-do compile } */
2 /* { dg-options "-O2 -fno-tree-fre -fdump-tree-vrp1" } */
3
4 int
foo(int a,int b)5 foo (int a, int b)
6 {
7 if (a == b)
8 /* This should be folded to if (1) */
9 if (a == b)
10 return a + b;
11 }
12
13 /* { dg-final { scan-tree-dump-times "if" 1 "vrp1" } } */
14