id	summary	reporter	owner	description	type	status	milestone	component	version	severity	resolution	keywords	cc
10980	boost::random::random_device bug with /dev/random	Bastiaan Stougie <bastiaan.stougie@…>	No-Maintainer	"There is a bug in boost 1.56 random_device implementation where it can fail to read from /dev/random with an exception

    ""boost::random_device: EOF while reading random-number pseudo-device /dev/random: Success""

The boost random_device code attempts to read 4 bytes from /dev/random, gets fewer but >0 bytes because /dev/random temporarily runs out of random data, and boost random_device incorrectly concludes that end of file has been reached and throws an exception, where it should just try to read more bytes.
"	Bugs	closed	To Be Determined	random	Boost 1.56.0	Problem	fixed	random_device