[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