/* APPLE LOCAL file lno */
/* { dg-do compile } */ 
/* { dg-options "-O1 -floop-test -fdump-tree-lptest-details" } */


int bar (void);

int foo ()
{
  int a = -100;
  int b = 2;
  int c = 3;
  int d = 4;
  
  while (a)
    {
      a = a + b;
      
      /* Exercises if-phi-nodes.  */
      if (bar ())
	b = b + c;
      
      c = c + d;
    }
}

/* The analyzer has to detect the following evolution functions:
   c  ->  {3, +, 4}_1
   b  ->  {2, +, {[0, 3], +, [0, 4]}_1}_1
   a  ->  {-100, +, {2, +, {[0, 3], +, [0, 4]}_1}_1}_1
*/

/* FIXME. */