Searched refs:firstLoc (Results 1 – 1 of 1) sorted by relevance
456 Optional<Loc> firstLoc = firstVal.getAs<Loc>(); in CheckOverlap() local457 if (!firstLoc) in CheckOverlap()467 state->assume(svalBuilder.evalEQ(state, *firstLoc, *secondLoc)); in CheckOverlap()482 svalBuilder.evalBinOpLL(state, BO_GT, *firstLoc, *secondLoc, cmpTy); in CheckOverlap()495 std::swap(firstLoc, secondLoc); in CheckOverlap()513 svalBuilder.evalCast(*firstLoc, CharPtrTy, First.Expression->getType()); in CheckOverlap()