clang
17.0.0git
|
#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"
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... | |