760 Environment Environment::join(const Environment &EnvA, const Environment &EnvB,  in join()  argument
763   assert(EnvA.DACtx == EnvB.DACtx);  in join()
764   assert(EnvA.LocForRecordReturnVal == EnvB.LocForRecordReturnVal);  in join()
765   assert(EnvA.ThisPointeeLoc == EnvB.ThisPointeeLoc);  in join()
766   assert(EnvA.CallStack == EnvB.CallStack);  in join()
767   assert(EnvA.ResultObjectMap == EnvB.ResultObjectMap);  in join()
768   assert(EnvA.InitialTargetFunc == EnvB.InitialTargetFunc);  in join()
769   assert(EnvA.InitialTargetStmt == EnvB.InitialTargetStmt);  in join()
771   Environment JoinedEnv(*EnvA.DACtx);  in join()
773   JoinedEnv.CallStack = EnvA.CallStack;  in join()
774   JoinedEnv.ResultObjectMap = EnvA.ResultObjectMap;  in join()
775   JoinedEnv.LocForRecordReturnVal = EnvA.LocForRecordReturnVal;  in join()
776   JoinedEnv.ThisPointeeLoc = EnvA.ThisPointeeLoc;  in join()
777   JoinedEnv.InitialTargetFunc = EnvA.InitialTargetFunc;  in join()
778   JoinedEnv.InitialTargetStmt = EnvA.InitialTargetStmt;  in join()
780   const FunctionDecl *Func = EnvA.getCurrentFunc();  in join()
785         joinValues(Func->getReturnType(), EnvA.ReturnVal, EnvA, EnvB.ReturnVal,  in join()
789   if (EnvA.ReturnLoc == EnvB.ReturnLoc)  in join()
790     JoinedEnv.ReturnLoc = EnvA.ReturnLoc;  in join()
794   JoinedEnv.DeclToLoc = intersectDeclToLoc(EnvA.DeclToLoc, EnvB.DeclToLoc);  in join()
798   JoinedEnv.FlowConditionToken = EnvA.DACtx->joinFlowConditions(  in join()
799       EnvA.FlowConditionToken, EnvB.FlowConditionToken);  in join()
802       joinLocToVal(EnvA.LocToVal, EnvB.LocToVal, EnvA, EnvB, JoinedEnv, Model);  in join()
805     JoinedEnv.ExprToVal = joinExprMaps(EnvA.ExprToVal, EnvB.ExprToVal);  in join()
806     JoinedEnv.ExprToLoc = joinExprMaps(EnvA.ExprToLoc, EnvB.ExprToLoc);  in join()