No empty .Rs/.Re
[netbsd-mini2440.git] / gnu / dist / gcc4 / gcc / testsuite / gcc.dg / tree-ssa / vrp04.c
blob26322483f03fe2a9ab7c3d0aa35d56f2761fcc55
1 /* { dg-do compile } */
2 /* { dg-options "-O2 -fdump-tree-vrp" } */
4 foo (int a, int b)
6 if (a == b)
7 /* This should be folded to if (1) */
8 if (a == b)
9 return a + b;
12 /* { dg-final { scan-tree-dump-times "Folding predicate a_.*to 1" 1 "vrp" } } */
13 /* { dg-final { cleanup-tree-dump "vrp" } } */