Lines Matching defs:Env1

98                                   const Environment &Env1, Value &Val2,
107   switch (Model.compare(Type, Val1, Env1, Val2, Env2)) {
118 /// Attempts to join distinct values `Val1` and `Val2` in `Env1` and `Env2`,
123                                  const Environment &Env1, Value &Val2,
148         A.makeOr(A.makeAnd(A.makeAtomRef(Env1.getFlowConditionToken()),
157     Model.join(Type, Val1, Env1, Val2, Env2, *JoinedVal, JoinedEnv);
210                                   const Environment &Env1,
226         !compareDistinctValues(K->getType(), *Val, Env1, *It->second, Env2,
238              const Environment &Env1, const Environment &Env2,
254             Loc->getType(), Val, Env1, It->second, Env2, JoinedEnv, Model)) {
816                                const Environment &Env1, Value *Val2,
830   return joinDistinctValues(Ty, *Val1, Env1, *Val2, Env2, JoinedEnv, Model);