clang  16.0.0git
Namespaces | Functions
DebugSupport.h File Reference
#include <string>
#include <vector>
#include "clang/Analysis/FlowSensitive/Solver.h"
#include "clang/Analysis/FlowSensitive/Value.h"
#include "llvm/ADT/DenseMap.h"
#include "llvm/ADT/StringRef.h"
Include dependency graph for DebugSupport.h:
This graph shows which files directly or indirectly include this file:

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...
 
std::string clang::dataflow::debugString (const llvm::DenseSet< BoolValue * > &Constraints, const Solver::Result &Result, llvm::DenseMap< const AtomicBoolValue *, std::string > AtomNames={{}})