]> xenbits.xensource.com Git - qemu-xen.git/commit
projects / qemu-xen.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: e4383ca) | patch
coverity-model: update address_space_read/write models
authorPaolo Bonzini <pbonzini@redhat.com>
Tue, 27 Jul 2021 15:50:09 +0000 (17:50 +0200)
committerPaolo Bonzini <pbonzini@redhat.com>
Fri, 30 Jul 2021 10:04:01 +0000 (12:04 +0200)
commitd4b3d152ee005825520dc171e1e650174ae5ebe6
tree6cf73b98f4be283017c26d848b07dd2e455f2f06tree
parente4383ca240d804bf1c472ed004d6c7b8a505fc63commit | diff
coverity-model: update address_space_read/write models

Use void * for consistency with the actual function; provide a model
for MemoryRegionCache functions and for address_space_rw.  These
let Coverity understand the bounds of the data that various functions
read and write even at very high levels of inlining (e.g. pci_dma_read).

Signed-off-by: Paolo Bonzini <pbonzini@redhat.com>
scripts/coverity-scan/model.c diff | blob | blame | history
qemu-xen (upstream qemu) tree.