Avoid casting to char* in prefetch()
authorMarco Costalba <mcostalba@gmail.com>
Sat, 7 Feb 2015 18:13:41 +0000 (19:13 +0100)
committerMarco Costalba <mcostalba@gmail.com>
Sat, 7 Feb 2015 18:13:41 +0000 (19:13 +0100)
commit99c9cae5865575c03a3eeea4ee6ea54ec8d59b18
treea8ca4ff29c3a2c41f7a76aacfa7f4c9e9cafeac4
parent152a4dc5cd1c5190b607f4b819ad9bd10bcc1baa
Avoid casting to char* in prefetch()

Funny enough, gcc __builtin_prefetch() expects
already a void*, instead Windows's _mm_prefetch()
requires a char*.

The patch allows to remove ugly casts from caller
sites.

No functional change.
src/misc.cpp
src/misc.h
src/position.cpp
src/search.cpp