1 // This tests sparse "-vcompound" output. 2 #define NULL ((void*)0) 3 typedef unsigned int uint32_t; 4 typedef unsigned long long uint64_t; 5 6 // Do not list functions. 7 static int do_nothing(void) 8 {} 9 10 // no: 11 static inline int zero(void) 12 { 13 return 0 / 1; 14 } 15 16 // no: 17 struct inventory { 18 unsigned char description[64]; 19 unsigned char department[64]; 20 uint32_t dept_number; 21 uint32_t item_cost; 22 uint64_t stock_number; 23 uint32_t tally[12]; // per month 24 }; 25 26 // no 27 static struct inventory *get_inv(uint64_t stocknum) 28 { 29 return NULL; 30 } 31 32 // no 33 union un { 34 struct inventory inv; 35 unsigned char bytes[0]; 36 }; 37 38 // yes 39 static union un un; 40 41 // yes 42 static struct inventory inven[100]; 43 44 // no 45 typedef struct inventory inventory_t; 46 47 // no 48 static struct inventory *invptr; 49 50 // yes 51 static inventory_t invent[10]; 52 53 // no 54 static float floater; 55 static double double_float; 56 57 // yes 58 static float floats[42]; 59 static double doubles[84]; 60 61 // no 62 int main(void) 63 { 64 // no, these are not global. 65 struct inventory inv[10]; 66 inventory_t invt[10]; 67 // what about statics? 68 static struct inventory invtop; 69 static inventory_t inv_top; 70 static uint64_t stocknums[100]; 71 72 invptr = get_inv(42000); 73 return 0; 74 } 75 76 /* 77 * check-name: compound-sizes 78 * check-command: sparse -vcompound $file 79 * check-assert: _Alignof(long long) == 8 80 * 81 * check-error-start 82 compound-sizes.c:39:17: union un static [toplevel] un: compound size 192, alignment 8 83 compound-sizes.c:42:25: struct inventory static [toplevel] inven[100]: compound size 19200, alignment 8 84 compound-sizes.c:51:33: struct inventory static [toplevel] [usertype] invent[10]: compound size 1920, alignment 8 85 compound-sizes.c:58:25: float static [toplevel] floats[42]: compound size 168, alignment 4 86 compound-sizes.c:59:25: double static [toplevel] doubles[84]: compound size 672, alignment 8 87 * check-error-end 88 */ 89