clang 19.0.0git
clang::dataflow::DataflowAnalysisContext Member List

This is the complete list of members for clang::dataflow::DataflowAnalysisContext, including all inherited members.

addFlowConditionConstraint(Atom Token, const Formula &Constraint)clang::dataflow::DataflowAnalysisContext
addInvariant(const Formula &Constraint)clang::dataflow::DataflowAnalysisContext
arena()clang::dataflow::DataflowAnalysisContextinline
createRecordStorageLocation(QualType Type, RecordStorageLocation::FieldToLoc FieldLocs, RecordStorageLocation::SyntheticFieldMap SyntheticFields)clang::dataflow::DataflowAnalysisContext
createStorageLocation(QualType Type)clang::dataflow::DataflowAnalysisContext
DataflowAnalysisContext(std::unique_ptr< Solver > S, Options Opts=Options{ std::nullopt, nullptr})clang::dataflow::DataflowAnalysisContext
dumpFlowCondition(Atom Token, llvm::raw_ostream &OS=llvm::dbgs())clang::dataflow::DataflowAnalysisContext
Environmentclang::dataflow::DataflowAnalysisContextfriend
equivalentFormulas(const Formula &Val1, const Formula &Val2)clang::dataflow::DataflowAnalysisContext
flowConditionAllows(Atom Token, const Formula &F)clang::dataflow::DataflowAnalysisContext
flowConditionImplies(Atom Token, const Formula &F)clang::dataflow::DataflowAnalysisContext
forkFlowCondition(Atom Token)clang::dataflow::DataflowAnalysisContext
getControlFlowContext(const FunctionDecl *F)clang::dataflow::DataflowAnalysisContext
getModeledFields(QualType Type)clang::dataflow::DataflowAnalysisContext
getOptions()clang::dataflow::DataflowAnalysisContextinline
getOrCreateNullPointerValue(QualType PointeeType)clang::dataflow::DataflowAnalysisContext
getStableStorageLocation(const ValueDecl &D)clang::dataflow::DataflowAnalysisContext
getStableStorageLocation(const Expr &E)clang::dataflow::DataflowAnalysisContext
getSyntheticFields(QualType Type)clang::dataflow::DataflowAnalysisContextinline
joinFlowConditions(Atom FirstToken, Atom SecondToken)clang::dataflow::DataflowAnalysisContext
querySolver(llvm::SetVector< const Formula * > Constraints)clang::dataflow::DataflowAnalysisContext
setSyntheticFieldCallback(std::function< llvm::StringMap< QualType >(QualType)> CB)clang::dataflow::DataflowAnalysisContextinline
~DataflowAnalysisContext()clang::dataflow::DataflowAnalysisContext