Lines Matching defs:JoinedEnv

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