reference, declaration → definition definition → references, declarations, derived classes, virtual overrides reference to multiple definitions → definitions unreferenced |
2041 ProgramStateRef State = C.getState(); 2042 const LocationContext *LCtx = C.getLocationContext(); 2047 State = checkNonNull(C, State, SearchStrPtr, SearchStrVal, 1); 2054 State = checkNonNull(C, State, DelimStr, DelimStrVal, 2); 2058 SValBuilder &SVB = C.getSValBuilder(); 2066 State = InvalidateBuffer(C, State, SearchStrPtr, Result, 2076 C.blockCount()), 2081 Result = SVB.conjureSymbolVal(nullptr, CE, LCtx, C.blockCount()); 2086 C.addTransition(State);