124                                  Environment &JoinedEnv,  in joinDistinctValues()  argument
144     auto &A = JoinedEnv.arena();  in joinDistinctValues()
146     JoinedEnv.assume(  in joinDistinctValues()
154   Value *JoinedVal = JoinedEnv.createValue(Type);  in joinDistinctValues()
156     Model.join(Type, Val1, Env1, Val2, Env2, *JoinedVal, JoinedEnv);  in joinDistinctValues()
237              Environment &JoinedEnv, Environment::ValueModel &Model) {  in joinLocToVal()  argument
252             Loc->getType(), Val, Env1, It->second, Env2, JoinedEnv, Model)) {  in joinLocToVal()
772   Environment JoinedEnv(*EnvA.DACtx);  in join()  local
774   JoinedEnv.CallStack = EnvA.CallStack;  in join()
775   JoinedEnv.ResultObjectMap = EnvA.ResultObjectMap;  in join()
776   JoinedEnv.LocForRecordReturnVal = EnvA.LocForRecordReturnVal;  in join()
777   JoinedEnv.ThisPointeeLoc = EnvA.ThisPointeeLoc;  in join()
778   JoinedEnv.InitialTargetFunc = EnvA.InitialTargetFunc;  in join()
779   JoinedEnv.InitialTargetStmt = EnvA.InitialTargetStmt;  in join()
783     JoinedEnv.ReturnVal = nullptr;  in join()
785     JoinedEnv.ReturnVal =  in join()
787                    EnvB, JoinedEnv, Model);  in join()
791     JoinedEnv.ReturnLoc = EnvA.ReturnLoc;  in join()
793     JoinedEnv.ReturnLoc = nullptr;  in join()
795   JoinedEnv.DeclToLoc = intersectDeclToLoc(EnvA.DeclToLoc, EnvB.DeclToLoc);  in join()
799   JoinedEnv.FlowConditionToken = EnvA.DACtx->joinFlowConditions(  in join()
802   JoinedEnv.LocToVal =  in join()
803       joinLocToVal(EnvA.LocToVal, EnvB.LocToVal, EnvA, EnvB, JoinedEnv, Model);  in join()
806     JoinedEnv.ExprToVal = joinExprMaps(EnvA.ExprToVal, EnvB.ExprToVal);  in join()
807     JoinedEnv.ExprToLoc = joinExprMaps(EnvA.ExprToLoc, EnvB.ExprToLoc);  in join()
810   return JoinedEnv;  in join()
815                                const Environment &Env2, Environment &JoinedEnv,  in joinValues()  argument
828   return joinDistinctValues(Ty, *Val1, Env1, *Val2, Env2, JoinedEnv, Model);  in joinValues()