10 testEmptyWhile(void)
\r
12 /* loops forever if bug ist present */
\r
13 do {} while (c1 && c2);
\r
16 do {} while ( c1 && c1);
\r
17 do {} while ( c1 && !c2);
\r
18 do {} while (!c1 && !c2);
\r
19 do {} while ( c2 && c1);
\r
20 do {} while (!c2 && c1);
\r
21 do {} while (!c2 && !c1);
\r
22 do {} while (!c2 && !c2);
\r
24 do {} while ( c1 || c1);
\r
25 do {} while ( c1 || !c2);
\r
26 do {} while (!c2 || c1);
\r
27 do {} while (!c2 || !c2);
\r