[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
Tue Mar 12 17:29:34 PDT 2019
mgrang added a comment.
Following are the assumptions/limitations of this patch:
1. The assumption is that iteration of ordered containers of pointers is not non-deterministic.
2. Currently we only detect std::unordered_set. Detection of unordered_map can be added later.
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.
CHANGES SINCE LAST ACTION
More information about the cfe-commits