Re: [PATCH 6/6] coverity-model: write models fully for non-array allocation functions

[Peter Maydell]

On Sat, 31 Jul 2021 at 07:33, Paolo Bonzini <pbonzini@redhat.com> wrote:
>
> Coverity seems to have issues figuring out the properties of g_malloc0
> and other non *_n functions.  While this was "fixed" by removing the
> custom second argument to __coverity_mark_as_afm_allocated__, inline
> the code from the array-based allocation functions to avoid future
> issues.
>
> Signed-off-by: Paolo Bonzini <pbonzini@redhat.com>

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

thanks
-- PMM