In insn_check_regs() we don't explicitly check whether
qemu_plugin_read_register() failed, which confuses Coverity into
thinking that sz can be -1 in the memcmp(). In fact the assertion
that sz == reg->last->len means this can't happen, but it's clearer
to both humans and Coverity if we explicitly assert that sz > 0, as
we already do in init_vcpu_register().
Coverity: CID 1611901, 1611902
Fixes:
|
||
|---|---|---|
| .. | ||
| bbv.c | ||
| cache.c | ||
| cflow.c | ||
| drcov.c | ||
| execlog.c | ||
| hotblocks.c | ||
| hotpages.c | ||
| howvec.c | ||
| hwprofile.c | ||
| ips.c | ||
| lockstep.c | ||
| meson.build | ||
| stoptrigger.c | ||
| win32_linker.c | ||