| /* APPLE LOCAL file lno */ |
| /* { dg-do compile } */ |
| /* { dg-options "-O1 -floop-test -fdump-tree-lptest-details" } */ |
| |
| int main(void) |
| { |
| int a = 5; |
| int b = 6; |
| int c = 20; |
| |
| while (a <= 100) |
| { |
| int i; |
| |
| a = b; |
| for (i = 0; i <= 12; i++) |
| { |
| a++; |
| } |
| b = b + c; |
| } |
| } |
| |
| /* This example has been distilled from Pattern1 that cannot be |
| handled: "Big steps, small steps" from the ICS'01 paper "Monotonic |
| Evolution" by Peng Wu. |
| |
| The analyzer has to detect the following evolution functions: |
| i -> {0, +, 1}_2 |
| b -> {6, +, 20}_1 |
| a -> {{6, +, 20}_1, +, 1}_2 |
| */ |
| |
| /* FIXME. */ |
