[PATCH] D59279: [Analyzer] Checker for non-determinism caused by iteration of unordered container of pointers

[Kristóf Umann via Phabricator via cfe-commits]

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.


Repository:
  rC Clang

CHANGES SINCE LAST ACTION
  https://reviews.llvm.org/D59279/new/

https://reviews.llvm.org/D59279