/* 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. */