217 void setHasValue(Value &OptionalVal, BoolValue &HasValueVal) {  in setHasValue()
223 StructValue &createOptionalValue(Environment &Env, BoolValue &HasValueVal) {  in createOptionalValue()
233     auto *HasValueVal =  in getHasValue()  local
334   auto *HasValueVal =  in isEmptyOptional()  local
343   auto *HasValueVal =  in isNonEmptyOptional()  local
371   if (auto *HasValueVal = getHasValue(  in transferOptionalHasValueCall()  local
387                                                  BoolValue &HasValueVal)) {  in transferValueOrImpl()
394   auto *HasValueVal = getHasValue(  in transferValueOrImpl()  local
409                                 BoolValue &HasValueVal) -> BoolValue & {  in transferValueOrStringEmptyCall()
426                          BoolValue &HasValueVal) -> BoolValue & {  in transferValueOrNotEqX()
447                          BoolValue &HasValueVal) {  in assignOptionalValue()
476   if (auto *HasValueVal =  in valueOrConversionHasValue()  local
493 void transferAssignment(const CXXOperatorCallExpr *E, BoolValue &HasValueVal,  in transferAssignment()
781     if (auto *HasValueVal = cast_or_null<BoolValue>(Prop)) {  in diagnoseUnwrapCall()  local
862   auto &HasValueVal = MergedEnv.makeAtomicBoolValue();  in merge()  local