[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 #4 from Giovanni Bajo <giovannibajo at gmail dot com> ---
Created attachment 45473
  --> https://gcc.gnu.org/bugzilla/attachment.cgi?id=45473&action=edit
What test.cpp actually does output with std::random_shuffle