1 #include "gpsim_assert.h"
2 
3 unsigned char failures = 0;
4 
5 unsigned int aint0 = 0;
6 unsigned int aint1 = 0;
7 unsigned char achar0 = 0;
8 unsigned char achar1 = 0;
9 
10 
11 void
done()12 done()
13 {
14   ASSERT(MANGLE(failures) == 0);
15   PASSED();
16 }
17 
18 void
while1(void)19 while1 (void)
20 {
21   unsigned char i = 10;
22 
23   do
24     {
25       achar0++;
26     }
27   while (--i);
28 
29   if (achar0 != 10)
30     failures++;
31 
32 }
33 
34 
35 void
main(void)36 main (void)
37 {
38   while1 ();
39 
40 
41   done ();
42 }
43