[Bug libstdc++/57920] [c++11] Linux: std::random_device reads too much from /dev/urandom

[paolo.carlini at oracle dot com]

http://gcc.gnu.org/bugzilla/show_bug.cgi?id=57920

--- Comment #7 from Paolo Carlini <paolo.carlini at oracle dot com> ---
Agreed, let's just commit the improvement. If/when you become aware of ways to
extend the use of builtins to other CPUs / targets, please let me know, thanks.