https://gcc.gnu.org/bugzilla/show_bug.cgi?id=88935
--- Comment #8 from Xi Ruoyao <xry111 at gcc dot gnu.org> --- (In reply to Xi Ruoyao from comment #7) > The C++11 standard explicitly allows to use rand() as the random source for > random_shuffle, thus this is not a bug but an enhancement. > > As random_shuffle is deprecated since C++14 and removed in C++17 (the > interface is just broken beyond any repair), I think we should just emit a > deprecation warning telling to use shuffle (it needs an uniform random bit > generator to be passed) instead. The deprecation warning has been added at r14-2796. I'm inclined to close this as WONTFIX because people who care about the strict correctness **shall** just use std::shuffle instead.
