1 /* { dg-do compile } */
2 /* { dg-options "-O2 -fno-tree-ccp -fdump-tree-fre1-stats" } */
3 
foo()4 int foo()
5 {
6   int i = 0;
7   do
8     {
9       i++;
10     }
11   while (i != 1);
12   return i;
13 }
14 
15 /* { dg-final { scan-tree-dump "RPO iteration over 3 blocks visited 3 blocks" "fre1" } } */
16 /* { dg-final { scan-tree-dump "return 1;" "fre1" } } */
17