373 Environment::Environment(DataflowAnalysisContext &DACtx)  in Environment()  argument
374     : DACtx(&DACtx),  in Environment()
375       FlowConditionToken(DACtx.arena().makeFlowConditionToken()) {}  in Environment()
377 Environment::Environment(DataflowAnalysisContext &DACtx,  in Environment()  argument
379     : Environment(DACtx) {  in Environment()
458   DACtx->addModeledFields(Fields);  in initFieldsGlobalsAndFuncs()
477   Copy.FlowConditionToken = DACtx->forkFlowCondition(FlowConditionToken);  in fork()
572   assert(DACtx == Other.DACtx);  in equivalentTo()
600   assert(DACtx == PrevEnv.DACtx);  in widen()
634   assert(EnvA.DACtx == EnvB.DACtx);  in join()
638   Environment JoinedEnv(*EnvA.DACtx);  in join()
675   JoinedEnv.FlowConditionToken = EnvA.DACtx->joinFlowConditions(  in join()
689   return DACtx->createStorageLocation(Type);  in createStorageLocation()
696   return DACtx->getStableStorageLocation(D);  in createStorageLocation()
703   return DACtx->getStableStorageLocation(E);  in createStorageLocation()
772         DACtx->getStableStorageLocation(RecordPRValue));  in getResultObjectLocation()
802   return DACtx->getOrCreateNullPointerValue(PointeeType);  in getOrCreateNullPointerValue()
894     for (const FieldDecl *Field : DACtx->getModeledFields(Type)) {  in createValueUnlessSelfReferential()
905     for (const auto &Entry : DACtx->getSyntheticFields(Type)) {  in createValueUnlessSelfReferential()
912     RecordStorageLocation &Loc = DACtx->createRecordStorageLocation(  in createValueUnlessSelfReferential()
1000   DACtx->addFlowConditionConstraint(FlowConditionToken, F);  in assume()
1004   return DACtx->flowConditionImplies(FlowConditionToken, F);  in proves()
1008   return DACtx->flowConditionAllows(FlowConditionToken, F);  in allows()
1032   DACtx->dumpFlowCondition(FlowConditionToken, OS);  in dump()