blob: c4bd492656d474ee404126e7f32856d64dd87caf (
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
|
#include <stddef.h>
struct S {
int i;
int j;
};
struct R {
int k;
struct S a;
};
struct Q {
float k;
struct S a;
};
struct Q s;
int __attribute__((noinline,noclone))
test1 (void *q)
{
struct S *b = (struct S *)((char *)q + sizeof (int));
s.a.i = 0;
b->i = 3;
return s.a.i;
}
int __attribute__((noinline,noclone))
test2 (void *q)
{
struct S *b = &((struct R *)q)->a;
s.a.i = 0;
b->i = 3;
return s.a.i;
}
int __attribute__((noinline,noclone))
test3 (void *q)
{
s.a.i = 0;
((struct S *)((char *)q + sizeof (int)))->i = 3;
return s.a.i;
}
extern void abort (void);
int
main()
{
if (sizeof (float) != sizeof (int)
|| offsetof (struct R, a) != sizeof (int)
|| offsetof (struct Q, a) != sizeof (int))
return 0;
s.a.i = 1;
s.a.j = 2;
if (test1 ((void *)&s) != 3)
abort ();
s.a.i = 1;
s.a.j = 2;
if (test2 ((void *)&s) != 3)
abort ();
s.a.i = 1;
s.a.j = 2;
if (test3 ((void *)&s) != 3)
abort ();
return 0;
}
|
