337 void setHasValue(RecordStorageLocation &OptionalLoc, BoolValue &HasValueVal,  in setHasValue()  argument
339   Env.setValue(locForHasValue(OptionalLoc), HasValueVal);  in setHasValue()
348   auto *HasValueVal = Env.get<BoolValue>(HasValueLoc);  in getHasValue()  local
349   if (HasValueVal == nullptr) {  in getHasValue()
350     HasValueVal = &Env.makeAtomicBoolValue();  in getHasValue()
351     Env.setValue(HasValueLoc, *HasValueVal);  in getHasValue()
353   return HasValueVal;  in getHasValue()
412   if (auto *HasValueVal = getHasValue(  in transferOptionalHasValueCall()  local
414     State.Env.setValue(*CallExpr, *HasValueVal);  in transferOptionalHasValueCall()
424                                 const Formula &HasValueVal)) {  in transferValueOrImpl()  argument
430   auto *HasValueVal =  in transferValueOrImpl()  local
432   if (HasValueVal == nullptr)  in transferValueOrImpl()
436                        HasValueVal->formula()));  in transferValueOrImpl()
444                                 const Formula &HasValueVal) -> const Formula & {  in transferValueOrStringEmptyCall()  argument
453                                                     HasValueVal);  in transferValueOrStringEmptyCall()
462                          const Formula &HasValueVal) -> const Formula & {  in transferValueOrNotEqX()  argument
467                         return A.makeImplies(ExprVal, HasValueVal);  in transferValueOrNotEqX()
492                             BoolValue &HasValueVal) {  in constructOptionalValue()  argument
494   setHasValue(Loc, HasValueVal, Env);  in constructOptionalValue()
521   if (auto *HasValueVal = getHasValue(State.Env, Loc))  in valueOrConversionHasValue()  local
522     return *HasValueVal;  in valueOrConversionHasValue()
538 void transferAssignment(const CXXOperatorCallExpr *E, BoolValue &HasValueVal,  in transferAssignment()  argument
543     setHasValue(*Loc, HasValueVal, State.Env);  in transferAssignment()
873     if (auto *HasValueVal = cast_or_null<BoolValue>(Prop)) {  in diagnoseUnwrapCall()  local
874       if (Env.proves(HasValueVal->formula()))  in diagnoseUnwrapCall()