Searched refs:secondLoc (Results 1 – 1 of 1) sorted by relevance
440 Optional<Loc> secondLoc = secondVal.getAs<Loc>(); in CheckOverlap() local441 if (!secondLoc) in CheckOverlap()447 state->assume(svalBuilder.evalEQ(state, *firstLoc, *secondLoc)); in CheckOverlap()462 *firstLoc, *secondLoc, cmpTy); in CheckOverlap()475 std::swap(firstLoc, secondLoc); in CheckOverlap()507 *FirstEndLoc, *secondLoc, cmpTy); in CheckOverlap()