Searched refs:SearchStrPtr (Results 1 – 1 of 1) sorted by relevance
1820 const Expr *SearchStrPtr = CE->getArg(0); in evalStrsep() local1821 QualType CharPtrTy = SearchStrPtr->getType()->getPointeeType(); in evalStrsep()1832 SVal SearchStrVal = State->getSVal(SearchStrPtr, LCtx); in evalStrsep()1833 State = checkNonNull(C, State, SearchStrPtr, SearchStrVal); in evalStrsep()1852 State = InvalidateBuffer(C, State, SearchStrPtr, Result, in evalStrsep()