db/fixup_kernel.sh: fix clear_user() handling
[smatch.git] / validation / cast-kinds-check.c
blob32a106d413da7bb295e97b0b297205a045b58394
1 #include "optim/cast-kinds.c"
3 /*
4 * check-name: cast-kinds check
5 * check-command: sparse -m64 -v -Wno-pointer-to-int-cast $file
6 * check-assert: sizeof(long) == 8
8 * check-error-start
9 cast-kinds-check.c: note: in included file:
10 optim/cast-kinds.c:5:45: warning: cast drops bits
11 optim/cast-kinds.c:6:47: warning: cast drops bits
12 optim/cast-kinds.c:7:46: warning: cast drops bits
13 optim/cast-kinds.c:8:45: warning: cast drops bits
14 optim/cast-kinds.c:12:48: warning: cast drops bits
15 optim/cast-kinds.c:13:50: warning: cast drops bits
16 optim/cast-kinds.c:14:49: warning: cast drops bits
17 optim/cast-kinds.c:15:48: warning: cast drops bits
18 optim/cast-kinds.c:37:48: warning: non size-preserving integer to pointer cast
19 optim/cast-kinds.c:38:50: warning: non size-preserving integer to pointer cast
20 * check-error-end