248 void setHasValue(RecordStorageLocation &OptionalLoc, BoolValue &HasValueVal,  in setHasValue()  argument
250   Env.setValue(locForHasValue(OptionalLoc), HasValueVal);  in setHasValue()
257                                  BoolValue &HasValueVal, Environment &Env) {  in createOptionalValue()  argument
260   setHasValue(Loc, HasValueVal, Env);  in createOptionalValue()
270   auto *HasValueVal = Env.get<BoolValue>(HasValueLoc);  in getHasValue()  local
271   if (HasValueVal == nullptr) {  in getHasValue()
272     HasValueVal = &Env.makeAtomicBoolValue();  in getHasValue()
273     Env.setValue(HasValueLoc, *HasValueVal);  in getHasValue()
275   return HasValueVal;  in getHasValue()
340   if (auto *HasValueVal = getHasValue(  in transferOptionalHasValueCall()  local
342     State.Env.setValue(*CallExpr, *HasValueVal);  in transferOptionalHasValueCall()
352                                 const Formula &HasValueVal)) {  in transferValueOrImpl()  argument
358   auto *HasValueVal =  in transferValueOrImpl()  local
360   if (HasValueVal == nullptr)  in transferValueOrImpl()
364                        HasValueVal->formula()));  in transferValueOrImpl()
372                                 const Formula &HasValueVal) -> const Formula & {  in transferValueOrStringEmptyCall()  argument
381                                                     HasValueVal);  in transferValueOrStringEmptyCall()
390                          const Formula &HasValueVal) -> const Formula & {  in transferValueOrNotEqX()  argument
395                         return A.makeImplies(ExprVal, HasValueVal);  in transferValueOrNotEqX()
423                             BoolValue &HasValueVal) {  in constructOptionalValue()  argument
425   Env.setValue(E, createOptionalValue(Loc, HasValueVal, Env));  in constructOptionalValue()
453   if (auto *HasValueVal = getHasValue(State.Env, Loc))  in valueOrConversionHasValue()  local
454     return *HasValueVal;  in valueOrConversionHasValue()
469 void transferAssignment(const CXXOperatorCallExpr *E, BoolValue &HasValueVal,  in transferAssignment()  argument
474     createOptionalValue(*Loc, HasValueVal, State.Env);  in transferAssignment()
804     if (auto *HasValueVal = cast_or_null<BoolValue>(Prop)) {  in diagnoseUnwrapCall()  local
805       if (Env.proves(HasValueVal->formula()))  in diagnoseUnwrapCall()