/* APPLE LOCAL file lno */ /* { dg-do compile } */ /* { dg-options "-O1 -floop-test -fdump-tree-lptest-details" } */ int main (void) { int a; int b; int c; /* Exercises the MINUS_EXPR. loop_1 runs 50 times. */ for (a = 100; a > 50; a--) { } } /* The analyzer has to detect the following evolution function: a -> {100, +, -1}_1 */ /* { dg-final { scan-tree-dump-times "set_nb_iterations_in_loop = 50" 1 "lptest"} } */