param_set/filter: don't print less useless information
commit5b8aa6d3e3000e9e10aebbff6e0734f2ea49084c
authorDan Carpenter <dan.carpenter@oracle.com>
Fri, 20 Jun 2014 09:45:51 +0000 (20 12:45 +0300)
committerDan Carpenter <dan.carpenter@oracle.com>
Fri, 20 Jun 2014 09:45:51 +0000 (20 12:45 +0300)
tree605fe52bd2412468890bd1c2b80d4fefce1c11cc
parent6a0ab745ddd9b9723fbcf8e4c3876de035dfcded
param_set/filter: don't print less useless information

If foo->bar was modified then it implies that foo->bar-baz was modified
as well so there is no need to record that.

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