gribozavr2 accepted this revision.
gribozavr2 added inline comments.
================
Comment at:
clang/include/clang/Analysis/FlowSensitive/DataflowAnalysisContext.h:224
+ /// assignment for `Constraints`
+ bool checkUnsatisfiable(llvm::DenseSet<BoolValue *> Constraints) {
+ return querySolver(std::move(Constraints)) ==
Solver::Result::Unsatisfiable;
----------------
Repository:
rG LLVM Github Monorepo
CHANGES SINCE LAST ACTION
https://reviews.llvm.org/D128520/new/
https://reviews.llvm.org/D128520
_______________________________________________
cfe-commits mailing list
cfe-commits@lists.llvm.org
https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits
