extra: foo((void *)&x) writes to x probably
commitc87f83f59b2648d96394bee5aef13f5f709cdcc6
authorDan Carpenter <dan.carpenter@oracle.com>
Thu, 19 Apr 2012 21:11:39 +0000 (20 00:11 +0300)
committerDan Carpenter <dan.carpenter@oracle.com>
Thu, 19 Apr 2012 21:11:39 +0000 (20 00:11 +0300)
treeaff0842cc9df5af050891f8204d2884d25d838ee
parent728065d1cd09f96ec8efeaa26ff5fa6f06675a21
extra: foo((void *)&x) writes to x probably

We need to strip away the cast to see the '&' operation.

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