On Sat, 31 Jul 2021 at 07:32, Paolo Bonzini <pbonz...@redhat.com> wrote: > > g_malloc/g_malloc0/g_realloc only return NULL if the size is 0; we do not need > to cover that in the model, and so far have expected __coverity_alloc__ > to model a non-NULL return value. But that apparently does not work > anymore, so add some extra conditionals that invoke __coverity_panic__ > for NULL pointers. > > Signed-off-by: Paolo Bonzini <pbonz...@redhat.com>
Reviewed-by: Peter Maydell <peter.mayd...@linaro.org> I do wish Coverity Scan had a better notification of updates/changes and feedback path for bugs than "we'll just silently break stuff for you" :-( thanks -- PMM
