clang 19.0.0git
Namespaces | Functions
Arena.cpp File Reference
#include "clang/Analysis/FlowSensitive/Arena.h"
#include "clang/Analysis/FlowSensitive/Formula.h"
#include "clang/Analysis/FlowSensitive/Value.h"
#include "llvm/Support/Error.h"
#include <string>

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 std::pair< const Formula *, const Formula * > clang::dataflow::canonicalFormulaPair (const Formula &LHS, const Formula &RHS)
 
template<class Key , class ComputeFunc >
const Formula & clang::dataflow::cached (llvm::DenseMap< Key, const Formula * > &Cache, Key K, ComputeFunc &&Compute)
 

Variable Documentation

◆ ID

char ID
static
Examples
/home/buildbot/as-worker-4/publish-doxygen-docs/llvm-project/clang/lib/StaticAnalyzer/Core/RegionStore.cpp.

Definition at line 183 of file Arena.cpp.

Referenced by clang::LazyASTUnresolvedSet::addLazyDecl(), clang::tooling::applyAllReplacements(), clang::ast_matchers::AST_POLYMORPHIC_MATCHER_P(), clang::dataflow::ASTMatchSwitchBuilder< BaseT, State, Result >::Build(), clang::internal::buildInterval(), clang::ento::SMTConstraintManager::checkModel(), clang::tooling::detail::TransformerImpl::convertToAtomicChanges(), clang::HLSLBufferDecl::Create(), clang::LabelDecl::CreateDeserialized(), clang::NamespaceDecl::CreateDeserialized(), clang::ImplicitParamDecl::CreateDeserialized(), clang::FunctionDecl::CreateDeserialized(), clang::FieldDecl::CreateDeserialized(), clang::EnumConstantDecl::CreateDeserialized(), clang::IndirectFieldDecl::CreateDeserialized(), clang::TypedefDecl::CreateDeserialized(), clang::TypeAliasDecl::CreateDeserialized(), clang::EnumDecl::CreateDeserialized(), clang::FileScopeAsmDecl::CreateDeserialized(), clang::TopLevelStmtDecl::CreateDeserialized(), clang::BlockDecl::CreateDeserialized(), clang::ExportDecl::CreateDeserialized(), clang::EmptyDecl::CreateDeserialized(), clang::HLSLBufferDecl::CreateDeserialized(), clang::CXXDeductionGuideDecl::CreateDeserialized(), clang::RequiresExprBodyDecl::CreateDeserialized(), clang::CXXMethodDecl::CreateDeserialized(), clang::CXXDestructorDecl::CreateDeserialized(), clang::CXXConversionDecl::CreateDeserialized(), clang::LinkageSpecDecl::CreateDeserialized(), clang::UsingDirectiveDecl::CreateDeserialized(), clang::NamespaceAliasDecl::CreateDeserialized(), clang::LifetimeExtendedTemporaryDecl::CreateDeserialized(), clang::UsingShadowDecl::CreateDeserialized(), clang::UsingDecl::CreateDeserialized(), clang::ConstructorUsingShadowDecl::CreateDeserialized(), clang::UsingEnumDecl::CreateDeserialized(), clang::UnresolvedUsingValueDecl::CreateDeserialized(), clang::UnresolvedUsingTypenameDecl::CreateDeserialized(), clang::StaticAssertDecl::CreateDeserialized(), clang::BindingDecl::CreateDeserialized(), clang::MSPropertyDecl::CreateDeserialized(), clang::CXXConstructorDecl::CreateDeserialized(), clang::PragmaCommentDecl::CreateDeserialized(), clang::PragmaDetectMismatchDecl::CreateDeserialized(), clang::DecompositionDecl::CreateDeserialized(), clang::UsingPackDecl::CreateDeserialized(), clang::ImportDecl::CreateDeserialized(), clang::CapturedDecl::CreateDeserialized(), clang::UnresolvedUsingIfExistsDecl::CreateDeserialized(), clang::RecordDecl::CreateDeserialized(), clang::OMPDeclarativeDirective< U >::createEmptyDirective(), clang::MultiplexASTDeserializationListener::DeclRead(), clang::ODRDiagsEmitter::diagnoseMismatch(), clang::format::MacroExpander::expand(), clang::tooling::formatAndApplyAllReplacements(), clang::ento::SMTConv::fromData(), clang::serialization::TypeIdx::fromTypeID(), clang::IncrementalParser::GenModule(), clang::getConflictTargetIDCombination(), clang::LineTableInfo::getFilename(), clang::ProgramPoint::getHashValue(), llvm::DenseMapInfo< clang::tooling::dependencies::ModuleID >::getHashValue(), clang::DeclarationNameTable::getIdentifier(), clang::SourceLocation::getLocWithOffset(), clang::ast_matchers::BoundNodes::getNodeAs(), clang::SelectorTable::getNullarySelector(), clang::SourceLocation::getRawEncoding(), clang::ASTRecordReader::getSwitchCaseWithID(), clang::SelectorTable::getUnarySelector(), clang::DotMemberAccessHandler::handleDeclaration(), clang::tooling::dependencies::FullDependencyConsumer::handleDirectModuleDependency(), clang::arcmt::TransformActions::hasDiagnostic(), llvm::hash_value(), clang::MultiplexASTDeserializationListener::IdentifierRead(), clang::transformer::ifBound(), clang::serialization::reader::ASTDeclContextNameLookupTrait::data_type_builder::insert(), clang::SourceLocation::isFileID(), clang::SourceLocation::isInvalid(), clang::SourceLocation::isMacroID(), clang::FixItRewriter::IsModified(), clang::SourceLocation::isValid(), clang::tooling::dependencies::CallbackActionController::lookupModuleOutput(), clang::MultiplexASTDeserializationListener::MacroDefinitionRead(), clang::MultiplexASTDeserializationListener::MacroRead(), clang::ento::FunctionSummariesTy::markVisitedBasicBlock(), clang::serialization::reader::ASTDeclContextNameLookupTrait::MergeDataInto(), clang::MultiplexASTDeserializationListener::ModuleImportRead(), clang::MultiplexASTDeserializationListener::ModuleRead(), clang::PreprocessingRecord::iterator::operator*(), clang::format::IntegerLiteralSeparatorFixer::process(), llvm::FoldingSetTrait< SValData >::Profile(), llvm::FoldingSetTrait< SValPair >::Profile(), clang::detail::CXXLiteralOperatorIdName::Profile(), clang::ento::PathDiagnosticConsumer::PDFileEntry::Profile(), clang::detail::CXXSpecialNameExtra::Profile(), clang::detail::CXXDeductionGuideNameExtra::Profile(), clang::FunctionTemplateSpecializationInfo::Profile(), clang::QualifiedTemplateName::Profile(), clang::DependentTemplateName::Profile(), clang::ComplexType::Profile(), clang::ParenType::Profile(), clang::PointerType::Profile(), clang::CountAttributedType::Profile(), clang::AdjustedType::Profile(), clang::BlockPointerType::Profile(), clang::ReferenceType::Profile(), clang::MemberPointerType::Profile(), clang::IncompleteArrayType::Profile(), clang::VectorType::Profile(), clang::ConstantMatrixType::Profile(), clang::FunctionNoProtoType::Profile(), clang::UnresolvedUsingType::Profile(), clang::UsingType::Profile(), clang::TypedefType::Profile(), clang::PackIndexingType::Profile(), clang::DependentUnaryTransformType::Profile(), clang::AttributedType::Profile(), clang::BTFTagAttributedType::Profile(), clang::TemplateTypeParmType::Profile(), clang::SubstTemplateTypeParmType::Profile(), clang::DeducedTemplateSpecializationType::Profile(), clang::ElaboratedType::Profile(), clang::DependentNameType::Profile(), clang::PackExpansionType::Profile(), clang::ObjCObjectPointerType::Profile(), clang::AtomicType::Profile(), clang::PipeType::Profile(), clang::CodeGen::CGFunctionInfo::Profile(), clang::ento::CompoundValData::Profile(), clang::ento::LazyCompoundValData::Profile(), clang::ento::PointerToMemberData::Profile(), clang::ConstructionContextItem::Profile(), clang::ento::PathDiagnosticLocationPair::Profile(), clang::ProgramPoint::Profile(), clang::CanQual< T >::Profile(), clang::ClassTemplateSpecializationDecl::Profile(), clang::ClassTemplatePartialSpecializationDecl::Profile(), clang::VarTemplateSpecializationDecl::Profile(), clang::VarTemplatePartialSpecializationDecl::Profile(), clang::NestedNameSpecifier::Profile(), clang::PointerAuthQualifier::Profile(), clang::Qualifiers::Profile(), clang::QualType::Profile(), clang::ExtQuals::Profile(), clang::FunctionType::ExtInfo::Profile(), clang::BitIntType::Profile(), clang::ModuleMacro::Profile(), clang::ento::BugReportEquivClass::Profile(), clang::ento::DynamicCastInfo::Profile(), clang::ento::DynamicTypeInfo::Profile(), clang::ento::Range::Profile(), clang::ento::SVal::Profile(), clang::ento::iterator::IteratorPosition::Profile(), clang::ento::iterator::ContainerData::Profile(), clang::ento::FieldNode::Profile(), clang::ento::NilReceiverBRVisitor::Profile(), clang::ento::ConditionBRVisitor::Profile(), clang::ento::LikelyFalsePositiveSuppressionBRVisitor::Profile(), clang::ento::UndefOrNullArgVisitor::Profile(), clang::ento::StringRegion::Profile(), clang::ento::ObjCStringRegion::Profile(), clang::ento::retaincountchecker::RefCountReportVisitor::Profile(), clang::BlockInvocationContext::Profile(), clang::StackFrameContext::Profile(), clang::ConstraintSatisfaction::Profile(), clang::DependentSizedArrayType::Profile(), clang::DependentAddressSpaceType::Profile(), clang::DependentSizedExtVectorType::Profile(), clang::DependentVectorType::Profile(), clang::DependentSizedMatrixType::Profile(), clang::DependentTypeOfExprType::Profile(), clang::DependentDecltypeType::Profile(), clang::DependentTemplateSpecializationType::Profile(), clang::DependentBitIntType::Profile(), clang::ConstantArrayType::Profile(), clang::ento::Environment::Profile(), clang::ento::EnvironmentEntry::Profile(), clang::ento::ExplodedNode::Profile(), clang::ento::ProgramState::Profile(), clang::ento::RangeSet::Profile(), clang::ento::SymbolCast::Profile(), clang::ento::UnarySymExpr::Profile(), clang::MultiKeywordSelector::Profile(), clang::ento::BinarySymExprImpl< LHSTYPE, RHSTYPE, ClassKind >::Profile(), clang::MSGuidDecl::Profile(), clang::TemplateParamObjectDecl::Profile(), clang::UnnamedGlobalConstantDecl::Profile(), clang::Sema::PushSatisfactionStackEntry(), clang::interp::ReadArg(), clang::ASTRecordReader::recordSwitchCaseID(), REGISTER_MAP_WITH_PROGRAMSTATE(), clang::Sema::SatisfactionStackContains(), clang::MultiplexASTDeserializationListener::SelectorRead(), clang::IdentifierInfo::setBuiltinID(), clang::comments::Token::setCommandID(), clang::PartialDiagnostic::setDiagID(), clang::IdentifierInfo::setNotableIdentifierID(), clang::IdentifierInfo::setObjCKeywordID(), clang::IdentifierInfo::setObjCOrBuiltinID(), clang::Decl::setOwningModuleID(), clang::comments::Token::setVerbatimBlockID(), clang::comments::Token::setVerbatimLineID(), and clang::ASTDeclReader::VisitObjCInterfaceDecl().