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