Analysis/FlowSensitive/DebugSupport.cpp

35 llvm::StringRef debugString(Value::Kind Kind) {
63 llvm::StringRef debugString(Solver::Result::Assignment Assignment) {
73 llvm::StringRef debugString(Solver::Result::Status Status) {
102   std::string debugString(const BoolValue &B, size_t Depth = 0) {
111       auto L = debugString(C.getLeftSubValue(), Depth + 1);
112       auto R = debugString(C.getRightSubValue(), Depth + 1);
118       auto L = debugString(D.getLeftSubValue(), Depth + 1);
119       auto R = debugString(D.getRightSubValue(), Depth + 1);
125       S = formatv("(not\n{0})", debugString(N.getSubVal(), Depth + 1));
130       auto L = debugString(IV.getLeftSubValue(), Depth + 1);
131       auto R = debugString(IV.getRightSubValue(), Depth + 1);
137       auto L = debugString(BV.getLeftSubValue(), Depth + 1);
138       auto R = debugString(BV.getRightSubValue(), Depth + 1);
149   std::string debugString(const llvm::DenseSet<BoolValue *> &Constraints) {
153       ConstraintsStrings.push_back(debugString(*Constraint));
167   std::string debugString(ArrayRef<BoolValue *> &Constraints,
183       ConstraintsStrings.push_back(debugString(*Constraint));
186     auto StatusString = clang::dataflow::debugString(Result.getStatus());
188     auto SolutionString = Solution ? "\n" + debugString(*Solution) : "";
198   std::string debugString(
211                           clang::dataflow::debugString(AtomAssignment.second));
240 debugString(const BoolValue &B,
242   return DebugStringGenerator(std::move(AtomNames)).debugString(B);
246 debugString(const llvm::DenseSet<BoolValue *> &Constraints,
248   return DebugStringGenerator(std::move(AtomNames)).debugString(Constraints);
252 debugString(ArrayRef<BoolValue *> Constraints, const Solver::Result &Result,
255       .debugString(Constraints, Result);