git.gag.com Git - debian/cc1111/blob - support/regression/tests/while.c

   1 /*
   2    while.c
   3 */
   4
   5 #include <testfwk.h>
   6
   7 char c1 = 0, c2 = 1;
   8
   9 void
  10 testEmptyWhile(void)
  11 {
  12   /* loops forever if bug ist present */
  13   do {} while (c1 && c2);
  14
  15   /* other cases: */
  16   do {} while ( c1 &&  c1);
  17   do {} while ( c1 && !c2);
  18   do {} while (!c1 && !c2);
  19   do {} while ( c2 &&  c1);
  20   do {} while (!c2 &&  c1);
  21   do {} while (!c2 && !c1);
  22   do {} while (!c2 && !c2);
  23
  24   do {} while ( c1 ||  c1);
  25   do {} while ( c1 || !c2);
  26   do {} while (!c2 ||  c1);
  27   do {} while (!c2 || !c2);
  28
  29   ASSERT(1);
  30 }