/*
   doloop-2.c from the execute part of the gcc torture tests.
 */

#include <testfwk.h>

#ifdef __SDCC
#pragma std_c99
#endif

#include <limits.h>

volatile unsigned int i;

void
testTortureExecute (void)
{
  unsigned short z = 0;

  do ++i;
  while (--z > 0);
  ASSERT (!(i != USHRT_MAX + 1U));
}