[PATCH] D128521: [clang][dataflow] Implement functionality to compare if two boolean values are equivalent.

[Stanislav Gatev via Phabricator via cfe-commits]

sgatev added inline comments.


================
Comment at: clang/lib/Analysis/FlowSensitive/DataflowAnalysisContext.cpp:138
 
+bool DataflowAnalysisContext::equivalentBoolValues(BoolValue &Val1,
+                                                   BoolValue &Val2) {
----------------
This seems unrelated to flow conditions (is this intentional?) and a bit too specific for `DataflowAnalysisContext`. Perhaps we should expose the solver and let user code use it the way it needs to.


Repository:
  rG LLVM Github Monorepo

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

https://reviews.llvm.org/D128521