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