param_cleared: handle array assignments
commitcbe0c3e459f73a8a2d476676c65a4e70d1ecdf6d
authorDan Carpenter <dan.carpenter@oracle.com>
Mon, 15 Dec 2014 10:14:20 +0000 (15 13:14 +0300)
committerDan Carpenter <dan.carpenter@oracle.com>
Mon, 15 Dec 2014 10:14:20 +0000 (15 13:14 +0300)
tree3fcbfcd5c69eed8fe616079709319b8cdf3263f3
parente4e118181989e1e96d8900ad1ba542e0a5f7cf04
param_cleared: handle array assignments

Say you have:

memset(foo, 0, sizeof(*foo) * 4);

That's maybe the same as:

for (i = 0; i < 4; i++)
foo[i] = 0;

Both clear the array.  So now Smatch treats them the same way.

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