HTMLLogger.cpp File Reference

#include "clang/Analysis/FlowSensitive/AdornedCFG.h"
#include "clang/Analysis/FlowSensitive/DebugSupport.h"
#include "clang/Analysis/FlowSensitive/Logger.h"
#include "clang/Analysis/FlowSensitive/TypeErasedDataflowAnalysis.h"
#include "clang/Analysis/FlowSensitive/Value.h"
#include "clang/Basic/SourceManager.h"
#include "clang/Lex/Lexer.h"
#include "llvm/ADT/DenseMap.h"
#include "llvm/ADT/ScopeExit.h"
#include "llvm/Support/Error.h"
#include "llvm/Support/FormatVariadic.h"
#include "llvm/Support/JSON.h"
#include "llvm/Support/Program.h"
#include "llvm/Support/ScopedPrinter.h"
#include "llvm/Support/raw_ostream.h"
#include "HTMLLogger.inc"

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

Block

const CFGBlock* Block

Definition at line 153 of file HTMLLogger.cpp.

Referenced by clang::ento::NodeBuilderContext::blockCount(), clang::dataflow::buildContainsExprConsumedInDifferentBlock(), checkForRecursiveFunctionCall(), checkThrowInNonThrowingFunc(), clang::SEHFinallyStmt::children(), clang::SEHFinallyStmt::Create(), create_dispatch_once(), diagnoseRepeatedUseOfWeak(), clang::dataflow::findReachableBlocks(), clang::SEHFinallyStmt::getBlock(), clang::ento::NodeBuilderContext::getBlock(), clang::StackFrameContext::getCallSiteBlock(), clang::StackFrameContext::getCallSiteCFGElement(), clang::SEHFinallyStmt::getEndLoc(), getFirstStmtLoc(), getLastStmtLoc(), hasRecursiveCallInPath(), isInCoroutineStmt(), isValidDeadStmt(), clang::CodeGen::CodeGenFunction::JumpDest::JumpDest(), clang::ento::NodeBuilderContext::NodeBuilderContext(), and clang::StackFrameContext::Profile().

Converged

bool Converged

Definition at line 156 of file HTMLLogger.cpp.

Env

const Environment& Env

Definition at line 148 of file HTMLLogger.cpp.

Referenced by clang::SemaHLSL::ActOnTopLevelFunction(), clang::format::addQualifierAlignmentFixerPasses(), clang::ento::EnvironmentManager::bindExpr(), clang::driver::ToolChain::buildCompilerRTBasename(), clang::dataflow::builtinTransferInitializer(), clang::format::cleanup(), clang::dataflow::copyField(), clang::dataflow::copyRecord(), clang::dataflow::copySyntheticField(), clang::dataflow::createAnalysis(), clang::dataflow::diagnoseFunction(), clang::dataflow::evaluateBooleanEquality(), clang::driver::Command::Execute(), clang::format::fixNamespaceEndComments(), clang::dataflow::getBaseObjectLocation(), clang::ento::ProgramState::getEnvironment(), clang::dataflow::getImplicitObjectLocation(), clang::ento::ProgramState::getSVal(), clang::format::guessLanguage(), isPlatformEnvironment(), isTargetEnvironment(), isTargetVariantEnvironment(), clang::format::Environment::make(), clang::dataflow::maybeUnpackLValueExpr(), clang::format::IntegerLiteralSeparatorFixer::process(), clang::dataflow::propagateStorageLocation(), clang::dataflow::propagateValue(), clang::dataflow::propagateValueOrStorageLocation(), clang::dataflow::Environment::pushCall(), clang::dataflow::recordsEqual(), clang::format::internal::reformat(), clang::dataflow::refreshRecordValue(), clang::ento::EnvironmentManager::removeDeadBindings(), clang::driver::ToolChain::setTripleEnvironment(), clang::format::sortJavaScriptImports(), clang::format::sortUsingDeclarations(), clang::dataflow::ChromiumCheckModel::transfer(), clang::dataflow::UncheckedOptionalAccessModel::transfer(), clang::dataflow::transfer(), clang::dataflow::DataflowAnalysis< Derived, LatticeT >::transferBranchTypeErased(), clang::dataflow::DataflowAnalysis< Derived, LatticeT >::transferTypeErased(), clang::dataflow::UncheckedOptionalAccessModel::UncheckedOptionalAccessModel(), and clang::dataflow::unpackValue().

Iter

unsigned Iter

Definition at line 154 of file HTMLLogger.cpp.

Referenced by clang::ento::iterator::advancePosition(), buildCounterUpdate(), CheckForDuplicateEnumValues(), checkOpenMPLoop(), clang::tooling::detail::TransformerImpl::convertToAtomicChanges(), DoMarkVarDeclReferenced(), clang::dataflow::Environment::dump(), evenFlexibleArraySize(), fileNameToURI(), getFixIts(), clang::tooling::HeaderIncludes::insert(), LookupDirectMethodInGlobalPool(), clang::HeaderSearch::LookupFile(), clang::HeaderSearch::MapHeaderToIncludeAlias(), clang::TemplateArgumentLocInventIterator< Derived, InputIterator >::operator*(), clang::TemplateArgumentLocInventIterator< Derived, InputIterator >::operator++(), clang::tooling::HeaderIncludes::remove(), clang::tooling::selectFirstFix(), and clang::TemplateArgumentLocInventIterator< Derived, InputIterator >::TemplateArgumentLocInventIterator().

JOS

llvm::json::OStream JOS {JStringStream, 2}

Definition at line 147 of file HTMLLogger.cpp.

PostVisit

bool PostVisit

Definition at line 155 of file HTMLLogger.cpp.

Referenced by clang::ento::ExprEngine::Visit().

Visited

llvm::DenseSet<const void*> Visited

Definition at line 146 of file HTMLLogger.cpp.

Referenced by addLinkOptionsPostorder(), clang::CodeGen::InstrProfStats::addVisited(), checkForRecursiveFunctionCall(), clang::Sema::checkTypeSupport(), clang::dataflow::Environment::createValue(), DeduceTemplateBases(), clang::SemaSYCL::deepTypeCheckForDevice(), clang::Preprocessor::dumpMacroInfo(), clang::CodeGen::CodeGenModule::EmitTopLevelDecl(), clang::CodeGen::CodeGenModule::EmitVTableTypeMetadata(), clang::api_notes::APINotesManager::findAPINotes(), clang::CodeGen::CodeGenModule::GetVCallVisibilityLevel(), hasAcceptableDefaultArgument(), clang::dataflow::Environment::initializeFieldsWithValues(), clang::CFGBlock::isInevitablySinking(), clang::CFG::isLinear(), LookupQualifiedNameInUsingDirectives(), clang::ASTReader::makeModuleVisible(), optimizeHeaderSearchOpts(), processImplicitMapsWithDefaultMappers(), shouldSkipFunction(), and clang::RecursiveASTVisitor< Derived >::TraverseStmt().