117     auto &MergedVal = A.makeAtomRef(A.makeAtom());  in mergeDistinctValues()  local
120                            A.makeEquals(MergedVal, Expr1)),  in mergeDistinctValues()
122                            A.makeEquals(MergedVal, Expr2))));  in mergeDistinctValues()
123     return &A.makeBoolValue(MergedVal);  in mergeDistinctValues()
126   Value *MergedVal = nullptr;  in mergeDistinctValues()  local
136       MergedVal = &MergedEnv.create<RecordValue>(RecordVal1->getLoc());  in mergeDistinctValues()
140       MergedVal = MergedEnv.createValue(Type);  in mergeDistinctValues()
142     MergedVal = MergedEnv.createValue(Type);  in mergeDistinctValues()
147   if (MergedVal)  in mergeDistinctValues()
148     if (Model.merge(Type, Val1, Env1, Val2, Env2, *MergedVal, MergedEnv))  in mergeDistinctValues()
149       return MergedVal;  in mergeDistinctValues()
243     if (Value *MergedVal = mergeDistinctValues(  in joinLocToVal()  local
245       Result.insert({Loc, MergedVal});  in joinLocToVal()
660     if (Value *MergedVal =  in join()  local
663       JoinedEnv.ReturnVal = MergedVal;  in join()