Ian Lepore c1f892e0d1 Cast using uintfptr_t and eliminate the cast to uint64_t which is uneeded
because rounding down cannot increase the number of bits needed to express
the result.

I had no idea there was such a thing as uintfptr_t.

Requested by: bde
2016-01-12 16:31:07 +00:00
..
2016-01-07 20:22:55 +00:00
2016-01-11 22:15:46 +00:00
2016-01-12 16:21:34 +00:00
2016-01-11 20:38:39 +00:00
2015-11-19 08:04:05 +00:00
2015-11-12 10:31:14 +00:00
2015-05-29 14:03:07 +00:00