[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 #3 from Giovanni Bajo <giovannibajo at gmail dot com> ---
Created attachment 45472
  --> https://gcc.gnu.org/bugzilla/attachment.cgi?id=45472&action=edit
What test.cpp should output if random_shuffle worked