/* APPLE LOCAL file lno */ /* { dg-do compile } */ /* { dg-options "-O1 -floop-test -fdump-tree-lptest-details" } */ int bar (void); int foo (int x) { int a = -100; int b = 2; while (b) { if (x) a += 3; else a += bar (); /* Exercises the case when one of the branches of the if-phi-node cannot be determined: [-oo, +oo]. Since the evolution function is too difficult to handle in the expanded form, we have to keep it in its symbolic form: "b -> {2, +, a_1}_1". */ b += a; } } /* a -> {-100, +, [min<t, 3>, max<t, 3>]}_1 b -> {2, +, {[min<t, 3>, max<t, 3>] - 100, +, [min<t, 3>, max<t, 3>]}_1}_1 */ /* FIXME. */