On 29/06/20 17:23, Eric Blake wrote: >> >> >> Can we do something (eg providing fallback less-intelligent >> versions of the macro ifdef __COVERITY__) to help it? > > Absolutely; I see we've done similar in include/qemu/thread.h. I'll > post something later today.
Done already, you're in Cc. :) Paolo
