[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 #2 from Paolo Carlini <paolo.carlini at oracle dot com> ---
I mean we use __builtin_ia32_rdrand32_step ;)