Re: [PATCH 0/6] Updates for Coverity modeling file

2021-08-02 Thread Markus Armbruster
Paolo Bonzini writes: [...] > This series is a sort of FYI; since the only way to debug the model file > is to upload it to scan.coverity.com, these changes are all already live. When I mess with Coverity, I test with my locally installed version first. Version skew and lack of the web interfa

Re: [PATCH 0/6] Updates for Coverity modeling file

2021-08-02 Thread Paolo Bonzini
On 02/08/21 14:46, Peter Maydell wrote: This series is a sort of FYI; since the only way to debug the model file is to upload it to scan.coverity.com, these changes are all already live. The last will be as of the next build, but was effective last Thursday and worked (I tried disabling it on Fri

Re: [PATCH 0/6] Updates for Coverity modeling file

2021-08-02 Thread Peter Maydell
On Sat, 31 Jul 2021 at 07:29, Paolo Bonzini wrote: > > Recently, an update to the Coverity tools caused it to introduce hundreds > of new complaints about using g_free() to free memory areas allocated > by GLib functions. The solution adopted here (patch 2) is to just > make g_free a synonym of f

[PATCH 0/6] Updates for Coverity modeling file

2021-07-30 Thread Paolo Bonzini
Recently, an update to the Coverity tools caused it to introduce hundreds of new complaints about using g_free() to free memory areas allocated by GLib functions. The solution adopted here (patch 2) is to just make g_free a synonym of free, removing the custom g_free marker from __coverity_mark_as