Home
last modified time | relevance | path

Searched refs:DataflowAnalysisContext (Results 1 – 6 of 6) sorted by relevance

/freebsd/contrib/llvm-project/clang/lib/Analysis/FlowSensitive/
H A DDataflowAnalysisContext.cpp45 FieldSet DataflowAnalysisContext::getModeledFields(QualType Type) { in getModeledFields()
59 void DataflowAnalysisContext::addModeledFields(const FieldSet &Fields) { in addModeledFields()
63 StorageLocation &DataflowAnalysisContext::createStorageLocation(QualType Type) { in createStorageLocation()
92 RecordStorageLocation &DataflowAnalysisContext::createRecordStorageLocation( in createRecordStorageLocation()
105 DataflowAnalysisContext::getStableStorageLocation(const ValueDecl &D) { in getStableStorageLocation()
114 DataflowAnalysisContext::getStableStorageLocation(const Expr &E) { in getStableStorageLocation()
125 DataflowAnalysisContext::getOrCreateNullPointerValue(QualType PointeeType) { in getOrCreateNullPointerValue()
136 void DataflowAnalysisContext::addInvariant(const Formula &Constraint) { in addInvariant()
143 void DataflowAnalysisContext::addFlowConditionConstraint( in addFlowConditionConstraint()
152 Atom DataflowAnalysisContext::forkFlowCondition(Atom Token) { in forkFlowCondition()
[all …]
H A DDataflowEnvironment.cpp310 DataflowAnalysisContext &DACtx) in ResultObjectVisitor()
487 DataflowAnalysisContext &DACtx;
1204 DataflowAnalysisContext *DACtx, const FunctionDecl *FuncDecl, in buildResultObjectMap()
1220 DataflowAnalysisContext *DACtx, Stmt *S, in buildResultObjectMap()
/freebsd/contrib/llvm-project/clang/include/clang/Analysis/FlowSensitive/
H A DDataflowAnalysisContext.h47 class DataflowAnalysisContext {
67 DataflowAnalysisContext(std::unique_ptr<Solver> S,
71 : DataflowAnalysisContext(*S, std::move(S), Opts) {}
78 DataflowAnalysisContext(Solver &S, Options Opts = Options{
81 : DataflowAnalysisContext(S, nullptr, Opts) {} in DataflowAnalysisContext() function
83 ~DataflowAnalysisContext();
228 DataflowAnalysisContext(Solver &S, std::unique_ptr<Solver> &&OwnedSolver,
H A DTypeErasedDataflowAnalysis.h39 std::optional<DataflowAnalysisContext::Options> BuiltinOpts =
40 DataflowAnalysisContext::Options{};
113 const std::optional<DataflowAnalysisContext::Options> &
H A DDataflowEnvironment.h161 explicit Environment(DataflowAnalysisContext &DACtx) in Environment()
167 Environment(DataflowAnalysisContext &DACtx, Stmt &S) : Environment(DACtx) { in Environment()
178 Environment(DataflowAnalysisContext &DACtx, const FunctionDecl &FD) in Environment()
677 DataflowAnalysisContext &getDataflowAnalysisContext() const { return *DACtx; } in getDataflowAnalysisContext()
740 buildResultObjectMap(DataflowAnalysisContext *DACtx,
746 buildResultObjectMap(DataflowAnalysisContext *DACtx, Stmt *S,
751 DataflowAnalysisContext *DACtx;
H A DDataflowAnalysis.h347 DataflowAnalysisContext AnalysisContext(*Solver);