clang 20.0.0git
Namespaces | Functions
DataflowAnalysisContext.cpp File Reference
#include "clang/Analysis/FlowSensitive/DataflowAnalysisContext.h"
#include "clang/AST/ExprCXX.h"
#include "clang/Analysis/FlowSensitive/ASTOps.h"
#include "clang/Analysis/FlowSensitive/DebugSupport.h"
#include "clang/Analysis/FlowSensitive/Formula.h"
#include "clang/Analysis/FlowSensitive/Logger.h"
#include "clang/Analysis/FlowSensitive/SimplifyConstraints.h"
#include "clang/Analysis/FlowSensitive/Value.h"
#include "llvm/ADT/SetOperations.h"
#include "llvm/ADT/SetVector.h"
#include "llvm/Support/CommandLine.h"
#include "llvm/Support/Debug.h"
#include "llvm/Support/FileSystem.h"
#include "llvm/Support/Path.h"
#include "llvm/Support/raw_ostream.h"
#include <cassert>
#include <memory>
#include <string>
#include <utility>
#include <vector>

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

static llvm::cl::opt< std::string > DataflowLog ("dataflow-log", llvm::cl::Hidden, llvm::cl::ValueOptional, llvm::cl::desc("Emit log of dataflow analysis. With no arg, writes textual " "log to stderr. With an arg, writes HTML logs under the " "specified directory (one per analyzed function)."))
 
template<typename T >
static llvm::DenseSet< llvm::StringRef > clang::dataflow::getKeys (const llvm::StringMap< T > &Map)
 
static void clang::dataflow::printAtomList (const llvm::SmallVector< Atom > &Atoms, llvm::raw_ostream &OS)
 
static std::unique_ptr< Logger > clang::dataflow::makeLoggerFromCommandLine ()
 

Function Documentation

◆ DataflowLog()

static llvm::cl::opt< std::string > DataflowLog ( "dataflow-log"  ,
llvm::cl::Hidden  ,
llvm::cl::ValueOptional  ,
llvm::cl::desc("Emit log of dataflow analysis. With no arg, writes textual " "log to stderr. With an arg, writes HTML logs under the " "specified directory (one per analyzed function).")   
)
static