[PATCH] D124104: [clang][dataflow] Fix `Environment::join`'s handling of flow condition merging

[Yitzhak Mandelbaum via Phabricator via cfe-commits]

ymandel marked 7 inline comments as done.
ymandel added inline comments.


================
Comment at: clang/unittests/Analysis/FlowSensitive/TypeErasedDataflowAnalysisTest.cpp:356
+
+    return V1 == V2 ||
+           Env1.flowConditionImplies(*V1) == Env2.flowConditionImplies(*V2);
----------------
sgatev wrote:
> That's guaranteed to be false in `compareEquivalent`.
I thought just `Val1 == Val2` was guaranteed false? Also, I see that the variable naming could be confusing, so I've renamed.


Repository:
  rG LLVM Github Monorepo

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

https://reviews.llvm.org/D124104