[PULL 0/8] vl.c, coverity patches for QEMU 6.1-rc2

[Paolo Bonzini]

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