Applied patch #2762516

[fw/sdcc] / src / regression / while.c

diff --git a/src/regression/while.c b/src/regression/while.c
index 74e9942bf4f28a97ecd736cdb753a7513e664265..4429b8859f0346cdc84cbabd2fdb3b47b5a2e682 100644 (file)
--- a/src/regression/while.c
+++ b/src/regression/while.c
@@ -1,42 +1,42 @@
-//#include "p16c84.h"
+#include "gpsim_assert.h"
 
-unsigned char success=0;
-unsigned char failures=0;
-unsigned char dummy=0;
+unsigned char failures = 0;
 
-bit bit0 = 0;
 unsigned int aint0 = 0;
 unsigned int aint1 = 0;
 unsigned char achar0 = 0;
 unsigned char achar1 = 0;
 
 
-void done()
+void
+done()
 {
-
-  dummy++;
-
+  ASSERT(MANGLE(failures) == 0);
+  PASSED();
 }
 
-void while1(void)
+void
+while1 (void)
 {
-  unsigned char i=10;
+  unsigned char i = 10;
 
-  do {
-    achar0++;
-  } while(--i);
+  do
+    {
+      achar0++;
+    }
+  while (--i);
 
-  if(achar0 != 10)
+  if (achar0 != 10)
     failures++;
 
 }
 
 
-void main(void)
+void
+main (void)
 {
-  while1();
+  while1 ();
 
 
-  success = failures;
-  done();
+  done ();
 }