337 void setHasValue(RecordStorageLocation &OptionalLoc, BoolValue &HasValueVal,  in setHasValue()
348   auto *HasValueVal = Env.get<BoolValue>(HasValueLoc);  in getHasValue()  local
412   if (auto *HasValueVal = getHasValue(  in transferOptionalHasValueCall()  local
424                                 const Formula &HasValueVal)) {  in transferValueOrImpl()
430   auto *HasValueVal =  in transferValueOrImpl()  local
444                                 const Formula &HasValueVal) -> const Formula & {  in transferValueOrStringEmptyCall()
462                          const Formula &HasValueVal) -> const Formula & {  in transferValueOrNotEqX()
492                             BoolValue &HasValueVal) {  in constructOptionalValue()
521   if (auto *HasValueVal = getHasValue(State.Env, Loc))  in valueOrConversionHasValue()  local
538 void transferAssignment(const CXXOperatorCallExpr *E, BoolValue &HasValueVal,  in transferAssignment()
873     if (auto *HasValueVal = cast_or_null<BoolValue>(Prop)) {  in diagnoseUnwrapCall()  local