gcc/testsuite/gcc.c-torture/execute/loop-3.c

/* { dg-additional-options "-std=gnu89" } */

#include <limits.h>

int n = 0;

g (i)
{
  n++;
}

f (m)
{
  int i;
  i = m;
  do
    {
      g ((int)((unsigned)i * INT_MAX) / 2);
    }
  while (--i > 0);
}

main ()
{
  f (4);
  if (n != 4)
    abort ();
  exit (0);
}