Searched refs:SearchStrPtr (Results 1 – 1 of 1) sorted by relevance
1909 const Expr *SearchStrPtr = CE->getArg(0); in evalStrsep() local1910 QualType CharPtrTy = SearchStrPtr->getType()->getPointeeType(); in evalStrsep()1921 SVal SearchStrVal = State->getSVal(SearchStrPtr, LCtx); in evalStrsep()1922 State = checkNonNull(C, State, SearchStrPtr, SearchStrVal); in evalStrsep()1941 State = InvalidateBuffer(C, State, SearchStrPtr, Result, in evalStrsep()