mbox

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

Message ID 20210802161542.381976-1-pbonzini@redhat.com (mailing list archive)
State New, archived
Headers show

Pull-request

https://gitlab.com/bonzini/qemu.git tags/for-upstream

Message

Paolo Bonzini Aug. 2, 2021, 4:15 p.m. UTC
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(-)

Comments

Peter Maydell Aug. 2, 2021, 7:12 p.m. UTC | #1
On Mon, 2 Aug 2021 at 17:18, Paolo Bonzini <pbonzini@redhat.com> 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