Re: [PATCH 1/6] coverity-model: update address_space_read/write models

[Peter Maydell]

On Sat, 31 Jul 2021 at 07:29, Paolo Bonzini <pbonzini@redhat.com> wrote:
>
> 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>
> ---

Reviewed-by: Peter Maydell <peter.maydell@linaro.org>

thanks
-- PMM