blob: 494f8e41813b7d5f22abcfae3919425a1e9eac9c (
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
46
47
48
49
50
51
52
53
54
55
56
57
|
/*
bug3564104.c
*/
#include <testfwk.h>
#include <stdint.h>
#ifdef __SDCC
#pragma disable_warning 127
#endif
uintptr_t array[4];
int i;
void g(const void *p)
{
array[i++] = (uintptr_t)(p);
}
void f1(uintptr_t base, const char *message)
{
for(; *message; message++)
g((const void *)(base + *message * 8));
}
void f2(uintptr_t base, const char *message)
{
for(; *message; message++)
{
volatile uintptr_t tmp = base + *message * 8;
g((const void *)(tmp));
}
}
void testBug(void)
{
char a[] = {10, 20, 30, 40, 0};
i = 0;
f1(0, a);
ASSERT(array[0] == 10 * 8);
ASSERT(array[1] == 20 * 8);
ASSERT(array[2] == 30 * 8);
ASSERT(array[3] == 40 * 8);
i = 0;
f2(0, a);
ASSERT(array[0] == 10 * 8);
ASSERT(array[1] == 20 * 8);
ASSERT(array[2] == 30 * 8);
ASSERT(array[3] == 40 * 8);
}
|
