db/fixup_kernel.sh: fix clear_user() handling
[smatch.git] / validation / sizeof-bool.c
blob9f21d1c65e3705425f1a121032d89bcfce53649a
1 static int a(void)
3 return sizeof(_Bool);
5 /*
6 * check-name: sizeof(_Bool) is valid
7 * check-description: sizeof(_Bool) was rejected because _Bool is not an even
8 * number of bytes
9 * check-command: sparse -Wsizeof-bool $file
10 * check-error-start
11 sizeof-bool.c:3:16: warning: expression using sizeof _Bool
12 * check-error-end