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