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

[Reka Kovacs via Phabricator via cfe-commits]

rnkovacs added a comment.

In D59279#1438514 <https://reviews.llvm.org/D59279#1438514>, @mgrang wrote:

> Yes, the reason we limit the checks only to //unordered// containers is to reduce the false positive rate. Although, as you rightly pointed out that //ordered// sets of pointers are as non-deterministic as //unordered// ones. Once our checks have the capability to detect what happens inside the loop maybe we can add //ordered// sets too. I will add this to the TODO. Thanks.


Great, thanks!


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

https://reviews.llvm.org/D59279