db/fixup_kernel.sh: fix clear_user() handling
[smatch.git] / validation / flex-array-align.c
blob9f28942a1ee18479bc3e7744e1445b701ee7787d
1 struct s {
2 __INT32_TYPE__ x;
3 __INT16_TYPE__ y;
4 unsigned char f[];
5 };
7 static int foo(struct s *s)
9 return (sizeof(*s) << 16) | __builtin_offsetof(typeof(*s), f);
13 * check-name: flex-array-align
14 * check-command: test-linearize -Wno-flexible-array-sizeof $file
16 * check-output-ignore
17 * check-output-contains: ret\\..*\\$0x80006