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