https://gcc.gnu.org/bugzilla/show_bug.cgi?id=88935
--- Comment #13 from Jonathan Wakely <redi at gcc dot gnu.org> --- std::random_shuffle was removed from the C++ standard years ago, precisely because it uses low quality randomness. So it's not a high priority to fix something that is no longer even in the standard, because it's known to have unfixable problems. We also don't waste time on std::auto_ptr and std::strstream. I do intend to revisit Giovanni's patch for GCC 15, but it's not a high priority.
