From: Julian Seward <jseward@acm.org>
Date: Tue, 14 Jun 2005 21:59:16 +0000 (+0000)
Subject: icc police strike again
X-Git-Tag: svn/VALGRIND_3_0_1^2~125
X-Git-Url: http://git.ipfire.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=eedc8f4d9a1c5258a2e13fcd62a184889efc523a;p=thirdparty%2Fvalgrind.git

icc police strike again


git-svn-id: svn://svn.valgrind.org/vex/trunk@1209
---

diff --git a/VEX/priv/guest-amd64/ghelpers.c b/VEX/priv/guest-amd64/ghelpers.c
index 1157e85cbe..c504fcc802 100644
--- a/VEX/priv/guest-amd64/ghelpers.c
+++ b/VEX/priv/guest-amd64/ghelpers.c
@@ -1378,9 +1378,9 @@ void amd64g_dirtyhelper_FSTENV ( /*IN*/VexGuestAMD64State* vex_state,
 
    x87->env[1] = x87->env[3] = x87->env[5] = x87->env[13] = 0xFFFF;
    x87->env[FP_ENV_STAT] 
-      = toUShort(((ftop & 7) << 11) | (c3210 & 0x4700));
+      = toUShort(toUInt( ((ftop & 7) << 11) | (c3210 & 0x4700) ));
    x87->env[FP_ENV_CTRL] 
-      = toUShort(amd64g_create_fpucw( vex_state->guest_FPROUND ));
+      = toUShort(toUInt( amd64g_create_fpucw( vex_state->guest_FPROUND ) ));
 
    /* Compute the x87 tag word. */
    tagw = 0;