blob: ef74d8eb3ea0908286090b4a098c007e1db6a343 (
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
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
|
/* APPLE LOCAL file */
#include <stdio.h>
#include <string.h>
/* Tests interleaving of bitfields and non-bitfields. Note that they
overlap, so the code cannot possibly work, but bug compability is
the requirement. */
/* { dg-do run { target powerpc*-*-darwin* } } */
#pragma reverse_bitfields on
typedef struct
{
union
{
unsigned int i1;
struct
{
unsigned int b1: 1;
unsigned int b2: 2;
unsigned int b3: 4;
unsigned int b4: 8;
unsigned int b5: 16;
} bits;
} u1;
char baz;
union
{
struct
{
unsigned int i2;
unsigned int i3;
unsigned int i4;
} ints;
struct
{
unsigned int b1: 16;
unsigned int b2: 8;
unsigned int b3: 4;
unsigned int b4: 2;
unsigned int b5: 1;
char baz;
unsigned int b6: 2;
unsigned int b7: 4;
char baz2;
unsigned int b8: 8;
unsigned int b9: 16;
} bits;
} u2;
} Bitfields;
int main()
{
Bitfields bitfields;
memset(&bitfields, 0, sizeof(bitfields));
bitfields.u1.bits.b1 = 1;
bitfields.u1.bits.b2 = 1;
bitfields.u1.bits.b3 = 1;
bitfields.u1.bits.b4 = 1;
bitfields.u1.bits.b5 = 1;
bitfields.baz = 0x55;
bitfields.u2.bits.b1 = 1;
bitfields.u2.bits.b2 = 1;
bitfields.u2.bits.b3 = 1;
bitfields.u2.bits.b4 = 1;
bitfields.u2.bits.b5 = 1;
bitfields.u2.bits.baz = 0xaa; /* { dg-warning "overflow in implicit constant conversion" } */
bitfields.u2.bits.b6 = 1;
bitfields.u2.bits.b7 = 1;
bitfields.u2.bits.baz2 = 0x33;
bitfields.u2.bits.b8 = 1;
bitfields.u2.bits.b9 = 1;
if (bitfields.u1.i1 != 0x0000808b
|| bitfields.baz != 0x55
|| bitfields.u2.ints.i2 != 0x51010001
|| bitfields.u2.ints.i3 != 0x01003300
|| bitfields.u2.ints.i4 != 0x00000001
|| sizeof(bitfields) != 20)
return 42;
return 0;
}
|
