[Bug libstdc++/88935] std::random_shuffle does not work if the sequence is longer than RAND_MAX elements

[giovannibajo at gmail dot com]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=88935

--- Comment #6 from Giovanni Bajo <giovannibajo at gmail dot com> ---
A patch has been posted here:
https://gcc.gnu.org/ml/libstdc++/2018-12/msg00038.html