reference, declaration → definition definition → references, declarations, derived classes, virtual overrides reference to multiple definitions → definitions unreferenced |
2277 ProgramStateRef state = C.getState(); 2294 Loc VarLoc = state->getLValue(D, C.getLocationContext()); 2299 SVal StrVal = C.getSVal(Init); 2302 getCStringLength(C, state, Init, StrVal).castAs<DefinedOrUnknownSVal>(); 2307 C.addTransition(state);