| addFlowConditionConstraint(Atom Token, const Formula &Constraint) | clang::dataflow::DataflowAnalysisContext | |
| 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 | |
| dumpFlowCondition(Atom Token, llvm::raw_ostream &OS=llvm::dbgs()) | clang::dataflow::DataflowAnalysisContext | |
| Environment | clang::dataflow::DataflowAnalysisContext | friend |
| 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 | |
| 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 |
| 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 | |
