1 /* 2 bug3130806.c 3 */ 4 5 #include <testfwk.h> 6 7 char foo[2]; 8 blah(char * m0,void * m1)9void blah(char *m0, void *m1) 10 { 11 *m0 = 1; 12 m1; 13 } 14 dostuff(unsigned char * buffer,unsigned char size)15void 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)33void testBug(void) 34 { 35 unsigned char buffer[2]; 36 dostuff(buffer, 2); 37 ASSERT(foo[0] == 0); 38 } 39