Lines Matching refs:OptionalLoc
327 StorageLocation &locForHasValue(const RecordStorageLocation &OptionalLoc) { in locForHasValue() argument
328 return OptionalLoc.getSyntheticField("has_value"); in locForHasValue()
331 StorageLocation &locForValue(const RecordStorageLocation &OptionalLoc) { in locForValue() argument
332 return OptionalLoc.getSyntheticField("value"); in locForValue()
337 void setHasValue(RecordStorageLocation &OptionalLoc, BoolValue &HasValueVal, in setHasValue() argument
339 Env.setValue(locForHasValue(OptionalLoc), HasValueVal); in setHasValue()
344 BoolValue *getHasValue(Environment &Env, RecordStorageLocation *OptionalLoc) { in getHasValue() argument
345 if (OptionalLoc == nullptr) in getHasValue()
347 StorageLocation &HasValueLoc = locForHasValue(*OptionalLoc); in getHasValue()
387 if (auto *OptionalLoc = cast_or_null<RecordStorageLocation>( in transferUnwrapCall() local
390 State.Env.setStorageLocation(*UnwrapExpr, locForValue(*OptionalLoc)); in transferUnwrapCall()
396 if (auto *OptionalLoc = cast_or_null<RecordStorageLocation>( in transferArrowOpCall() local
399 *UnwrapExpr, State.Env.create<PointerValue>(locForValue(*OptionalLoc))); in transferArrowOpCall()
870 if (auto *OptionalLoc = cast_or_null<RecordStorageLocation>( in diagnoseUnwrapCall() local
872 auto *Prop = Env.getValue(locForHasValue(*OptionalLoc)); in diagnoseUnwrapCall()