aboutsummaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorEric Sesterhenn / Snakebyte <snakebyte@gmx.de>2007-04-09 10:15:05 -0400
committerAvi Kivity <avi@qumranet.com>2007-05-03 03:52:29 -0400
commit3964994bb5ba85a3d8b54ae618f7be1cecce916d (patch)
treed093a2be86855e37abe7783e257eac4d9eb0ae73
parent5008fdf5b6a31240da060c0867d8f16f08ce2384 (diff)
KVM: Fix overflow bug in overflow detection code
The expression sp - 6 < sp where sp is a u16 is undefined in C since 'sp - 6' is promoted to int, and signed overflow is undefined in C. gcc 4.2 actually warns about it. Replace with a simpler test. Signed-off-by: Eric Sesterhenn <snakebyte@gmx.de> Signed-off-by: Avi Kivity <avi@qumranet.com>
-rw-r--r--drivers/kvm/vmx.c2
1 files changed, 1 insertions, 1 deletions
diff --git a/drivers/kvm/vmx.c b/drivers/kvm/vmx.c
index 61a611691e50..8c0115b54802 100644
--- a/drivers/kvm/vmx.c
+++ b/drivers/kvm/vmx.c
@@ -1182,7 +1182,7 @@ static void inject_rmode_irq(struct kvm_vcpu *vcpu, int irq)
1182 u16 sp = vmcs_readl(GUEST_RSP); 1182 u16 sp = vmcs_readl(GUEST_RSP);
1183 u32 ss_limit = vmcs_read32(GUEST_SS_LIMIT); 1183 u32 ss_limit = vmcs_read32(GUEST_SS_LIMIT);
1184 1184
1185 if (sp > ss_limit || sp - 6 > sp) { 1185 if (sp > ss_limit || sp < 6 ) {
1186 vcpu_printf(vcpu, "%s: #SS, rsp 0x%lx ss 0x%lx limit 0x%x\n", 1186 vcpu_printf(vcpu, "%s: #SS, rsp 0x%lx ss 0x%lx limit 0x%x\n",
1187 __FUNCTION__, 1187 __FUNCTION__,
1188 vmcs_readl(GUEST_RSP), 1188 vmcs_readl(GUEST_RSP),