Searched refs:LHasVal (Results 1 – 1 of 1) sorted by relevance
654 if (auto *LHasVal = getHasValue(Env, Arg0Loc)) { in transferOptionalAndOptionalCmp() local659 Env.assume(evaluateEquality(A, *CmpValue, LHasVal->formula(), in transferOptionalAndOptionalCmp()