| /* APPLE LOCAL file lno */ | |
| /* { dg-do compile } */ | |
| /* { dg-options "-O1 -floop-test -fdump-tree-lptest-details" } */ | |
| int | |
| foo (int i, | |
| int precision) | |
| { | |
| i = precision - i - 1; | |
| /* At this point the analyzer is confused by the initialisation of "i". | |
| It keeps the initial condition under a symbolic form: "i_1". */ | |
| while (--i); | |
| } | |
| /* i -> {i_1, +, -1}_1 */ | |
| /* FIXME. */ |