-/*\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
+/*
+ while.c
+*/
+
+#include <testfwk.h>
+
+char c1 = 0, c2 = 1;
+
+void
+testEmptyWhile(void)
+{
+ /* loops forever if bug ist 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);
+}