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