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