clang 19.0.0git
Namespaces
HTMLLogger.cpp File Reference
#include "clang/Analysis/FlowSensitive/ControlFlowContext.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

◆ 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::Sema::ActOnHLSLTopLevelFunction(), clang::format::addQualifierAlignmentFixerPasses(), clang::ento::EnvironmentManager::bindExpr(), clang::driver::ToolChain::buildCompilerRTBasename(), clang::dataflow::builtinTransferInitializer(), clang::format::cleanup(), clang::dataflow::copyRecord(), 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

◆ 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