blob: 36a69b25c8e3b24835b3f3c5f6ce32597ded6230 (
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
58
59
60
61
|
/*
bug 1928022 & 1503239
*/
// the following "C"
//
// struct st { char a[1]; };
// char __xdata * const Ptr = &(((struct st __xdata *) 0x1234) -> a[0]);
//
// will generate an .asm where a label for `Ptr' is generated,
// but no space is allocated, and no initialization is done.
//
// In this piece of regression test,
// the `Fill...' variables are used to work around
// the missing space allocation.
// The cmp() will then reliably bump into those Fill.. locations
#include <testfwk.h>
struct st_a {
char b;
char a[2];
struct { char c; } s;
};
char __xdata * const Ptr_a1 = &(((struct st_a __xdata *) 0x1234) -> a[0]);
char __xdata * const Ptr_a2 = &(((struct st_a __xdata *) 0x1234) -> a[1]);
long const Fill_a = -1;
char __xdata * const Ptr_c1 = &(((struct st_a __xdata *) 0x1234) -> s.c);
long const Fill_c = -1;
char
cmp (void *a, void *b)
{
return a == b;
}
void
testBug (void)
{
#if !defined(__SDCC_pdk14) && !defined(__SDCC_pdk15) // I have no idea yet, how integers cast to pointers should behave here on pdk14.
ASSERT (cmp(Ptr_a1, (char __xdata *) 0x1235));
ASSERT (cmp(Ptr_a2, (char __xdata *) 0x1236));
ASSERT (cmp(Ptr_c1, (char __xdata *) 0x1237));
#endif
}
// bug 1503239
struct st_a foo;
const char * __code bob = &foo.b; // validateLink failed
char * Ptr1 = &(foo.a[0]); // this works
char * Ptr2 = foo.a; // caused internal compiler error
char * __code Ptr3 = &(foo.a[0]);
char * __code Ptr4 = foo.a; // compile error 129: pointer types incompatible
char * const Ptr5 = &(foo.a[0]);
char * const Ptr6 = foo.a; // compile error 129: pointer types incompatible
|
