1 /*
2    bug3130806.c
3  */
4 
5 #include <testfwk.h>
6 
7 char foo[2];
8 
blah(char * m0,void * m1)9 void blah(char *m0, void *m1)
10 {
11     *m0 = 1;
12     m1;
13 }
14 
dostuff(unsigned char * buffer,unsigned char size)15 void dostuff(unsigned char* buffer, unsigned char size)
16 {
17 	unsigned char x = 0;
18 	unsigned char y = 0;
19 
20     while (x < 1)
21 	{
22 		y = (size - x);
23 
24 		if (y == 2)
25 			return;
26 
27         blah(&foo[x], &buffer[y]);
28 
29     	x += y;
30     }
31 }
32 
testBug(void)33 void testBug(void)
34 {
35     unsigned char buffer[2];
36     dostuff(buffer, 2);
37     ASSERT(foo[0] == 0);
38 }
39