30 * check-name: Dereferencing before check
31 * check-command: smatch sm_deref_check_deref.c
34 sm_deref_check_deref.c +20 func(9) warn: variable dereferenced before check 'px' (see line 16)
35 sm_deref_check_deref.c +24 func(13) warn: variable dereferenced before check 'y' (see line 23)