310       DataflowAnalysisContext &DACtx)  in ResultObjectVisitor()  argument
312         LocForRecordReturnVal(LocForRecordReturnVal), DACtx(DACtx) {}  in ResultObjectVisitor()
346           &cast<RecordStorageLocation>(DACtx.getStableStorageLocation(*VD)));  in VisitVarDecl()
354           &cast<RecordStorageLocation>(DACtx.getStableStorageLocation(*MTE)));  in VisitMaterializeTemporaryExpr()
375           E, &cast<RecordStorageLocation>(DACtx.getStableStorageLocation(*E)));  in VisitExpr()
487   DataflowAnalysisContext &DACtx;  member in clang::dataflow::__anon6e9468f50111::ResultObjectVisitor
500             DACtx, InitialTargetStmt, getThisPointeeStorageLocation(),  in initialize()
561           DACtx, InitialTargetFunc, getThisPointeeStorageLocation(),  in initialize()
571   DACtx->addModeledFields(Referenced.Fields);  in initFieldsGlobalsAndFuncs()
595   Copy.FlowConditionToken = DACtx->forkFlowCondition(FlowConditionToken);  in fork()
661       buildResultObjectMap(DACtx, FuncDecl, getThisPointeeStorageLocation(),  in pushCallInternal()
694   assert(DACtx == Other.DACtx);  in equivalentTo()
725   assert(DACtx == PrevEnv.DACtx);  in widen()
764   assert(EnvA.DACtx == EnvB.DACtx);  in join()
772   Environment JoinedEnv(*EnvA.DACtx);  in join()
799   JoinedEnv.FlowConditionToken = EnvA.DACtx->joinFlowConditions(  in join()
832   return DACtx->createStorageLocation(Type);  in createStorageLocation()
839   return DACtx->getStableStorageLocation(D);  in createStorageLocation()
846   return DACtx->getStableStorageLocation(E);  in createStorageLocation()
903         DACtx->getStableStorageLocation(RecordPRValue));  in getResultObjectLocation()
908   return DACtx->getOrCreateNullPointerValue(PointeeType);  in getOrCreateNullPointerValue()
1062   for (const FieldDecl *Field : DACtx->getModeledFields(Type)) {  in initializeFieldsWithValues()
1076   for (const auto &[FieldName, FieldType] : DACtx->getSyntheticFields(Type)) {  in initializeFieldsWithValues()
1137   DACtx->addFlowConditionConstraint(FlowConditionToken, F);  in assume()
1141   return DACtx->flowConditionImplies(FlowConditionToken, F);  in proves()
1145   return DACtx->flowConditionAllows(FlowConditionToken, F);  in allows()
1198   DACtx->dumpFlowCondition(FlowConditionToken, OS);  in dump()
1204     DataflowAnalysisContext *DACtx, const FunctionDecl *FuncDecl,  in buildResultObjectMap()  argument
1210       DACtx, FuncDecl->getBody(), ThisPointeeLoc, LocForRecordReturnVal);  in buildResultObjectMap()
1212   ResultObjectVisitor Visitor(Map, LocForRecordReturnVal, *DACtx);  in buildResultObjectMap()
1220     DataflowAnalysisContext *DACtx, Stmt *S,  in buildResultObjectMap()  argument
1224   ResultObjectVisitor Visitor(Map, LocForRecordReturnVal, *DACtx);  in buildResultObjectMap()