Searched hist:"0 da41187" (Results 1 – 1 of 1) sorted by relevance
| /openbmc/qemu/scripts/coverity-scan/ |
| H A D | model.c | 0da41187 Wed Jul 28 12:12:22 CDT 2021 Paolo Bonzini <pbonzini@redhat.com> coverity-model: constrain g_malloc/g_malloc0/g_realloc as never returning NULL
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 <pbonzini@redhat.com>
|