diff options
| author | Richard Henderson <richard.henderson@linaro.org> | 2022-04-01 11:08:13 -0600 |
|---|---|---|
| committer | Richard Henderson <richard.henderson@linaro.org> | 2022-04-26 19:57:56 -0700 |
| commit | b826044fc0c21d90a7fcfcf883cc8a8bf1bd7424 (patch) | |
| tree | 404b212cded67b5ff9745b92657ec4efdb83f91b /migration/dirtyrate.h | |
| parent | a72d9008092e39c2c37e47a91bae4e170d0f1b33 (diff) | |
| download | qemu-b826044fc0c21d90a7fcfcf883cc8a8bf1bd7424.zip qemu-b826044fc0c21d90a7fcfcf883cc8a8bf1bd7424.tar.gz qemu-b826044fc0c21d90a7fcfcf883cc8a8bf1bd7424.tar.bz2 | |
accel/tcg: Assert mmu_idx in range before use in cputlb
Coverity reports out-of-bound accesses within cputlb.c.
This should be a false positive due to how the index is
decoded from MemOpIdx. To be fair, nothing is checking
the correct bounds during encoding either.
Assert index in range before use, both to catch user errors
and to pacify static analysis.
Fixes: Coverity CID 1487120, 1487127, 1487170, 1487196, 1487215, 1487238
Signed-off-by: Richard Henderson <richard.henderson@linaro.org>
Reviewed-by: Peter Maydell <peter.maydell@linaro.org>
Reviewed-by: Alex Bennée <alex.bennee@linaro.org>
Message-Id: <20220401170813.318609-1-richard.henderson@linaro.org>
Diffstat (limited to 'migration/dirtyrate.h')
0 files changed, 0 insertions, 0 deletions