99                                   Environment::ValueModel &Model) {  in compareDistinctValues()  argument
106   switch (Model.compare(Type, Val1, Env1, Val2, Env2)) {  in compareDistinctValues()
125                                  Environment::ValueModel &Model) {  in joinDistinctValues()  argument
156     Model.join(Type, Val1, Env1, Val2, Env2, *JoinedVal, JoinedEnv);  in joinDistinctValues()
164                                        Environment::ValueModel &Model) {  in widenDistinctValues()  argument
196   if (auto Result = Model.widen(Type, Prev, PrevEnv, Current, CurrentEnv))  in widenDistinctValues()
210                            Environment::ValueModel &Model) {  in compareKeyToValueMaps()  argument
225                                Model))  in compareKeyToValueMaps()
237              Environment &JoinedEnv, Environment::ValueModel &Model) {  in joinLocToVal()  argument
252             Loc->getType(), Val, Env1, It->second, Env2, JoinedEnv, Model)) {  in joinLocToVal()
267                    Environment::ValueModel &Model, LatticeEffect &Effect) {  in widenKeyToValueMap()  argument
287         K->getType(), *PrevIt->second, PrevEnv, *Val, CurEnv, Model);  in widenKeyToValueMap()
693                                Environment::ValueModel &Model) const {  in equivalentTo()
714   if (!compareKeyToValueMaps(ExprToVal, Other.ExprToVal, *this, Other, Model))  in equivalentTo()
717   if (!compareKeyToValueMaps(LocToVal, Other.LocToVal, *this, Other, Model))  in equivalentTo()
724                                  Environment::ValueModel &Model) {  in widen()  argument
748                                  Model, Effect);  in widen()
751                                 Model, Effect);  in widen()
762                               Environment::ValueModel &Model,  in join()  argument
787                    EnvB, JoinedEnv, Model);  in join()
803       joinLocToVal(EnvA.LocToVal, EnvB.LocToVal, EnvA, EnvB, JoinedEnv, Model);  in join()
816                                Environment::ValueModel &Model) {  in joinValues()  argument
828   return joinDistinctValues(Ty, *Val1, Env1, *Val2, Env2, JoinedEnv, Model);  in joinValues()