83474b2e1a
the sign of the divident), we have to cast the pointer to an uintptr_t in order to be able to correctly compute how to align it on the cache line. Rported and solved by Stephan Kramer. Thanks Stephan. This commit was SVN r19778.