reference, declaration → definition definition → references, declarations, derived classes, virtual overrides reference to multiple definitions → definitions unreferenced |
2046 SVal SearchStrVal = State->getSVal(SearchStrPtr, LCtx); 2047 State = checkNonNull(C, State, SearchStrPtr, SearchStrVal, 1); 2047 State = checkNonNull(C, State, SearchStrPtr, SearchStrVal, 1); 2048 if (!State) 2053 SVal DelimStrVal = State->getSVal(DelimStr, LCtx); 2054 State = checkNonNull(C, State, DelimStr, DelimStrVal, 2); 2054 State = checkNonNull(C, State, DelimStr, DelimStrVal, 2); 2055 if (!State) 2062 Result = State->getSVal(*SearchStrLoc, CharPtrTy); 2066 State = InvalidateBuffer(C, State, SearchStrPtr, Result, 2066 State = InvalidateBuffer(C, State, SearchStrPtr, Result, 2071 State = State->bindLoc(*SearchStrLoc, 2071 State = State->bindLoc(*SearchStrLoc, 2085 State = State->BindExpr(CE, LCtx, Result); 2085 State = State->BindExpr(CE, LCtx, Result); 2086 C.addTransition(State);