#include <utility>#include "clang/Analysis/FlowSensitive/DebugSupport.h"#include "clang/Analysis/FlowSensitive/Solver.h"#include "clang/Analysis/FlowSensitive/Value.h"#include "llvm/ADT/DenseMap.h"#include "llvm/ADT/STLExtras.h"#include "llvm/ADT/StringRef.h"#include "llvm/ADT/StringSet.h"#include "llvm/Support/ErrorHandling.h"#include "llvm/Support/FormatAdapters.h"#include "llvm/Support/FormatCommon.h"#include "llvm/Support/FormatVariadic.h"
Include dependency graph for DebugSupport.cpp:
Go to the source code of this file.
Namespaces | |
| clang | |
| clang::dataflow | |
| Dataflow Directional Tag Classes. | |
Functions | |
| llvm::StringRef | clang::dataflow::debugString (Value::Kind Kind) |
| Returns a string representation of a value kind. More... | |
| llvm::StringRef | clang::dataflow::debugString (Solver::Result::Assignment Assignment) |
| Returns a string representation of a boolean assignment to true or false. More... | |
| llvm::StringRef | clang::dataflow::debugString (Solver::Result::Status Status) |
| Returns a string representation of the result status of a SAT check. More... | |
| std::string | clang::dataflow::debugString (const BoolValue &B, llvm::DenseMap< const AtomicBoolValue *, std::string > AtomNames={{}}) |
Returns a string representation for the boolean value B. More... | |
| std::string | clang::dataflow::debugString (const llvm::DenseSet< BoolValue * > &Constraints, llvm::DenseMap< const AtomicBoolValue *, std::string > AtomNames={{}}) |
Returns a string representation for Constraints - a collection of boolean formulas. More... | |
| std::string | clang::dataflow::debugString (ArrayRef< BoolValue * > Constraints, const Solver::Result &Result, llvm::DenseMap< const AtomicBoolValue *, std::string > AtomNames={{}}) |
Returns a string representation for Constraints - a collection of boolean formulas and the Result of satisfiability checking. More... | |
