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;