For some reason smatch can't find these header files on my other system.
[smatch.git] / validation / typesign.c
bloba3dfc099e7d0658ce91617bdbe8cbafe65ce0056
1 static unsigned int * s_to_u_return(signed int *sp)
3 return sp;
6 static signed int * u_to_s_return(unsigned int *up)
8 return up;
11 static unsigned int * s_to_u_init(signed int *sp)
13 unsigned int *up = sp;
14 return up;
17 static signed int * u_to_s_init(unsigned int *up)
19 signed int *sp = up;
20 return sp;
23 static unsigned int * s_to_u_assign(signed int *sp)
25 unsigned int *up;
26 up = sp;
27 return up;
30 static signed int * u_to_s_assign(unsigned int *up)
32 signed int *sp;
33 sp = up;
34 return sp;
38 * check-name: -Wtypesign
39 * check-command: sparse -Wtypesign $file
41 * check-error-start
42 typesign.c:3:9: warning: incorrect type in return expression (different signedness)
43 typesign.c:3:9: expected unsigned int *
44 typesign.c:3:9: got signed int *sp
45 typesign.c:8:9: warning: incorrect type in return expression (different signedness)
46 typesign.c:8:9: expected signed int *
47 typesign.c:8:9: got unsigned int *up
48 typesign.c:13:21: warning: incorrect type in initializer (different signedness)
49 typesign.c:13:21: expected unsigned int *up
50 typesign.c:13:21: got signed int *sp
51 typesign.c:19:19: warning: incorrect type in initializer (different signedness)
52 typesign.c:19:19: expected signed int *sp
53 typesign.c:19:19: got unsigned int *up
54 typesign.c:26:5: warning: incorrect type in assignment (different signedness)
55 typesign.c:26:5: expected unsigned int *up
56 typesign.c:26:5: got signed int *sp
57 typesign.c:33:5: warning: incorrect type in assignment (different signedness)
58 typesign.c:33:5: expected signed int *sp
59 typesign.c:33:5: got unsigned int *up
60 * check-error-end