diff options
| author | Paolo Bonzini | 2021-07-28 19:12:22 +0200 |
|---|---|---|
| committer | Paolo Bonzini | 2021-07-30 12:04:01 +0200 |
| commit | 0da41187dfda6abecbcbc237471254ab614e063d (patch) | |
| tree | d9648798887bc8da0021e2c49e27fd726ac15f72 /scripts/simpletrace.py | |
| parent | coverity-model: clean up the models for array allocation functions (diff) | |
| download | qemu-0da41187dfda6abecbcbc237471254ab614e063d.tar.gz qemu-0da41187dfda6abecbcbc237471254ab614e063d.tar.xz qemu-0da41187dfda6abecbcbc237471254ab614e063d.zip | |
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>
Diffstat (limited to 'scripts/simpletrace.py')
0 files changed, 0 insertions, 0 deletions