7 /* in the current version of smatch this erases
8 the old implications. Later version should
9 fix this. --Dec 2 2009 */
13 *ptr
= 0; // smatch used to print an error here.
18 * check-name: Dereferencing Undefined
19 * check-command: smatch sm_null_deref2.c
22 sm_null_deref2.c:15 frob() error: we previously assumed 'ptr' could be null (see line 12)