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

int main(void)
{
  int a = 5;
  int b = 6;
  int c = 20;
  
  while (a <= 100)
    {
      int i;
      
      a = b;
      for (i = 0; i <= 12; i++)
	{
	  a++;
	}
      b = b + c;
    }
}

/* This example has been distilled from Pattern1 that cannot be
   handled: "Big steps, small steps" from the ICS'01 paper "Monotonic
   Evolution" by Peng Wu.
   
   The analyzer has to detect the following evolution functions:
   i  ->  {0, +, 1}_2
   b  ->  {6, +, 20}_1
   a  ->  {{6, +, 20}_1, +, 1}_2
*/

/* FIXME. */