icc police strike again


git-svn-id: svn://svn.valgrind.org/vex/trunk@1209 8f6e269a-dfd6-0310-a8e1-e2731360e62c
diff --git a/priv/guest-amd64/ghelpers.c b/priv/guest-amd64/ghelpers.c
index 1157e85..c504fcc 100644
--- a/priv/guest-amd64/ghelpers.c
+++ b/priv/guest-amd64/ghelpers.c
@@ -1378,9 +1378,9 @@
 
    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;