[PATCH] D103967: [Analyzer][solver] Add dump methods for (dis)equality classes.

Mon Jun 28 07:05:10 PDT 2021

vsavchenko added a comment.

In D103967#2844140 <https://reviews.llvm.org/D103967#2844140>, @thakis wrote:

> Thanks. Looks like it flakily fails on mac too every now and then: http://45.33.8.238/mac/33005/step_7.txt
>
> Maybe you print something in nondeterministic iteration order?

Yes, I think that the problem is deeper.  `ClassMembers` is `llvm::ImmutableSet` (i.e. sorted set), and it uses `SymbolRef` (e.g. pointer values) for sorting.  So, it does look like the order can be nondeterministic.
However, when we print constraints, we should see similar problems, but we don't 🤔

Repository:
  rG LLVM Github Monorepo

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

https://reviews.llvm.org/D103967