[PATCH] D50488: [Analyzer] Checker for non-determinism caused by sorting of pointer-like elements
Mandeep Singh Grang via Phabricator via cfe-commits
cfe-commits at lists.llvm.org
Tue Sep 4 11:14:03 PDT 2018
mgrang added a comment.
In https://reviews.llvm.org/D50488#1222837, @whisperity wrote:
>
> I'm not sure if we discussed, has this checker been tried on some in-the-wild examples? To see if there are some real findings or crashes?
> There is a good selection of projects here in this tool: https://github.com/Xazax-hun/csa-testbench.
Thanks @whisperity for pointing me to the Static Analyzer tests. I will run the checker on it and report my findings here.
Repository:
rC Clang
https://reviews.llvm.org/D50488
More information about the cfe-commits
mailing list