[PATCH] D137334: [clang][dataflow] Generalize custom comparison to return tri-value result.

[Dmitri Gribenko via Phabricator via cfe-commits]

gribozavr2 accepted this revision.
gribozavr2 added inline comments.
This revision is now accepted and ready to land.


================
Comment at: clang/include/clang/Analysis/FlowSensitive/DataflowEnvironment.h:73-74
+    /// Returns:
+    ///   `Same`:`Val1` is equivalent to `Val2`, according to the model.
+    ///   `Different`:`Val1` is distinct from `Val2`, according to the model.
+    ///   `Unknown`: The model does not determine a relationship between `Val1`
----------------



================
Comment at: clang/unittests/Analysis/FlowSensitive/TypeErasedDataflowAnalysisTest.cpp:1189-1191
+  ComparisonResult compare(QualType Type, const Value &Val1,
                          const Environment &Env1, const Value &Val2,
                          const Environment &Env2) override {
----------------



Repository:
  rG LLVM Github Monorepo

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

https://reviews.llvm.org/D137334