[PATCH] D50488: [Analyzer] Checker for non-determinism caused by sorting of pointer-like elements

[George Karpenkov via Phabricator via cfe-commits]

george.karpenkov added a comment.
Herald added subscribers: dkrupp, donat.nagy.

I'm marking it as "needs changes" for now -- the idea seems reasonable, but it's hard to tell without a thorough evaluation on at least a few codebases.
Additionally, we should figure out a checker group for this - if "alpha" means "work in progress", then it should be under something else, like "linting" or similar.


https://reviews.llvm.org/D50488