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