https://gcc.gnu.org/bugzilla/show_bug.cgi?id=88935
--- Comment #11 from Jonathan Wakely <redi at gcc dot gnu.org> --- Yes, but in practice that's not the problem with mingw. The problem is the low RAND_MAX. The distribution within the range of numbers produced is acceptable. Good enough for std::random_shuffle anyway.
