bug-477927.c

Small Device C Compiler 面向Inter8051

/* Tests an uninitalised variable bug.
   t is not initalised in all paths in the do loop, causing the while
   conditional to fail unpredictably.

   Doesn't actually test, is really an example.
 */
#include <testfwk.h>

typedef unsigned char UBYTE;

UBYTE
randish(void)
{
  static int count;

  if ((++count)&3) {
    return 1;
  }
  else {
    return 0;
  }
}

void
spoil(UBYTE ignored)
{
  UNUSED(ignored);
}

UBYTE accu[2];

void 
testLoopInit(void)
{
  UBYTE t, r;

  do {
    r = randish();

    if(r != 1) {
      t = ++accu[r];
      spoil(t);
    }
  }
  while(t != 3);
}