param_limit: handle functions where the parameter is not modified
authorDan Carpenter <dan.carpenter@oracle.com>
Thu, 7 Feb 2013 06:59:24 +0000 (09:59 +0300)
committerDan Carpenter <dan.carpenter@oracle.com>
Thu, 7 Feb 2013 06:59:24 +0000 (09:59 +0300)
commitde0271334086bb59c8799369a95d0d37a5d871a1
tree2c5a1ad42aaecc0fc826f9f9c6eb2bf218587ca3
parentbba26aeafd6999994624b1ecc5c709992a972c0f
param_limit: handle functions where the parameter is not modified

This goes to a lot of effort to handle modified parameters in the right way
but it was ignoring the easier case where the parameter is not modified.

So for a function that does:

int some_func(int x)
{
return x > 1 && x < 6;
}

It wasn't printing any information for that.  But now it does.

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