ed fc072c0499 Properly sign extend the result of jrand48() and mrand48().
These functions are supposed to return a value between [_2^31, 2^31).
This doesn't seem to work on 64-bit systems, where we return a value
between [0, 3^32). Patch up the function to use proper casts to int32_t.
While there, fix some other style bugs.

MFC after:	2 weeks
2016-12-06 19:08:29 +00:00
..
2016-08-04 11:38:53 +00:00
2015-09-20 20:21:49 +00:00
2015-09-20 20:21:49 +00:00
2016-04-10 19:33:58 +00:00
2015-09-20 20:21:49 +00:00
2016-05-25 06:55:53 +00:00
2015-09-14 18:44:13 +00:00
2015-12-20 11:55:39 +00:00
2016-10-11 11:46:02 +00:00
2015-09-20 20:21:49 +00:00
2016-10-28 18:09:08 +00:00
2015-09-20 20:21:49 +00:00
2015-09-20 20:21:49 +00:00
2015-09-20 20:21:49 +00:00
2015-09-20 20:21:49 +00:00
2015-09-20 20:21:49 +00:00
2015-09-20 20:21:49 +00:00