trunk/VEX/priv/guest_x86_helpers.c:1693:1: warning: V684 A value of the variable 'tagw' is not modified. Consider inspecting the expression. It is possible that '1' should be present instead of '0'. Source code is tagw |= (0 << (2*preg)); Maybe better code tagw |= (1 << (2*preg));
The code is as intended. Compare with line 1688 (a few lines up) and you'll see why it is written how it is.