153 Environment::Environment(DataflowAnalysisContext &DACtx)  in Environment()  argument
154     : DACtx(&DACtx), FlowConditionToken(&DACtx.makeFlowConditionToken()) {}  in Environment()
157     : DACtx(Other.DACtx), DeclToLoc(Other.DeclToLoc),  in Environment()
160       FlowConditionToken(&DACtx->forkFlowCondition(*Other.FlowConditionToken)) {  in Environment()
169 Environment::Environment(DataflowAnalysisContext &DACtx,  in Environment()  argument
171     : Environment(DACtx) {  in Environment()
195         DACtx.setThisPointeeStorageLocation(ThisPointeeLoc);  in Environment()
241   assert(DACtx == Other.DACtx);  in equivalentTo()
271   assert(DACtx == Other.DACtx);  in join()
275   Environment JoinedEnv(*DACtx);  in join()
291   JoinedEnv.FlowConditionToken = &DACtx->joinFlowConditions(  in join()
324   return DACtx->getStableStorageLocation(Type);  in createStorageLocation()
331   return DACtx->getStableStorageLocation(D);  in createStorageLocation()
338   return DACtx->getStableStorageLocation(E);  in createStorageLocation()
366   return DACtx->getThisPointeeStorageLocation();  in getThisPointeeStorageLocation()
370   return DACtx->getOrCreateNullPointerValue(PointeeType);  in getOrCreateNullPointerValue()
542   DACtx->addFlowConditionConstraint(*FlowConditionToken, Val);  in addToFlowCondition()
546   return DACtx->flowConditionImplies(*FlowConditionToken, Val);  in flowConditionImplies()
550   DACtx->dumpFlowCondition(*FlowConditionToken);  in dump()