Logger.cpp File Reference

#include "clang/Analysis/FlowSensitive/Logger.h"
#include "clang/Analysis/FlowSensitive/AdornedCFG.h"
#include "clang/Analysis/FlowSensitive/TypeErasedDataflowAnalysis.h"
#include "llvm/Support/WithColor.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.

Variable Documentation

CurrentAnalysis

TypeErasedDataflowAnalysis* CurrentAnalysis

Definition at line 31 of file Logger.cpp.

CurrentBlock

const CFGBlock* CurrentBlock

Definition at line 26 of file Logger.cpp.

CurrentCFG

const CFG* CurrentCFG

Definition at line 25 of file Logger.cpp.

CurrentElement

const CFGElement* CurrentElement

Definition at line 27 of file Logger.cpp.

CurrentElementIndex

unsigned CurrentElementIndex

Definition at line 28 of file Logger.cpp.

OS

llvm::raw_ostream& OS

Definition at line 24 of file Logger.cpp.

ShowColors

bool ShowColors

Definition at line 29 of file Logger.cpp.

Referenced by clang::TextTreeStructure::AddChild(), clang::ASTDumper::ASTDumper(), clang::ColorScope::ColorScope(), clang::CreateAndPopulateDiagOpts(), clang::CFGBlock::dump(), clang::CFG::dump(), clang::AnalysisDeclContext::dumpCFG(), FormatTemplateTypeDiff(), clang::DiagnosticsEngine::getShowColors(), highlightLines(), parseShowColorsArgs(), clang::CFGBlock::print(), clang::CFG::print(), print_block(), clang::TextDiagnostic::printDiagnosticLevel(), clang::TextDiagnostic::printDiagnosticMessage(), clang::DiagnosticsEngine::setShowColors(), clang::TextTreeStructure::TextTreeStructure(), and clang::ColorScope::~ColorScope().

VisitCount

llvm::DenseMap<const CFGBlock *, unsigned> VisitCount

Definition at line 30 of file Logger.cpp.

Referenced by clang::ento::SymbolManager::conjureSymbol(), clang::ento::SValBuilder::getAllocaRegionVal(), and clang::ento::SValBuilder::getConjuredHeapSymbolVal().