Searched refs:HasValueVal (Results 1 – 1 of 1) sorted by relevance
192 auto *HasValueVal = in getHasValue() local194 if (HasValueVal == nullptr) { in getHasValue()198 return HasValueVal; in getHasValue()293 auto *HasValueVal = in isEmptyOptional() local295 return HasValueVal != nullptr && in isEmptyOptional()302 auto *HasValueVal = in isNonEmptyOptional() local304 return HasValueVal != nullptr && Env.flowConditionImplies(*HasValueVal); in isNonEmptyOptional()353 auto *HasValueVal = getHasValue( in transferValueOrImpl() local356 if (HasValueVal == nullptr) in transferValueOrImpl()443 if (auto *HasValueVal = in value_orConversionHasValue() local[all …]