clang 20.0.0git
Namespaces | Functions
DebugSupport.cpp File Reference
#include <utility>
#include "clang/Analysis/FlowSensitive/DebugSupport.h"
#include "clang/Analysis/FlowSensitive/Solver.h"
#include "clang/Analysis/FlowSensitive/Value.h"
#include "llvm/ADT/StringRef.h"
#include "llvm/Support/ErrorHandling.h"

Go to the source code of this file.

Namespaces

namespace  clang
 The JSON file list parser is used to communicate input to InstallAPI.
 
namespace  clang::dataflow
 Dataflow Directional Tag Classes.
 

Functions

llvm::StringRef clang::dataflow::debugString (Value::Kind Kind)
 Returns a string representation of a value kind.
 
llvm::raw_ostream & clang::dataflow::operator<< (llvm::raw_ostream &, Solver::Result::Assignment)
 
llvm::StringRef clang::dataflow::debugString (Solver::Result::Status Status)
 Returns a string representation of the result status of a SAT check.
 
llvm::raw_ostream & clang::dataflow::operator<< (llvm::raw_ostream &, const Solver::Result &)