Lines Matching defs:OptionalLoc

327 StorageLocation &locForHasValue(const RecordStorageLocation &OptionalLoc) {
328   return OptionalLoc.getSyntheticField("has_value");
331 StorageLocation &locForValue(const RecordStorageLocation &OptionalLoc) {
332   return OptionalLoc.getSyntheticField("value");
336 /// property of the optional at `OptionalLoc`.
337 void setHasValue(RecordStorageLocation &OptionalLoc, BoolValue &HasValueVal,
339   Env.setValue(locForHasValue(OptionalLoc), HasValueVal);
343 /// optional at `OptionalLoc`. Returns null if `OptionalLoc` is null.
344 BoolValue *getHasValue(Environment &Env, RecordStorageLocation *OptionalLoc) {
345   if (OptionalLoc == nullptr)
347   StorageLocation &HasValueLoc = locForHasValue(*OptionalLoc);
387   if (auto *OptionalLoc = cast_or_null<RecordStorageLocation>(
390       State.Env.setStorageLocation(*UnwrapExpr, locForValue(*OptionalLoc));
396   if (auto *OptionalLoc = cast_or_null<RecordStorageLocation>(
399         *UnwrapExpr, State.Env.create<PointerValue>(locForValue(*OptionalLoc)));
870   if (auto *OptionalLoc = cast_or_null<RecordStorageLocation>(
872     auto *Prop = Env.getValue(locForHasValue(*OptionalLoc));