extra: frob(foo) resets the value of *foo
commit538c3a884cd63fd434e270eefa1e8ce8c7d57a8d
authorDan Carpenter <dan.carpenter@oracle.com>
Thu, 19 Apr 2012 21:13:49 +0000 (20 00:13 +0300)
committerDan Carpenter <dan.carpenter@oracle.com>
Thu, 19 Apr 2012 21:13:49 +0000 (20 00:13 +0300)
treef5299dc8f9ad2a2a88a9534ac6e43ec35339de9d
parentc87f83f59b2648d96394bee5aef13f5f709cdcc6
extra: frob(foo) resets the value of *foo

If we have a state set for "*foo" and we call a function like frob(foo);
then we should reset the value of "*foo" to undefined.

Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
smatch_extra.c