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

[Mandeep Singh Grang via Phabricator via cfe-commits]

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.


Repository:
  rC Clang

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

https://reviews.llvm.org/D59279