#include #include #include #include ">

clang: lib/Analysis/FlowSensitive/DataflowAnalysisContext.cpp File Reference (original) (raw)

#include "[clang/Analysis/FlowSensitive/DataflowAnalysisContext.h](DataflowAnalysisContext%5F8h%5Fsource.html)"
#include "[clang/AST/ExprCXX.h](ExprCXX%5F8h%5Fsource.html)"
#include "[clang/Analysis/FlowSensitive/ASTOps.h](ASTOps%5F8h%5Fsource.html)"
#include "[clang/Analysis/FlowSensitive/DebugSupport.h](DebugSupport%5F8h%5Fsource.html)"
#include "[clang/Analysis/FlowSensitive/Formula.h](Formula%5F8h%5Fsource.html)"
#include "[clang/Analysis/FlowSensitive/Logger.h](Logger%5F8h%5Fsource.html)"
#include "[clang/Analysis/FlowSensitive/SimplifyConstraints.h](SimplifyConstraints%5F8h%5Fsource.html)"
#include "[clang/Analysis/FlowSensitive/Value.h](Analysis%5F2FlowSensitive%5F2Value%5F8h%5Fsource.html)"
#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:🆑:opt< std::string > DataflowLog ("dataflow-log", llvm:🆑:Hidden, llvm:🆑:ValueOptional, llvm:🆑: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
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 ()

â—† DataflowLog()

static llvm:🆑:opt< std::string > DataflowLog ( "dataflow-log" , llvm:🆑:Hidden , llvm:🆑:ValueOptional , llvm:🆑: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