/* APPLE LOCAL file lno */ /* { dg-do compile } */ /* { dg-options "-O1 -floop-test -fdump-tree-lptest-details" } */ int foo (void); int main (void) { int a = -100; int b = 2; int c = 3; while (a) { /* Exercises if-phi-nodes. */ if (foo ()) a += b; else a += c; b++; c++; } } /* The analyzer has to detect the following evolution function: a -> {-100, +, {[2, 3], +, 1}_1}_1 */ /* FIXME. */