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 89 90 91 92 93 94 95 96 97 98 99 100 101 102 103 104 105 106 107 108 109 110 111 112 113 114 115 116 117 118 119 120 121 122 123 124 125 126 127 128 129 130 131 132 133 134 135 136 137 138 139 140 141 142 143 144 145 146 147 148 149 150 151 152 153 154 155 156 157 158 159 160 161 162 163 164 165 166 167 168 169 170 171 172 173 | // RUN: %clang_cc1 %s -fsyntax-only -verify // RUN: %clang_cc1 %s -fsyntax-only -triple=x86_64-windows-coff -verify // RUN: %clang_cc1 %s -fsyntax-only -triple=x86_64-scei-ps4 -verify // Packed structs. struct s { char a; int b __attribute__((packed)); char c; int d; }; extern int a1[sizeof(struct s) == 12 ? 1 : -1]; extern int a2[__alignof(struct s) == 4 ? 1 : -1]; struct __attribute__((packed)) packed_s { char a; int b __attribute__((packed)); char c; int d; }; extern int b1[sizeof(struct packed_s) == 10 ? 1 : -1]; extern int b2[__alignof(struct packed_s) == 1 ? 1 : -1]; struct fas { char a; int b[]; }; extern int c1[sizeof(struct fas) == 4 ? 1 : -1]; extern int c2[__alignof(struct fas) == 4 ? 1 : -1]; struct __attribute__((packed)) packed_fas { char a; int b[]; }; extern int d1[sizeof(struct packed_fas) == 1 ? 1 : -1]; extern int d2[__alignof(struct packed_fas) == 1 ? 1 : -1]; struct packed_after_fas { char a; int b[]; } __attribute__((packed)); extern int d1_2[sizeof(struct packed_after_fas) == 1 ? 1 : -1]; extern int d2_2[__alignof(struct packed_after_fas) == 1 ? 1 : -1]; // Alignment struct __attribute__((aligned(8))) as1 { char c; }; extern int e1[sizeof(struct as1) == 8 ? 1 : -1]; extern int e2[__alignof(struct as1) == 8 ? 1 : -1]; struct __attribute__((aligned)) as1_2 { char c; }; #ifdef __s390x__ extern int e1_2[sizeof(struct as1_2) == 8 ? 1 : -1]; extern int e2_2[__alignof(struct as1_2) == 8 ? 1 : -1]; #else extern int e1_2[sizeof(struct as1_2) == 16 ? 1 : -1]; extern int e2_2[__alignof(struct as1_2) == 16 ? 1 : -1]; #endif struct as2 { char c; int __attribute__((aligned(8))) a; }; extern int f1[sizeof(struct as2) == 16 ? 1 : -1]; extern int f2[__alignof(struct as2) == 8 ? 1 : -1]; struct __attribute__((packed)) as3 { char c; int a; int __attribute__((aligned(8))) b; }; extern int g1[sizeof(struct as3) == 16 ? 1 : -1]; extern int g2[__alignof(struct as3) == 8 ? 1 : -1]; // rdar://5921025 struct packedtest { int ted_likes_cheese; void *args[] __attribute__((packed)); }; // Packed union union __attribute__((packed)) au4 {char c; int x;}; extern int h1[sizeof(union au4) == 4 ? 1 : -1]; extern int h2[__alignof(union au4) == 1 ? 1 : -1]; // Aligned union union au5 {__attribute__((aligned(4))) char c;}; extern int h1[sizeof(union au5) == 4 ? 1 : -1]; extern int h2[__alignof(union au5) == 4 ? 1 : -1]; // Alignment+packed struct as6 {char c; __attribute__((packed, aligned(2))) int x;}; extern int i1[sizeof(struct as6) == 6 ? 1 : -1]; extern int i2[__alignof(struct as6) == 2 ? 1 : -1]; union au6 {char c; __attribute__((packed, aligned(2))) int x;}; extern int k1[sizeof(union au6) == 4 ? 1 : -1]; extern int k2[__alignof(union au6) == 2 ? 1 : -1]; // Check postfix attributes union au7 {char c; int x;} __attribute__((packed)); extern int l1[sizeof(union au7) == 4 ? 1 : -1]; extern int l2[__alignof(union au7) == 1 ? 1 : -1]; struct packed_fas2 { char a; int b[]; } __attribute__((packed)); extern int m1[sizeof(struct packed_fas2) == 1 ? 1 : -1]; extern int m2[__alignof(struct packed_fas2) == 1 ? 1 : -1]; // Attribute aligned can round down typedefs. PR9253 typedef long long __attribute__((aligned(1))) nt; struct nS { char buf_nr; nt start_lba; }; #if defined(_WIN32) && !defined(__declspec) // _MSC_VER is unavailable in cc1. // Alignment doesn't affect packing in MS mode. extern int n1[sizeof(struct nS) == 16 ? 1 : -1]; extern int n2[__alignof(struct nS) == 8 ? 1 : -1]; #else extern int n1[sizeof(struct nS) == 9 ? 1 : -1]; extern int n2[__alignof(struct nS) == 1 ? 1 : -1]; #endif // Packed attribute shouldn't be ignored for bit-field of char types. // Note from GCC reference manual: The 4.1, 4.2 and 4.3 series of GCC ignore // the packed attribute on bit-fields of type char. This has been fixed in // GCC 4.4 but the change can lead to differences in the structure layout. // See the documentation of -Wpacked-bitfield-compat for more information. struct packed_chars { char a:4; #ifdef __ORBIS__ // Test for pre-r254596 clang behavior on the PS4 target. PS4 must maintain // ABI backwards compatibility. char b:8 __attribute__ ((packed)); // expected-warning@-1 {{'packed' attribute ignored for field of type 'char'}} char c:4; #else char b:8 __attribute__ ((packed)); // expected-warning@-1 {{'packed' attribute was ignored on bit-fields with single-byte alignment in older versions of GCC and Clang}} char c:4; #endif }; #if (defined(_WIN32) || defined(__ORBIS__)) && !defined(__declspec) // _MSC_VER is unavailable in cc1. // On Windows clang uses MSVC compatible layout in this case. // // Additionally, test for pre-r254596 clang behavior on the PS4 target. PS4 // must maintain ABI backwards compatibility. extern int o1[sizeof(struct packed_chars) == 3 ? 1 : -1]; extern int o2[__alignof(struct packed_chars) == 1 ? 1 : -1]; #else extern int o1[sizeof(struct packed_chars) == 2 ? 1 : -1]; extern int o2[__alignof(struct packed_chars) == 1 ? 1 : -1]; #endif |