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