OSDN Git Service

target-i386: fix Coverity complaints about overflows
authorPaolo Bonzini <pbonzini@redhat.com>
Wed, 12 Nov 2014 11:16:58 +0000 (12:16 +0100)
committerPaolo Bonzini <pbonzini@redhat.com>
Thu, 13 Nov 2014 15:13:27 +0000 (16:13 +0100)
commite6a33e45c270ea024929f4afb49283d610577af3
tree00cbaf9a21e262b154fa52171527deaea1ae4805
parentc2c00148ec54f77c9432fec16585834e1d677fda
target-i386: fix Coverity complaints about overflows

sipi_vector is an int; it is shifted by 12 and passed as a 64-bit value,
which makes Coverity think that we wanted (uint64_t)sipi_vector << 12.

But actually it must be between 0 and 255.  Make this explicit.

Signed-off-by: Paolo Bonzini <pbonzini@redhat.com>
target-i386/cpu.h