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 _______________________________________________ cfe-commits mailing list cfe-commits@lists.llvm.org https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits
