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