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