Searched refs:SearchStrPtr (Results 1 – 1 of 1) sorted by relevance
1815 const Expr *SearchStrPtr = CE->getArg(0); in evalStrsep() local1816 QualType CharPtrTy = SearchStrPtr->getType()->getPointeeType(); in evalStrsep()1827 SVal SearchStrVal = State->getSVal(SearchStrPtr, LCtx); in evalStrsep()1828 State = checkNonNull(C, State, SearchStrPtr, SearchStrVal); in evalStrsep()1847 State = InvalidateBuffer(C, State, SearchStrPtr, Result, in evalStrsep()