blob: 78f0633da116492c62d6221657231ccbc55e597a (
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
|
/*
bug-2448.c
*/
#include <testfwk.h>
typedef unsigned char BYTE;
typedef unsigned int WORD;
volatile BYTE MYDAT[8];
#define MAKEWORD(msb, lsb) (((WORD) (msb) << 8) | (lsb))
#define SETUP_VALUE() MAKEWORD (MYDAT[3], MYDAT[2])
#define SETUP_INDEX() MAKEWORD (MYDAT[5], MYDAT[4])
#define SETUP_LENGTH() MAKEWORD (MYDAT[7], MYDAT[6])
WORD badfunc (BYTE cmd)
{
WORD val = SETUP_VALUE();
WORD idx = SETUP_INDEX();
WORD len = SETUP_LENGTH();
volatile WORD r = val + idx + len;
if (cmd == 0)
return len;
else
return 0;
}
void testBug (void)
{
MYDAT[2] = 10; // val
MYDAT[3] = 0;
MYDAT[4] = 11; // idx
MYDAT[5] = 0;
MYDAT[6] = 12; // len
MYDAT[7] = 0;
ASSERT (badfunc (0) == 12);
ASSERT (badfunc (1) == 0);
}
|
