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