[_Microft]

I don't think this would make a warning go away. value + (value >> 32) is still a 64bit int value that gets then cast to a 32bit int.

[bentcorner]

Whoops, good point. Uh.. maybe there's a cast in the original source and the bit shift was added at the same time?