return_efault: complain about "return copy_from_user();"
commitedffe9b19e14f80f24ae5cca1921cb236e943cfd
authorDan Carpenter <dan.carpenter@oracle.com>
Thu, 24 Mar 2016 12:34:48 +0000 (24 15:34 +0300)
committerDan Carpenter <dan.carpenter@oracle.com>
Thu, 24 Mar 2016 12:34:48 +0000 (24 15:34 +0300)
treeb6f714d86e5b5c633ec9f9c9e88acf86dd76b85a
parentf73044fad643305048ee4c105d5485782b651792
return_efault: complain about "return copy_from_user();"

The original code only complained if you did:

err = copy_from_user();
if (err)
return err;

But we should also sometimes complain about:

return copy_from_user();

Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
check_return_efault.c
smatch.h
smatch_db.c