blob: 8d07e487c1c06a88e4a1db0bb8a0aa1d4b7cca61 (
plain)
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
39
40
41
42
43
44
45
|
/*
bug1409955.c
*/
#include <testfwk.h>
void
WriteToXData (char *buffer)
{
(void)buffer;
}
void
test_push_pop (void)
{
char a;
__xdata char *p;
char d[5];
d[0] = 0;
d[1] = 0;
d[2] = 0;
d[3] = 0;
d[4] = 0;
p = 0;
do
{
if ((unsigned short)p > 10)
a = 10 - (char)p;
else
a = 60;
d[0] = 0x12;
d[1] = 0x34;
WriteToXData (d); // Watch the xdata: 0, 1!
p += a;
ASSERT (d[0] == 0x12);
ASSERT (d[1] == 0x34);
}
while (!p);
d[0] = 1;
d[1] = 2;
d[2] = 3;
d[3] = 4;
d[4] = 5;
}
|
