[PATCH] D129548: [clang][dataflow] Generate readable form of input and output of satisfiability checking for debugging purposes.

[Dmitri Gribenko via Phabricator via cfe-commits]

gribozavr2 accepted this revision.
gribozavr2 added inline comments.


================
Comment at: clang/include/clang/Analysis/FlowSensitive/DebugSupport.h:49-56
+debugString(std::vector<BoolValue *> &Constraints, Solver::Result &Result,
+            llvm::DenseMap<AtomicBoolValue *, std::string> AtomNames = {{}});
+inline std::string
+debugString(llvm::DenseSet<BoolValue *> &Constraints, Solver::Result &Result,
+            llvm::DenseMap<AtomicBoolValue *, std::string> AtomNames = {{}}) {
+  std::vector<BoolValue *> ConstraintsVec(Constraints.begin(),
+                                          Constraints.end());
----------------



Repository:
  rG LLVM Github Monorepo

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

https://reviews.llvm.org/D129548