Searched refs:FirstStartLoc (Results 1 – 1 of 1) sorted by relevance
605 std::optional<Loc> FirstStartLoc = FirstStart.getAs<Loc>(); in CheckOverlap() local606 if (!FirstStartLoc) in CheckOverlap()610 SVal FirstEnd = svalBuilder.evalBinOpLN(state, BO_Add, *FirstStartLoc, in CheckOverlap()