kpatch: use git instead of trying to create diffs by hand
[smatch.git] / validation / bitwise-cast.c
blobbaeca29e75f4d668083d05be893dd3c9d39575bf
1 typedef unsigned int u32;
2 typedef u32 __attribute__((bitwise)) __be32;
4 /* Implicit casts of 0, legal */
5 static __be32 foo(void)
7 __be32 x = 0;
9 return 0;
12 /* Explicit cast of 0, legal */
13 static __be32 bar(void)
15 return (__be32)0;
18 /* Implicit casts of nonzero, bad */
19 static __be32 baz(void)
21 __be32 x = 0x2a;
23 return 99;
26 /* Explicit cast of nonzero, bad */
27 static __be32 quux(void)
29 return (__be32)1729;
33 * check-name: conversions to bitwise types
34 * check-command: sparse -Wbitwise $file
35 * check-error-start
36 bitwise-cast.c:21:20: warning: incorrect type in initializer (different base types)
37 bitwise-cast.c:21:20: expected restricted __be32 [usertype] x
38 bitwise-cast.c:21:20: got int
39 bitwise-cast.c:23:16: warning: incorrect type in return expression (different base types)
40 bitwise-cast.c:23:16: expected restricted __be32
41 bitwise-cast.c:23:16: got int
42 bitwise-cast.c:29:17: warning: cast to restricted __be32
43 * check-error-end