51 static bool areEquivalentIndirectionValues(Value *Val1, Value *Val2) {  in areEquivalentIndirectionValues()  argument
52   if (auto *IndVal1 = dyn_cast<ReferenceValue>(Val1)) {  in areEquivalentIndirectionValues()
56   if (auto *IndVal1 = dyn_cast<PointerValue>(Val1)) {  in areEquivalentIndirectionValues()
64 static bool equivalentValues(QualType Type, Value *Val1,  in equivalentValues()  argument
68   return Val1 == Val2 || areEquivalentIndirectionValues(Val1, Val2) ||  in equivalentValues()
69          Model.compareEquivalent(Type, *Val1, Env1, *Val2, Env2);  in equivalentValues()
76 static Value *mergeDistinctValues(QualType Type, Value *Val1,  in mergeDistinctValues()  argument
86   if (auto *Expr1 = dyn_cast<BoolValue>(Val1)) {  in mergeDistinctValues()
98   if (areEquivalentIndirectionValues(Val1, Val2)) {  in mergeDistinctValues()
99     return Val1;  in mergeDistinctValues()
105     if (Model.merge(Type, *Val1, Env1, *Val2, Env2, *MergedVal, MergedEnv))  in mergeDistinctValues()