Searched refs:DACtx (Results 1 – 2 of 2) sorted by relevance
| /freebsd/contrib/llvm-project/clang/lib/Analysis/FlowSensitive/ |
| H A D | DataflowEnvironment.cpp | 309 DataflowAnalysisContext &DACtx) in ResultObjectVisitor() argument
311 LocForRecordReturnVal(LocForRecordReturnVal), DACtx(DACtx) {} in ResultObjectVisitor()
345 &cast<RecordStorageLocation>(DACtx.getStableStorageLocation(*VD))); in VisitVarDecl()
353 &cast<RecordStorageLocation>(DACtx.getStableStorageLocation(*MTE))); in VisitMaterializeTemporaryExpr()
374 E, &cast<RecordStorageLocation>(DACtx.getStableStorageLocation(*E))); in VisitExpr()
486 DataflowAnalysisContext &DACtx; member in clang::dataflow::__anon6e9468f50111::ResultObjectVisitor
499 DACtx, InitialTargetStmt, getThisPointeeStorageLocation(), in initialize()
560 DACtx, InitialTargetFunc, getThisPointeeStorageLocation(), in initialize()
570 DACtx->addModeledFields(Referenced.Fields); in initFieldsGlobalsAndFuncs()
594 Copy.FlowConditionToken = DACtx->forkFlowCondition(FlowConditionToken); in fork()
[all …]
|
| /freebsd/contrib/llvm-project/clang/include/clang/Analysis/FlowSensitive/ |
| H A D | DataflowEnvironment.h | 161 explicit Environment(DataflowAnalysisContext &DACtx) in Environment() argument
162 : DACtx(&DACtx), in Environment()
163 FlowConditionToken(DACtx.arena().makeFlowConditionToken()) {} in Environment()
167 Environment(DataflowAnalysisContext &DACtx, Stmt &S) : Environment(DACtx) { in Environment() argument
178 Environment(DataflowAnalysisContext &DACtx, const FunctionDecl &FD) in Environment() argument
179 : Environment(DACtx, *FD.getBody()) { in Environment()
677 DataflowAnalysisContext &getDataflowAnalysisContext() const { return *DACtx; } in getDataflowAnalysisContext()
679 Arena &arena() const { return DACtx->arena(); } in arena()
740 buildResultObjectMap(DataflowAnalysisContext *DACtx,
746 buildResultObjectMap(DataflowAnalysisContext *DACtx, Stmt *S,
[all …]
|