OSDN Git Service

coverity: update model for latest tools
authorPaolo Bonzini <pbonzini@redhat.com>
Thu, 31 Mar 2022 06:24:09 +0000 (08:24 +0200)
committerPaolo Bonzini <pbonzini@redhat.com>
Tue, 5 Apr 2022 08:42:06 +0000 (10:42 +0200)
commitfae4fad5b4b59af9cb283709b66a0680069f74ba
tree6cb92ab7f1f2d9ca2b0b162e08d8bea89b857854
parent20661b75ea6093f5e59079d00a778a972d6732c5
coverity: update model for latest tools

Coverity is now rejecting incomplete types in the modeling file.
Just use a random number (in the neighborhood of the actual one)
for the size of a GIOChannel.

Signed-off-by: Paolo Bonzini <pbonzini@redhat.com>
scripts/coverity-scan/model.c