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