+/*\r
+ while.c\r
+*/\r
+\r
+#include <testfwk.h>\r
+\r
+char c1 = 0, c2 = 1;\r
+\r
+void\r
+testEmptyWhile(void)\r
+{\r
+ /* loops forever if bug ist present */\r
+ do {} while (c1 && c2);\r
+\r
+ /* other cases: */\r
+ do {} while ( c1 && c1);\r
+ do {} while ( c1 && !c2);\r
+ do {} while (!c1 && !c2);\r
+ do {} while ( c2 && c1);\r
+ do {} while (!c2 && c1);\r
+ do {} while (!c2 && !c1);\r
+ do {} while (!c2 && !c2);\r
+\r
+ do {} while ( c1 || c1);\r
+ do {} while ( c1 || !c2);\r
+ do {} while (!c2 || c1);\r
+ do {} while (!c2 || !c2);\r
+\r
+ ASSERT(1);\r
+}\r