761 Environment Environment::join(const Environment &EnvA, const Environment &EnvB,  in join()  argument
764   assert(EnvA.DACtx == EnvB.DACtx);  in join()
765   assert(EnvA.LocForRecordReturnVal == EnvB.LocForRecordReturnVal);  in join()
766   assert(EnvA.ThisPointeeLoc == EnvB.ThisPointeeLoc);  in join()
767   assert(EnvA.CallStack == EnvB.CallStack);  in join()
768   assert(EnvA.ResultObjectMap == EnvB.ResultObjectMap);  in join()
769   assert(EnvA.InitialTargetFunc == EnvB.InitialTargetFunc);  in join()
770   assert(EnvA.InitialTargetStmt == EnvB.InitialTargetStmt);  in join()
786         joinValues(Func->getReturnType(), EnvA.ReturnVal, EnvA, EnvB.ReturnVal,  in join()
787                    EnvB, JoinedEnv, Model);  in join()
790   if (EnvA.ReturnLoc == EnvB.ReturnLoc)  in join()
795   JoinedEnv.DeclToLoc = intersectDeclToLoc(EnvA.DeclToLoc, EnvB.DeclToLoc);  in join()
800       EnvA.FlowConditionToken, EnvB.FlowConditionToken);  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()