db/kernel.return_fixes: fix up copy_from_user() on 32bit systems
commit915011bb37bcb9576c3dffedda9e281951e72acb
authorDan Carpenter <dan.carpenter@linaro.org>
Tue, 13 Feb 2024 07:42:42 +0000 (13 10:42 +0300)
committerDan Carpenter <dan.carpenter@linaro.org>
Tue, 13 Feb 2024 07:42:42 +0000 (13 10:42 +0300)
tree0663169cd3d4612e136e3808a7b5a811cae3b586
parentd8cee258afe0ad2216d1518fc5aef0a15b9060e2
db/kernel.return_fixes: fix up copy_from_user() on 32bit systems

copy_from_user() can return an unsigned long.  Fine.  But it's always
<= $2.  And most of the time it's going to be less than INT_MAX so let's
not worry too much about high positive returns turning into negatives when
we save it to an int.

Signed-off-by: Dan Carpenter <dan.carpenter@linaro.org>
smatch_data/db/kernel.delete.return_states
smatch_data/db/kernel.return_fixes