12 if (*a
== (unsigned int)-1)
14 if (*b
== (unsigned int)-1)
16 if (*c
== (unsigned int)-1)
18 if (*d
== (unsigned int)-1)
22 if (*****d
== (unsigned int)-1)
27 * check-name: smatch casts pointers
28 * check-command: smatch sm_casts2.c
31 sm_casts2.c:12 main() error: *a is never equal to max (wrong type 0 - 255).
32 sm_casts2.c:22 main() error: *****d is never equal to max (wrong type (-128) - 127).