Lines Matching refs:OptionalLoc
238 StorageLocation &locForHasValue(const RecordStorageLocation &OptionalLoc) { in locForHasValue() argument
239 return OptionalLoc.getSyntheticField("has_value"); in locForHasValue()
242 StorageLocation &locForValue(const RecordStorageLocation &OptionalLoc) { in locForValue() argument
243 return OptionalLoc.getSyntheticField("value"); in locForValue()
248 void setHasValue(RecordStorageLocation &OptionalLoc, BoolValue &HasValueVal, in setHasValue() argument
250 Env.setValue(locForHasValue(OptionalLoc), HasValueVal); in setHasValue()
266 BoolValue *getHasValue(Environment &Env, RecordStorageLocation *OptionalLoc) { in getHasValue() argument
267 if (OptionalLoc == nullptr) in getHasValue()
269 StorageLocation &HasValueLoc = locForHasValue(*OptionalLoc); in getHasValue()
314 if (auto *OptionalLoc = cast_or_null<RecordStorageLocation>( in transferUnwrapCall() local
317 State.Env.setStorageLocation(*UnwrapExpr, locForValue(*OptionalLoc)); in transferUnwrapCall()
323 if (auto *OptionalLoc = cast_or_null<RecordStorageLocation>( in transferArrowOpCall() local
326 *UnwrapExpr, State.Env.create<PointerValue>(locForValue(*OptionalLoc))); in transferArrowOpCall()
801 if (auto *OptionalLoc = cast_or_null<RecordStorageLocation>( in diagnoseUnwrapCall() local
803 auto *Prop = Env.getValue(locForHasValue(*OptionalLoc)); in diagnoseUnwrapCall()