1// RUN: %clang_cc1 %s -fsyntax-only -verify -triple=i686-apple-darwin9
2// expected-no-diagnostics
3
4#define CHECK_SIZE(kind, name, size) extern int name##1[sizeof(kind name) == size ? 1 : -1];
5#define CHECK_ALIGN(kind, name, size) extern int name##2[__alignof(kind name) == size ? 1 : -1];
6
7// Zero-width bit-fields
8struct a {char x; int : 0; char y;};
9CHECK_SIZE(struct, a, 5)
10CHECK_ALIGN(struct, a, 1)
11
12// Zero-width bit-fields with packed
13struct __attribute__((packed)) a2 { short x : 9; char : 0; int y : 17; };
14CHECK_SIZE(struct, a2, 5)
15CHECK_ALIGN(struct, a2, 1)
16
17// Zero-width bit-fields at the end of packed struct
18struct __attribute__((packed)) a3 { short x : 9; int : 0; };
19CHECK_SIZE(struct, a3, 4)
20CHECK_ALIGN(struct, a3, 1)
21
22// For comparison, non-zero-width bit-fields at the end of packed struct
23struct __attribute__((packed)) a4 { short x : 9; int : 1; };
24CHECK_SIZE(struct, a4, 2)
25CHECK_ALIGN(struct, a4, 1)
26
27union b {char x; int : 0; char y;};
28CHECK_SIZE(union, b, 1)
29CHECK_ALIGN(union, b, 1)
30
31// Unnamed bit-field align
32struct c {char x; int : 20;};
33CHECK_SIZE(struct, c, 4)
34CHECK_ALIGN(struct, c, 1)
35
36union d {char x; int : 20;};
37CHECK_SIZE(union, d, 3)
38CHECK_ALIGN(union, d, 1)
39
40// Bit-field packing
41struct __attribute__((packed)) e {int x : 4, y : 30, z : 30;};
42CHECK_SIZE(struct, e, 8)
43CHECK_ALIGN(struct, e, 1)
44
45// Alignment on bit-fields
46struct f {__attribute((aligned(8))) int x : 30, y : 30, z : 30;};
47CHECK_SIZE(struct, f, 24)
48CHECK_ALIGN(struct, f, 8)
49
50// Large structure (overflows i32, in bits).
51struct s0 {
52  char a[0x32100000];
53  int x:30, y:30;
54};
55
56CHECK_SIZE(struct, s0, 0x32100008)
57CHECK_ALIGN(struct, s0, 4)
58
59