Searched refs:secondVal (Results 1 – 1 of 1) sorted by relevance
443 SVal secondVal = state->getSVal(Second, LCtx); in CheckOverlap() local449 Optional<Loc> secondLoc = secondVal.getAs<Loc>(); in CheckOverlap()