176 void setHasValue(Value &OptionalVal, BoolValue &HasValueVal) {  in setHasValue()
182 StructValue &createOptionalValue(Environment &Env, BoolValue &HasValueVal) {  in createOptionalValue()
192     auto *HasValueVal =  in getHasValue()  local
293   auto *HasValueVal =  in isEmptyOptional()  local
302   auto *HasValueVal =  in isNonEmptyOptional()  local
330   if (auto *HasValueVal = getHasValue(  in transferOptionalHasValueCall()  local
346                                                  BoolValue &HasValueVal)) {  in transferValueOrImpl()
353   auto *HasValueVal = getHasValue(  in transferValueOrImpl()  local
376                                 BoolValue &HasValueVal) -> BoolValue & {  in transferValueOrStringEmptyCall()
393                          BoolValue &HasValueVal) -> BoolValue & {  in transferValueOrNotEqX()
414                          BoolValue &HasValueVal) {  in assignOptionalValue()
443   if (auto *HasValueVal =  in value_orConversionHasValue()  local
460 void transferAssignment(const CXXOperatorCallExpr *E, BoolValue &HasValueVal,  in transferAssignment()
662     if (auto *HasValueVal = cast_or_null<BoolValue>(Prop)) {  in diagnoseUnwrapCall()  local
734   auto &HasValueVal = MergedEnv.makeAtomicBoolValue();  in merge()  local