3 static int options_write(void)
25 * check-name: smatch cast handling
26 * check-command: smatch sm_casts.c
29 sm_casts.c +13 options_write(10) warn: -400 is less than -128 (min 'c' can be) so this is always true.
30 sm_casts.c +15 options_write(12) warn: -400 is less than -128 (min 'c' can be) so this is always false.
31 sm_casts.c +17 options_write(14) warn: 400 is more than 127 (max 'c' can be) so this is always true.
32 sm_casts.c +19 options_write(16) warn: -400 is less than -128 (min 'c' can be) so this is always false.
33 sm_casts.c +21 options_write(18) warn: assigning -12 to unsigned variable 'b'