12 static void func (void)
43 d
= malloc(sizeof(*d
));
52 * check-name: Null Dereferences
53 * check-command: smatch sm_null_deref.c
56 sm_null_deref.c +18 func(6) error: dereferencing undefined: 'aa'
57 sm_null_deref.c +23 func(11) error: dereferencing undefined: 'a'
58 sm_null_deref.c +25 func(13) warn: variable derefenced before check 'a'
59 sm_null_deref.c +30 func(18) error: dereferencing undefined: 'b'
60 sm_null_deref.c +48 func(36) error: dereferencing undefined: 'd'