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