diff options
| author | Peter Maydell <peter.maydell@linaro.org> | 2020-11-03 14:15:32 +0000 |
|---|---|---|
| committer | Laurent Vivier <laurent@vivier.eu> | 2020-11-04 22:28:05 +0100 |
| commit | 022625a8ade3005addb42700a145bae6a1653240 (patch) | |
| tree | 3086695ae65625c48212c37351e4c3b62e98ab97 /.exrc | |
| parent | e4ce178b6153205c2e17a9b719287c83e1e67a72 (diff) | |
linux-user: Check copy_from_user() return value in vma_dump_size()
Coverity points out that we don't check the return value from
copy_from_user() in vma_dump_size(). This is to some extent
a "can't happen" error since we've already checked the page
with an access_ok() call earlier, but it's simple enough to
handle the error anyway.
Fixes: Coverity CID 1432362
Signed-off-by: Peter Maydell <peter.maydell@linaro.org>
Reviewed-by: Laurent Vivier <laurent@vivier.eu>
Message-Id: <20201103141532.19912-1-peter.maydell@linaro.org>
Signed-off-by: Laurent Vivier <laurent@vivier.eu>
Diffstat (limited to '.exrc')
0 files changed, 0 insertions, 0 deletions