Searched refs:MergedEnv (Results 1 – 2 of 2) sorted by relevance
96 Environment &MergedEnv, in mergeDistinctValues() argument116 auto &A = MergedEnv.arena(); in mergeDistinctValues()118 MergedEnv.assume( in mergeDistinctValues()136 MergedVal = &MergedEnv.create<RecordValue>(RecordVal1->getLoc()); in mergeDistinctValues()140 MergedVal = MergedEnv.createValue(Type); in mergeDistinctValues()142 MergedVal = MergedEnv.createValue(Type); in mergeDistinctValues()148 if (Model.merge(Type, Val1, Env1, Val2, Env2, *MergedVal, MergedEnv)) in mergeDistinctValues()
104 Environment &MergedEnv) { in merge() argument