The following changes since commit 7742fe64e5c2c2c9f9787d107b693eaac602eaae:
Merge remote-tracking branch 'remotes/kraxel/tags/usb-20210729-pull-request' into staging (2021-07-29 18:49:39 +0100) are available in the Git repository at: https://gitlab.com/bonzini/qemu.git tags/for-upstream for you to fetch changes up to e17bdaab2b36db54f0214a14f394fa773cee58df: coverity-model: write models fully for non-array allocation functions (2021-07-30 12:04:01 +0200) ---------------------------------------------------------------- Fix for smp-opts in configuration file. Update Coverity model to what's currently uploaded. ---------------------------------------------------------------- Paolo Bonzini (8): vl: introduce machine_merge_property vl: stop recording -smp in QemuOpts coverity-model: update address_space_read/write models coverity-model: make g_free a synonym of free coverity-model: remove model for more allocation functions coverity-model: clean up the models for array allocation functions coverity-model: constrain g_malloc/g_malloc0/g_realloc as never returning NULL coverity-model: write models fully for non-array allocation functions scripts/coverity-scan/model.c | 235 ++++++++++++++++++++---------------------- softmmu/vl.c | 47 ++++++--- 2 files changed, 143 insertions(+), 139 deletions(-) -- 2.31.1