Home
last modified time | relevance | path

Searched defs:HasValueVal (Results 1 – 1 of 1) sorted by relevance

/openbsd-src/gnu/llvm/clang/lib/Analysis/FlowSensitive/Models/
H A DUncheckedOptionalAccessModel.cpp217 void setHasValue(Value &OptionalVal, BoolValue &HasValueVal) { in setHasValue()
223 StructValue &createOptionalValue(Environment &Env, BoolValue &HasValueVal) { in createOptionalValue()
233 auto *HasValueVal = in getHasValue() local
334 auto *HasValueVal = in isEmptyOptional() local
343 auto *HasValueVal = in isNonEmptyOptional() local
371 if (auto *HasValueVal = getHasValue( in transferOptionalHasValueCall() local
387 BoolValue &HasValueVal)) { in transferValueOrImpl()
394 auto *HasValueVal = getHasValue( in transferValueOrImpl() local
409 BoolValue &HasValueVal) -> BoolValue & { in transferValueOrStringEmptyCall()
426 BoolValue &HasValueVal) -> BoolValue & { in transferValueOrNotEqX()
[all …]