Searched defs:HasValueVal (Results 1 – 1 of 1) sorted by relevance
388 void setHasValue(RecordStorageLocation &OptionalLoc, BoolValue &HasValueVal, in setHasValue()399 auto *HasValueVal = Env.get<BoolValue>(HasValueLoc); in getHasValue() local463 if (auto *HasValueVal = getHasValue( in transferOptionalHasValueCall() local472 if (auto *HasValueVal = getHasValue( in transferOptionalIsNullCall() local484 const Formula &HasValueVal)) { in transferValueOrImpl()490 auto *HasValueVal = in transferValueOrImpl() local504 const Formula &HasValueVal) -> const Formula & { in transferValueOrStringEmptyCall()522 const Formula &HasValueVal) -> const Formula & { in transferValueOrNotEqX()684 BoolValue &HasValueVal) { in constructOptionalValue()713 if (auto *HasValueVal = getHasValue(State.Env, Loc)) in valueOrConversionHasValue() local[all …]