Overview
Some time ago I fixed a crash related to sorting in the pattern drawer. The cause was a sort predicate that did not implement strict weak ordering correctly. I have revisited this and found (and fixed) another violation (transitivity of incomparability).
I can not verify that this causes crashes in the real world. It is an incorrect sort predicate and that has caused crahses in the past.
More details in this PR
The PR also links to a repo I wrote with a small test program to show how a bad sort predicate can be catastrophic .
Overview
Some time ago I fixed a crash related to sorting in the pattern drawer. The cause was a sort predicate that did not implement strict weak ordering correctly. I have revisited this and found (and fixed) another violation (transitivity of incomparability).
I can not verify that this causes crashes in the real world. It is an incorrect sort predicate and that has caused crahses in the past.
More details in this PR
The PR also links to a repo I wrote with a small test program to show how a bad sort predicate can be catastrophic .