basic_induction_var change

[Joern Rennecke]

> My testcase was derived from code in xscreensaver, the LSM entry in the source
> says "Copying-Policy: BSD". But maybe Jörn can construct an example?

Here's an execute test:

int sum;

void
g (int i)
{
  sum += i;
}

void
f(int j)
{
  int i;

  for (i = 0; i < 9; i++)
    {
      j++;
      g (j);
      j = 9;
    }
}

int
main ()
{
  f (0);
  if (sum != 81)
    abort ();
  exit (0);
}