| /* PR 30730, PR 26900, number of iterations analysis should be able to |
| determine number of iterations of the following loops unconditionally. */ |
| |
| /* { dg-do compile } */ |
| /* { dg-options "-O -fstrict-overflow -fdump-tree-empty" } */ |
| |
| unsigned foo(unsigned int n) |
| { |
| unsigned x = 0;; |
| |
| while (n > 10) |
| { |
| n -= 2; |
| x++; |
| } |
| |
| return x; |
| } |
| |
| int foo0(int i0, int i1) |
| { |
| int i, j = 0; |
| for (i=i0; i<=i1+1; ++i) |
| ++j; |
| return j; |
| } |
| |
| /* { dg-final { scan-tree-dump-times "Removing empty loop" 2 "empty" } } */ |
| /* { dg-final { cleanup-tree-dump "empty" } } */ |