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