921202-1.c

this is a gcc file, you can download it and learn its usetility, for further detail please look at t

f ()
{
  long dx[2055];
  long dy[2055];
  long s1[2055];
  int x, y;
  int i;
  long s;

  for (;;)
    {
      s = 2055;
      g (s1, s);
      for (i = 0; i < 1; i++);
      dy[s] = 0x12345;
      for (i = 0; i < 1; i++);
      if (x != y || h (dx, dy, s) || dx[s] != 0x12345)
	{
	  j (y);k (dy);
	}
    }
}