Searched refs:FirstEndLoc (Results 1 – 1 of 1) sorted by relevance
612 std::optional<Loc> FirstEndLoc = FirstEnd.getAs<Loc>(); in CheckOverlap() local613 if (!FirstEndLoc) in CheckOverlap()618 svalBuilder.evalBinOpLL(state, BO_GT, *FirstEndLoc, *secondLoc, cmpTy); in CheckOverlap()