Searched refs:HasVal (Results 1 – 1 of 1) sorted by relevance
600 if (auto *HasVal = getHasValue(Env, Loc)) { in transferOptionalAndValueCmp() local604 evaluateEquality(A, *CmpValue, HasVal->formula(), A.makeLiteral(true))); in transferOptionalAndValueCmp()613 if (auto *HasVal = getHasValue(Env, Loc)) { in transferOptionalAndNulloptCmp() local616 Env.assume(evaluateEquality(A, *CmpValue, HasVal->formula(), in transferOptionalAndNulloptCmp()