reference, declaration → definition definition → references, declarations, derived classes, virtual overrides reference to multiple definitions → definitions unreferenced |
1156 SVal destVal = state->getSVal(Dest, LCtx); 1172 state = checkNonNull(C, state, Dest, destVal, 1); 1188 state = CheckBufferAccess(C, state, Size, Dest, Source, 1191 state = CheckOverlap(C, state, Size, Dest, Source); 1204 SvalBuilder.evalCast(destVal, CharPtrTy, Dest->getType()); 1206 state, BO_Add, DestRegCharVal, sizeVal, Dest->getType()); 1227 state = InvalidateBuffer(C, state, Dest, C.getSVal(Dest), 1227 state = InvalidateBuffer(C, state, Dest, C.getSVal(Dest),