[PATCH] D59279: [Analyzer] Checker for non-determinism caused by iteration of unordered container of pointers
Mandeep Singh Grang via Phabricator via cfe-commits
cfe-commits at lists.llvm.org
Wed Mar 13 11:05:05 PDT 2019
mgrang added a comment.
> The obvious question, why not implement this in clang-tidy?
Going forward I would like to make these non-determinism checks more precise by reasoning about what happens inside the loop, for example. I am not sure if clang-tidy has support for such deeper reasoning. I thought clang-tidy is more of a pattern matcher?
CHANGES SINCE LAST ACTION
More information about the cfe-commits