1  #include <limits.h>
       2  
       3  int n = 0;
       4  
       5  g (i)
       6  {
       7    n++;
       8  }
       9  
      10  f (m)
      11  {
      12    int i;
      13    i = m;
      14    do
      15      {
      16        g (i * 4);
      17        i -= INT_MAX / 8;
      18      }
      19    while (i > 0);
      20  }
      21  
      22  main ()
      23  {
      24    f (INT_MAX/8*4);
      25    if (n != 4)
      26      abort ();
      27    exit (0);
      28  }