[PATCH] D59279: [Analyzer] Checker for non-determinism caused by iteration of unordered container of pointers
Kristóf Umann via Phabricator via cfe-commits
cfe-commits at lists.llvm.org
Wed Mar 13 04:33:02 PDT 2019
Szelethus added a comment.
In D59279#1427017 <https://reviews.llvm.org/D59279#1427017>, @mgrang wrote:
> 3. Currently, we also do not check for what happens inside the for loop. Not all iterations may causes non-determinism. For example, counting or summing up the elements should not be non-deterministic.
Could you please add a TODO then to the code? We definitely wouldn't want to forget this before moving out of alpha.
CHANGES SINCE LAST ACTION
More information about the cfe-commits