Re: [PULL 0/8] vl.c, coverity patches for QEMU 6.1-rc2
On Mon, 2 Aug 2021 at 17:18, Paolo Bonzini wrote: > > 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. > Applied, thanks. Please update the changelog at https://wiki.qemu.org/ChangeLog/6.1 for any user-visible changes. -- PMM
[PULL 0/8] vl.c, coverity patches for QEMU 6.1-rc2
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
