[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 #1 from Giovanni Bajo <giovannibajo at gmail dot com> ---
Created attachment 45470
  --> https://gcc.gnu.org/bugzilla/attachment.cgi?id=45470&action=edit
Test code to reproduce bug