The enclosed program prints only "0" when compiled with -O2.  It should print
"0" and "1".  I've also tried 3.2.2 and the error is present.

Phil.

#include <stdio.h>

void
f(int start)
{
  int i, end;

  for (i = end = start; i <= end; ++i)
    {
      printf("%d\n", i);
      if (i == start)
	end = 1;
    }
}

int
main()
{
  f(0);
  return 0;
}