Searched refs:FirstStartLoc (Results 1 – 1 of 1) sorted by relevance
514 Optional<Loc> FirstStartLoc = FirstStart.getAs<Loc>(); in CheckOverlap() local515 if (!FirstStartLoc) in CheckOverlap()519 SVal FirstEnd = svalBuilder.evalBinOpLN(state, BO_Add, *FirstStartLoc, in CheckOverlap()