https://gcc.gnu.org/bugzilla/show_bug.cgi?id=98253
--- Comment #7 from Damian Rouson <damian at sourceryinstitute dot org> --- I agree that it would have been better for image_distinct to be optional. I co-hosted the 2018 WG5 meeting at which there were lengthy discussions around random number generation. I don't recall whether making that argument optional was discussed. I assume it wouldn't break any existing code to make it optional in a future standard.
