clang
19.0.0git
|
#include <string>
#include <vector>
#include "clang/Analysis/FlowSensitive/Solver.h"
#include "clang/Analysis/FlowSensitive/Value.h"
#include "llvm/ADT/StringRef.h"
Go to the source code of this file.
Namespaces | |
clang | |
The JSON file list parser is used to communicate input to InstallAPI. | |
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::Status Status) |
Returns a string representation of the result status of a SAT check. More... | |