Searched defs:HasValueVal (Results 1 – 1 of 1) sorted by relevance
337 void setHasValue(RecordStorageLocation &OptionalLoc, BoolValue &HasValueVal, in setHasValue()348 auto *HasValueVal = Env.get<BoolValue>(HasValueLoc); in getHasValue() local412 if (auto *HasValueVal = getHasValue( in transferOptionalHasValueCall() local424 const Formula &HasValueVal)) { in transferValueOrImpl()430 auto *HasValueVal = in transferValueOrImpl() local444 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() local538 void transferAssignment(const CXXOperatorCallExpr *E, BoolValue &HasValueVal, in transferAssignment()[all …]