Daniel Dunbar | d7d5f02 | 2009-03-24 02:24:46 +0000 | [diff] [blame] | 1 | // RUN: clang-cc %s -fsyntax-only -verify |
Anders Carlsson | 6a24acb | 2008-02-16 01:20:23 +0000 | [diff] [blame] | 2 | |
Anders Carlsson | 5a1b0c4 | 2008-02-16 19:51:36 +0000 | [diff] [blame] | 3 | // Packed structs. |
Anders Carlsson | 6a24acb | 2008-02-16 01:20:23 +0000 | [diff] [blame] | 4 | struct s { |
| 5 | char a; |
| 6 | int b __attribute__((packed)); |
| 7 | char c; |
| 8 | int d; |
| 9 | }; |
| 10 | |
Anders Carlsson | 5a1b0c4 | 2008-02-16 19:51:36 +0000 | [diff] [blame] | 11 | extern int a1[sizeof(struct s) == 12 ? 1 : -1]; |
| 12 | extern int a2[__alignof(struct s) == 4 ? 1 : -1]; |
| 13 | |
Anders Carlsson | 6a24acb | 2008-02-16 01:20:23 +0000 | [diff] [blame] | 14 | struct __attribute__((packed)) packed_s { |
| 15 | char a; |
| 16 | int b __attribute__((packed)); |
| 17 | char c; |
| 18 | int d; |
| 19 | }; |
| 20 | |
Anders Carlsson | 5a1b0c4 | 2008-02-16 19:51:36 +0000 | [diff] [blame] | 21 | extern int b1[sizeof(struct packed_s) == 10 ? 1 : -1]; |
| 22 | extern int b2[__alignof(struct packed_s) == 1 ? 1 : -1]; |
| 23 | |
Anders Carlsson | 6a24acb | 2008-02-16 01:20:23 +0000 | [diff] [blame] | 24 | struct fas { |
| 25 | char a; |
| 26 | int b[]; |
| 27 | }; |
| 28 | |
Anders Carlsson | 5a1b0c4 | 2008-02-16 19:51:36 +0000 | [diff] [blame] | 29 | extern int c1[sizeof(struct fas) == 4 ? 1 : -1]; |
| 30 | extern int c2[__alignof(struct fas) == 4 ? 1 : -1]; |
| 31 | |
Anders Carlsson | 6a24acb | 2008-02-16 01:20:23 +0000 | [diff] [blame] | 32 | struct __attribute__((packed)) packed_fas { |
| 33 | char a; |
| 34 | int b[]; |
| 35 | }; |
| 36 | |
Anders Carlsson | 6a24acb | 2008-02-16 01:20:23 +0000 | [diff] [blame] | 37 | extern int d1[sizeof(struct packed_fas) == 1 ? 1 : -1]; |
| 38 | extern int d2[__alignof(struct packed_fas) == 1 ? 1 : -1]; |
Anders Carlsson | 5a1b0c4 | 2008-02-16 19:51:36 +0000 | [diff] [blame] | 39 | |
| 40 | // Alignment |
| 41 | |
| 42 | struct __attribute__((aligned(8))) as1 { |
| 43 | char c; |
| 44 | }; |
| 45 | |
| 46 | extern int e1[sizeof(struct as1) == 8 ? 1 : -1]; |
| 47 | extern int e2[__alignof(struct as1) == 8 ? 1 : -1]; |
| 48 | |
Daniel Dunbar | 7549c55 | 2009-02-18 20:06:09 +0000 | [diff] [blame] | 49 | // FIXME: Will need to force arch once max usable alignment isn't hard |
| 50 | // coded. |
| 51 | struct __attribute__((aligned)) as1_2 { |
| 52 | char c; |
| 53 | }; |
| 54 | extern int e1_2[sizeof(struct as1_2) == 16 ? 1 : -1]; |
| 55 | extern int e2_2[__alignof(struct as1_2) == 16 ? 1 : -1]; |
| 56 | |
Anders Carlsson | 5a1b0c4 | 2008-02-16 19:51:36 +0000 | [diff] [blame] | 57 | struct as2 { |
| 58 | char c; |
| 59 | int __attribute__((aligned(8))) a; |
| 60 | }; |
| 61 | |
| 62 | extern int f1[sizeof(struct as2) == 16 ? 1 : -1]; |
| 63 | extern int f2[__alignof(struct as2) == 8 ? 1 : -1]; |
| 64 | |
| 65 | struct __attribute__((packed)) as3 { |
| 66 | char c; |
| 67 | int a; |
| 68 | int __attribute__((aligned(8))) b; |
| 69 | }; |
| 70 | |
| 71 | extern int g1[sizeof(struct as3) == 16 ? 1 : -1]; |
| 72 | extern int g2[__alignof(struct as3) == 8 ? 1 : -1]; |
Chris Lattner | abb5758 | 2008-05-09 05:34:49 +0000 | [diff] [blame] | 73 | |
| 74 | |
| 75 | // rdar://5921025 |
| 76 | struct packedtest { |
| 77 | int ted_likes_cheese; |
| 78 | void *args[] __attribute__((packed)); |
| 79 | }; |
Eli Friedman | 4bd998b | 2008-05-30 09:31:38 +0000 | [diff] [blame] | 80 | |
| 81 | // Packed union |
| 82 | union __attribute__((packed)) au4 {char c; int x;}; |
| 83 | extern int h1[sizeof(union au4) == 4 ? 1 : -1]; |
| 84 | extern int h2[__alignof(union au4) == 1 ? 1 : -1]; |
| 85 | |
| 86 | // Aligned union |
| 87 | union au5 {__attribute__((aligned(4))) char c;}; |
| 88 | extern int h1[sizeof(union au5) == 4 ? 1 : -1]; |
| 89 | extern int h2[__alignof(union au5) == 4 ? 1 : -1]; |
| 90 | |
| 91 | // Alignment+packed |
| 92 | struct as6 {char c; __attribute__((packed, aligned(2))) int x;}; |
| 93 | extern int i1[sizeof(struct as6) == 6 ? 1 : -1]; |
| 94 | extern int i2[__alignof(struct as6) == 2 ? 1 : -1]; |
| 95 | |
| 96 | union au6 {char c; __attribute__((packed, aligned(2))) int x;}; |
| 97 | extern int k1[sizeof(union au6) == 4 ? 1 : -1]; |
| 98 | extern int k2[__alignof(union au6) == 2 ? 1 : -1]; |
| 99 | |
Daniel Dunbar | 7d07664 | 2008-10-03 17:33:35 +0000 | [diff] [blame] | 100 | // Check postfix attributes |
| 101 | union au7 {char c; int x;} __attribute__((packed)); |
| 102 | extern int l1[sizeof(union au7) == 4 ? 1 : -1]; |
| 103 | extern int l2[__alignof(union au7) == 1 ? 1 : -1]; |
| 104 | |
| 105 | struct packed_fas2 { |
| 106 | char a; |
| 107 | int b[]; |
| 108 | } __attribute__((packed)); |
| 109 | |
| 110 | extern int m1[sizeof(struct packed_fas2) == 1 ? 1 : -1]; |
| 111 | extern int m2[__alignof(struct packed_fas2) == 1 ? 1 : -1]; |