Searched refs:SearchStrVal (Results 1 – 1 of 1) sorted by relevance
2062 SVal SearchStrVal = State->getSVal(SearchStrPtr, LCtx); in evalStrsep() local2063 State = checkNonNull(C, State, SearchStrPtr, SearchStrVal); in evalStrsep()2076 if (Optional<Loc> SearchStrLoc = SearchStrVal.getAs<Loc>()) { in evalStrsep()2095 assert(SearchStrVal.isUnknown()); in evalStrsep()