1 /*
2     bug 1721024
3 */
4 
5 #include <testfwk.h>
6 
7 static unsigned char temp1;
8 static unsigned char temp2;
9 
tst(unsigned long acc)10 void tst(unsigned long acc)
11 {
12 	UNUSED(acc);
13 	temp1--;
14 	if (temp1==0)
15 	{
16 		temp2=0;
17 	}
18 }
19 
20 void
testBug(void)21 testBug(void)
22 {
23 	temp1 = 1;
24 	temp2 = 2;
25 	tst(0xFFFFFFFF);	//make sure acc!=0
26 	ASSERT(temp2 == 0);
27 }
28