https://gcc.gnu.org/bugzilla/show_bug.cgi?id=84345
--- Comment #19 from Richard Biener <rguenth at gcc dot gnu.org> --- As to comment#7 I agree, for some qsort comparators we probably do not care if the outcome is really sorted in the end and the issue with different qsort implementations producing differently sorted results is gone. Maybe for those we should have a separately named entry, skipping the verification? gcc_heuristic_sort_nocheck ()?