96 static bool compareDistinctValues(QualType Type, Value &Val1,  in compareDistinctValues()  argument
106   switch (Model.compare(Type, Val1, Env1, Val2, Env2)) {  in compareDistinctValues()
112     return equateUnknownValues(Val1.getKind());  in compareDistinctValues()
121 static Value *joinDistinctValues(QualType Type, Value &Val1,  in joinDistinctValues()  argument
128   if (isa<BoolValue>(&Val1) && isa<BoolValue>(&Val2)) {  in joinDistinctValues()
142     auto &Expr1 = cast<BoolValue>(Val1).formula();  in joinDistinctValues()
156     Model.join(Type, Val1, Env1, Val2, Env2, *JoinedVal, JoinedEnv);  in joinDistinctValues()
813 Value *Environment::joinValues(QualType Ty, Value *Val1,  in joinValues()  argument
817   if (Val1 == nullptr || Val2 == nullptr)  in joinValues()
824   if (areEquivalentValues(*Val1, *Val2))  in joinValues()
826     return Val1;  in joinValues()
828   return joinDistinctValues(Ty, *Val1, Env1, *Val2, Env2, JoinedEnv, Model);  in joinValues()