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
addFlowConditionDeps(Atom Token, const llvm::DenseSet< Atom > &Deps)	clang::dataflow::DataflowAnalysisContext	inline
addInvariant(const Formula &Constraint)	clang::dataflow::DataflowAnalysisContext
arena()	clang::dataflow::DataflowAnalysisContext	inline
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	inline
DataflowAnalysisContext(Solver &S, Options Opts=Options{ std::nullopt, nullptr})	clang::dataflow::DataflowAnalysisContext	inline
dumpFlowCondition(Atom Token, llvm::raw_ostream &OS=llvm::dbgs())	clang::dataflow::DataflowAnalysisContext
Environment class	clang::dataflow::DataflowAnalysisContext	friend
equivalentFormulas(const Formula &Val1, const Formula &Val2)	clang::dataflow::DataflowAnalysisContext
exportLogicalContext(llvm::DenseSet< dataflow::Atom > TargetTokens) const	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
getAdornedCFG(const FunctionDecl *F)	clang::dataflow::DataflowAnalysisContext
getModeledFields(QualType Type)	clang::dataflow::DataflowAnalysisContext
getOptions()	clang::dataflow::DataflowAnalysisContext	inline
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::DataflowAnalysisContext	inline
initLogicalContext(SimpleLogicalContext LC)	clang::dataflow::DataflowAnalysisContext
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::DataflowAnalysisContext	inline
~DataflowAnalysisContext()	clang::dataflow::DataflowAnalysisContext