aboutsummaryrefslogtreecommitdiffstatshomepage
path: root/validation/cast-kinds-check.c
blob: 0fe705f5e0c4021c23fb19db0d91e1ebef267c60 (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
#include "linear/cast-kinds.c"

/*
 * check-name: cast-kinds check
 * check-command: sparse -m64 -v -Wno-pointer-to-int-cast $file
 *
 * check-error-start
linear/cast-kinds.c:5:45: warning: cast drops bits
linear/cast-kinds.c:6:47: warning: cast drops bits
linear/cast-kinds.c:7:46: warning: cast drops bits
linear/cast-kinds.c:8:45: warning: cast drops bits
linear/cast-kinds.c:12:48: warning: cast drops bits
linear/cast-kinds.c:13:50: warning: cast drops bits
linear/cast-kinds.c:14:49: warning: cast drops bits
linear/cast-kinds.c:15:48: warning: cast drops bits
linear/cast-kinds.c:37:42: warning: non size-preserving integer to pointer cast
linear/cast-kinds.c:38:44: warning: non size-preserving integer to pointer cast
 * check-error-end
 */