Lines Matching defs:OptionalLoc

381 StorageLocation &locForHasValue(const RecordStorageLocation &OptionalLoc) {
382   return OptionalLoc.getSyntheticField("has_value");
385 StorageLocation &locForValue(const RecordStorageLocation &OptionalLoc) {
386   return OptionalLoc.getSyntheticField("value");
390 /// property of the optional at `OptionalLoc`.
391 void setHasValue(RecordStorageLocation &OptionalLoc, BoolValue &HasValueVal,
393   Env.setValue(locForHasValue(OptionalLoc), HasValueVal);
397 /// optional at `OptionalLoc`. Returns null if `OptionalLoc` is null.
398 BoolValue *getHasValue(Environment &Env, RecordStorageLocation *OptionalLoc) {
399   if (OptionalLoc == nullptr)
401   StorageLocation &HasValueLoc = locForHasValue(*OptionalLoc);
441   if (auto *OptionalLoc = cast_or_null<RecordStorageLocation>(
444       State.Env.setStorageLocation(*UnwrapExpr, locForValue(*OptionalLoc));
450   if (auto *OptionalLoc = cast_or_null<RecordStorageLocation>(
453         *UnwrapExpr, State.Env.create<PointerValue>(locForValue(*OptionalLoc)));
1100   if (auto *OptionalLoc = cast_or_null<RecordStorageLocation>(
1102     auto *Prop = Env.getValue(locForHasValue(*OptionalLoc));