On Mon, Dec 23, 2024 at 8:47 PM Florian Weimer <fwei...@redhat.com> wrote: > It's a bit odd that you disable reflexivity checks by default, but quite > a few of the issues reported are in this category.
I think back then I wanted to make default settings free of false positives. Often sorted arrays may only contain unique elements and in such cases reflexivity checks are useless. -Y
