Searched refs:SearchStrPtr (Results 1 – 1 of 1) sorted by relevance
2050 const Expr *SearchStrPtr = CE->getArg(0); in evalStrsep() local2051 QualType CharPtrTy = SearchStrPtr->getType()->getPointeeType(); in evalStrsep()2062 SVal SearchStrVal = State->getSVal(SearchStrPtr, LCtx); in evalStrsep()2063 State = checkNonNull(C, State, SearchStrPtr, SearchStrVal); in evalStrsep()2082 State = InvalidateBuffer(C, State, SearchStrPtr, Result, in evalStrsep()