ssa-chrec-17.c   [plain text]

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


int bar (void);

void foo ()
{
  int a = -100;
  int b = 2;
  
  while (b)
    {
      if (bar ())
	a += 3;
      else
	a = 2;
      
      /* Exercises the case when one of the branches of the if-phi-node is a constant.
	 FIXME:  
	 - What is the chrec representation of such an evolution?  
	 - Does this kind of code exist in real codes?  */
      b += a;
    }
}

/* For the moment the analyzer is expected to output a "don't know" answer, 
   both for the initial condition and for the evolution part.  This is done 
   in the merge condition branches information.  
   
   a  ->  [-oo, +oo]
   b  ->  {2, +, a_1}_1
*/

/* FIXME. */