127   if (auto *RecordVal1 = dyn_cast<RecordValue>(&Val1)) {  in mergeDistinctValues()
128     auto *RecordVal2 = cast<RecordValue>(&Val2);  in mergeDistinctValues()
136       MergedVal = &MergedEnv.create<RecordValue>(RecordVal1->getLoc());  in mergeDistinctValues()
415               cast<RecordValue>(createValue(ThisPointeeType))->getLoc());  in initialize()
421           cast<RecordValue>(createValue(ThisPointeeType))->getLoc());  in initialize()
776     auto *Val = cast_or_null<RecordValue>(getValue(RecordPRValue));  in getResultObjectLocation()
806   assert(!isa<RecordValue>(&Val) || &cast<RecordValue>(&Val)->getLoc() == &Loc);  in setValue()
814   if (auto *RecordVal = dyn_cast<RecordValue>(&Val)) {  in setValue()
914     RecordValue &RecordVal = create<RecordValue>(Loc);  in createValueUnlessSelfReferential()
942     return cast<RecordValue>(Val)->getLoc();  in createLocAndMaybeValue()
988     return cast<RecordValue>(Val)->getLoc();  in createObjectInternal()
1078 RecordValue &refreshRecordValue(RecordStorageLocation &Loc, Environment &Env) {  in refreshRecordValue()
1079   auto &NewVal = Env.create<RecordValue>(Loc);  in refreshRecordValue()
1084 RecordValue &refreshRecordValue(const Expr &Expr, Environment &Env) {  in refreshRecordValue()
1088     if (auto *ExistingVal = Env.get<RecordValue>(Expr)) {  in refreshRecordValue()
1089       auto &NewVal = Env.create<RecordValue>(ExistingVal->getLoc());  in refreshRecordValue()
1095     auto &NewVal = *cast<RecordValue>(Env.createValue(Expr.getType()));  in refreshRecordValue()
1101     auto &NewVal = Env.create<RecordValue>(*Loc);  in refreshRecordValue()
1106   auto &NewVal = *cast<RecordValue>(Env.createValue(Expr.getType()));  in refreshRecordValue()