Lines Matching defs:JoinedEnv

125                                  Environment &JoinedEnv,
145     auto &A = JoinedEnv.arena();
147     JoinedEnv.assume(
155   Value *JoinedVal = JoinedEnv.createValue(Type);
157     Model.join(Type, Val1, Env1, Val2, Env2, *JoinedVal, JoinedEnv);
239              Environment &JoinedEnv, Environment::ValueModel &Model) {
254             Loc->getType(), Val, Env1, It->second, Env2, JoinedEnv, Model)) {
774   Environment JoinedEnv(*EnvA.DACtx);
776   JoinedEnv.CallStack = EnvA.CallStack;
777   JoinedEnv.ResultObjectMap = EnvA.ResultObjectMap;
778   JoinedEnv.LocForRecordReturnVal = EnvA.LocForRecordReturnVal;
779   JoinedEnv.ThisPointeeLoc = EnvA.ThisPointeeLoc;
780   JoinedEnv.InitialTargetFunc = EnvA.InitialTargetFunc;
781   JoinedEnv.InitialTargetStmt = EnvA.InitialTargetStmt;
785     JoinedEnv.ReturnVal = nullptr;
787     JoinedEnv.ReturnVal =
789                    EnvB, JoinedEnv, Model);
793     JoinedEnv.ReturnLoc = EnvA.ReturnLoc;
795     JoinedEnv.ReturnLoc = nullptr;
797   JoinedEnv.DeclToLoc = intersectDeclToLoc(EnvA.DeclToLoc, EnvB.DeclToLoc);
801   JoinedEnv.FlowConditionToken = EnvA.DACtx->joinFlowConditions(
804   JoinedEnv.LocToVal =
805       joinLocToVal(EnvA.LocToVal, EnvB.LocToVal, EnvA, EnvB, JoinedEnv, Model);
808     JoinedEnv.ExprToVal = joinExprMaps(EnvA.ExprToVal, EnvB.ExprToVal);
809     JoinedEnv.ExprToLoc = joinExprMaps(EnvA.ExprToLoc, EnvB.ExprToLoc);
812   return JoinedEnv;
817                                const Environment &Env2, Environment &JoinedEnv,
830   return joinDistinctValues(Ty, *Val1, Env1, *Val2, Env2, JoinedEnv, Model);