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