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