176 void setHasValue(Value &OptionalVal, BoolValue &HasValueVal) {  in setHasValue()
182 StructValue &createOptionalValue(Environment &Env, BoolValue &HasValueVal) {  in createOptionalValue()
190 BoolValue *getHasValue(Environment &Env, Value *OptionalVal) {  in getHasValue()
193         cast_or_null<BoolValue>(OptionalVal->getProperty("has_value"));  in getHasValue()
294       cast_or_null<BoolValue>(OptionalVal.getProperty("has_value"));  in isEmptyOptional()
303       cast_or_null<BoolValue>(OptionalVal.getProperty("has_value"));  in isNonEmptyOptional()
344                          BoolValue &(*ModelPred)(Environment &Env,  in transferValueOrImpl()
345                                                  BoolValue &ExprVal,  in transferValueOrImpl()
346                                                  BoolValue &HasValueVal)) {  in transferValueOrImpl()
359   auto *ExprValue = cast_or_null<BoolValue>(  in transferValueOrImpl()
375                              [](Environment &Env, BoolValue &ExprVal,  in transferValueOrStringEmptyCall()
376                                 BoolValue &HasValueVal) -> BoolValue & {  in transferValueOrStringEmptyCall()
392                       [](Environment &Env, BoolValue &ExprVal,  in transferValueOrNotEqX()
393                          BoolValue &HasValueVal) -> BoolValue & {  in transferValueOrNotEqX()
414                          BoolValue &HasValueVal) {  in assignOptionalValue()
425 BoolValue &value_orConversionHasValue(const FunctionDecl &F, const Expr &E,  in value_orConversionHasValue()
460 void transferAssignment(const CXXOperatorCallExpr *E, BoolValue &HasValueVal,  in transferAssignment()
662     if (auto *HasValueVal = cast_or_null<BoolValue>(Prop)) {  in diagnoseUnwrapCall()